2004
AUTHORSGregory J. Duck , María García de la Banda , Peter J. Stuckey
ABSTRACTIn this paper we investigate how to extend a generic constraint solver that provides not only tell constraints (by adding the constraint to the store) but also ask tests (by checking whether the constraint is entailed by the store), with general ask constraints. Ask constraints are important for implementing constraint implication, extensible solvers using dynamic scheduling and reification. While the ask-test must be implemented by the solver writer, the compiler can extend this to provide ask behaviour for complex combinations of constraints, including constraints from multiple solvers. We illustrate the use of this approach within the HAL system. More... »
PAGES105-119
Logic Programming
ISBN
978-3-540-22671-0
978-3-540-27775-0
http://scigraph.springernature.com/pub.10.1007/978-3-540-27775-0_8
DOIhttp://dx.doi.org/10.1007/978-3-540-27775-0_8
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1042029357
JSON-LD is the canonical representation for SciGraph data.
TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT
[
{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
"about": [
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Information and Computing Sciences",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Computation Theory and Mathematics",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia",
"id": "http://www.grid.ac/institutes/grid.1008.9",
"name": [
"Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia"
],
"type": "Organization"
},
"familyName": "Duck",
"givenName": "Gregory J.",
"id": "sg:person.014415213001.27",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014415213001.27"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "School of Computer Science and Software Engineering, Monash University, 3800, Vic., Australia",
"id": "http://www.grid.ac/institutes/grid.1002.3",
"name": [
"School of Computer Science and Software Engineering, Monash University, 3800, Vic., Australia"
],
"type": "Organization"
},
"familyName": "de la Banda",
"givenName": "Mar\u00eda Garc\u00eda",
"id": "sg:person.016350443307.93",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia",
"id": "http://www.grid.ac/institutes/grid.1008.9",
"name": [
"Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia"
],
"type": "Organization"
},
"familyName": "Stuckey",
"givenName": "Peter J.",
"id": "sg:person.012243374043.93",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93"
],
"type": "Person"
}
],
"datePublished": "2004",
"datePublishedReg": "2004-01-01",
"description": "In this paper we investigate how to extend a generic constraint solver that provides not only tell constraints (by adding the constraint to the store) but also ask tests (by checking whether the constraint is entailed by the store), with general ask constraints. Ask constraints are important for implementing constraint implication, extensible solvers using dynamic scheduling and reification. While the ask-test must be implemented by the solver writer, the compiler can extend this to provide ask behaviour for complex combinations of constraints, including constraints from multiple solvers. We illustrate the use of this approach within the HAL system.",
"editor": [
{
"familyName": "Demoen",
"givenName": "Bart",
"type": "Person"
},
{
"familyName": "Lifschitz",
"givenName": "Vladimir",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-540-27775-0_8",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-540-22671-0",
"978-3-540-27775-0"
],
"name": "Logic Programming",
"type": "Book"
},
"keywords": [
"generic constraint solver",
"constraint solver",
"dynamic scheduling",
"multiple solvers",
"HAL system",
"solver",
"constraints",
"compiler",
"scheduling",
"system",
"complex combination",
"reification",
"use",
"combination",
"behavior",
"writers",
"test",
"implications",
"approach",
"paper"
],
"name": "Compiling Ask Constraints",
"pagination": "105-119",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1042029357"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-540-27775-0_8"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-540-27775-0_8",
"https://app.dimensions.ai/details/publication/pub.1042029357"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-20T07:47",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_380.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-540-27775-0_8"
}
]
Download the RDF metadata as: json-ld nt turtle xml License info
JSON-LD is a popular format for linked data which is fully compatible with JSON.
curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-27775-0_8'
N-Triples is a line-based linked data format ideal for batch operations.
curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-27775-0_8'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-27775-0_8'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-27775-0_8'
This table displays all metadata directly associated to this object as RDF triples.
102 TRIPLES
23 PREDICATES
46 URIs
39 LITERALS
7 BLANK NODES