Compiling Ask Constraints View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2004

AUTHORS

Gregory J. Duck , María García de la Banda , Peter J. Stuckey

ABSTRACT

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. More... »

PAGES

105-119

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-27775-0_8

DOI

http://dx.doi.org/10.1007/978-3-540-27775-0_8

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1042029357


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

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

HOW TO GET THIS DATA PROGRAMMATICALLY:

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

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-27775-0_8 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N13ea4472b6954cc2b7f26e4a81a65882
4 schema:datePublished 2004
5 schema:datePublishedReg 2004-01-01
6 schema: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.
7 schema:editor Nd95dd2bd7d614be18fb1941b31c12f23
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N32ff446430344a5facfc80122455a7d3
12 schema:keywords HAL system
13 approach
14 behavior
15 combination
16 compiler
17 complex combination
18 constraint solver
19 constraints
20 dynamic scheduling
21 generic constraint solver
22 implications
23 multiple solvers
24 paper
25 reification
26 scheduling
27 solver
28 system
29 test
30 use
31 writers
32 schema:name Compiling Ask Constraints
33 schema:pagination 105-119
34 schema:productId Na7d9e44e1836421887edda0265a748c1
35 Nb7138c6d361743f0b3b304e368ab32d0
36 schema:publisher N22abcd8a8bf7482ba719d3113d629f39
37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042029357
38 https://doi.org/10.1007/978-3-540-27775-0_8
39 schema:sdDatePublished 2022-05-20T07:47
40 schema:sdLicense https://scigraph.springernature.com/explorer/license/
41 schema:sdPublisher Ndc8b6b1e29004e64b650435127a09a6c
42 schema:url https://doi.org/10.1007/978-3-540-27775-0_8
43 sgo:license sg:explorer/license/
44 sgo:sdDataset chapters
45 rdf:type schema:Chapter
46 N05c10c1b1b214e37b869d968f54637c3 rdf:first sg:person.016350443307.93
47 rdf:rest Nb31aa1ce838d4051b75195de321d5df3
48 N13ea4472b6954cc2b7f26e4a81a65882 rdf:first sg:person.014415213001.27
49 rdf:rest N05c10c1b1b214e37b869d968f54637c3
50 N22abcd8a8bf7482ba719d3113d629f39 schema:name Springer Nature
51 rdf:type schema:Organisation
52 N32ff446430344a5facfc80122455a7d3 schema:isbn 978-3-540-22671-0
53 978-3-540-27775-0
54 schema:name Logic Programming
55 rdf:type schema:Book
56 N43e5b799bd774364815044f825133c51 schema:familyName Lifschitz
57 schema:givenName Vladimir
58 rdf:type schema:Person
59 N87da3a753714454486184efb1cb4b8ed schema:familyName Demoen
60 schema:givenName Bart
61 rdf:type schema:Person
62 N898f3df4486a4c3cb6c519beb3019fd5 rdf:first N43e5b799bd774364815044f825133c51
63 rdf:rest rdf:nil
64 Na7d9e44e1836421887edda0265a748c1 schema:name doi
65 schema:value 10.1007/978-3-540-27775-0_8
66 rdf:type schema:PropertyValue
67 Nb31aa1ce838d4051b75195de321d5df3 rdf:first sg:person.012243374043.93
68 rdf:rest rdf:nil
69 Nb7138c6d361743f0b3b304e368ab32d0 schema:name dimensions_id
70 schema:value pub.1042029357
71 rdf:type schema:PropertyValue
72 Nd95dd2bd7d614be18fb1941b31c12f23 rdf:first N87da3a753714454486184efb1cb4b8ed
73 rdf:rest N898f3df4486a4c3cb6c519beb3019fd5
74 Ndc8b6b1e29004e64b650435127a09a6c schema:name Springer Nature - SN SciGraph project
75 rdf:type schema:Organization
76 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
77 schema:name Information and Computing Sciences
78 rdf:type schema:DefinedTerm
79 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
80 schema:name Computation Theory and Mathematics
81 rdf:type schema:DefinedTerm
82 sg:person.012243374043.93 schema:affiliation grid-institutes:grid.1008.9
83 schema:familyName Stuckey
84 schema:givenName Peter J.
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93
86 rdf:type schema:Person
87 sg:person.014415213001.27 schema:affiliation grid-institutes:grid.1008.9
88 schema:familyName Duck
89 schema:givenName Gregory J.
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014415213001.27
91 rdf:type schema:Person
92 sg:person.016350443307.93 schema:affiliation grid-institutes:grid.1002.3
93 schema:familyName de la Banda
94 schema:givenName María García
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93
96 rdf:type schema:Person
97 grid-institutes:grid.1002.3 schema:alternateName School of Computer Science and Software Engineering, Monash University, 3800, Vic., Australia
98 schema:name School of Computer Science and Software Engineering, Monash University, 3800, Vic., Australia
99 rdf:type schema:Organization
100 grid-institutes:grid.1008.9 schema:alternateName Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia
101 schema:name Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia
102 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...