Aggregates in Constraint Handling Rules View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2007

AUTHORS

Jon Sneyers , Peter Van Weert , Tom Schrijvers , Bart Demoen

ABSTRACT

Constraint Handling Rules (CHR) [2,3,4] is a general-purpose programming language based on committed-choice, multi-headed, guarded multiset rewrite rules. As the head of each CHR rule only considers a fixed number of constraints, any form of aggregation over unbounded parts of the constraint store necessarily requires explicit encoding, using auxiliary constraints and rules. More... »

PAGES

446-448

Book

TITLE

Logic Programming

ISBN

978-3-540-74608-9
978-3-540-74610-2

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-74610-2_39

DOI

http://dx.doi.org/10.1007/978-3-540-74610-2_39

DIMENSIONS

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


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/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "KU Leuven", 
          "id": "https://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Department of Computer Science, K.U. Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sneyers", 
        "givenName": "Jon", 
        "id": "sg:person.010101543057.04", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010101543057.04"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "KU Leuven", 
          "id": "https://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Department of Computer Science, K.U. Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Van Weert", 
        "givenName": "Peter", 
        "id": "sg:person.014714544267.10", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014714544267.10"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "KU Leuven", 
          "id": "https://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Department of Computer Science, K.U. Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Schrijvers", 
        "givenName": "Tom", 
        "id": "sg:person.012631224643.43", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012631224643.43"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "KU Leuven", 
          "id": "https://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Department of Computer Science, K.U. Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Demoen", 
        "givenName": "Bart", 
        "id": "sg:person.016365417761.57", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016365417761.57"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/s0743-1066(98)10005-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000275719"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-27775-0_7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043968221", 
          "https://doi.org/10.1007/978-3-540-27775-0_7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-27775-0_7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043968221", 
          "https://doi.org/10.1007/978-3-540-27775-0_7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11562931_44", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046245782", 
          "https://doi.org/10.1007/11562931_44"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11562931_44", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046245782", 
          "https://doi.org/10.1007/11562931_44"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2007", 
    "datePublishedReg": "2007-01-01", 
    "description": "Constraint Handling Rules (CHR) [2,3,4] is a general-purpose programming language based on committed-choice, multi-headed, guarded multiset rewrite rules. As the head of each CHR rule only considers a fixed number of constraints, any form of aggregation over unbounded parts of the constraint store necessarily requires explicit encoding, using auxiliary constraints and rules.", 
    "editor": [
      {
        "familyName": "Dahl", 
        "givenName": "V\u00e9ronica", 
        "type": "Person"
      }, 
      {
        "familyName": "Niemel\u00e4", 
        "givenName": "Ilkka", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-74610-2_39", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-74608-9", 
        "978-3-540-74610-2"
      ], 
      "name": "Logic Programming", 
      "type": "Book"
    }, 
    "name": "Aggregates in Constraint Handling Rules", 
    "pagination": "446-448", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-74610-2_39"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "0501c48980c4538e9154ea760492c1fb9d304b7d227ba374a0b18a0b8ccd12dd"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1001050971"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-74610-2_39", 
      "https://app.dimensions.ai/details/publication/pub.1001050971"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T05:23", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000345_0000000345/records_64082_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F978-3-540-74610-2_39"
  }
]
 

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-74610-2_39'

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-74610-2_39'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-74610-2_39'

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-74610-2_39'


 

This table displays all metadata directly associated to this object as RDF triples.

102 TRIPLES      23 PREDICATES      30 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-74610-2_39 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author Nf965f7b15ea84db281e63ace5ee9576e
4 schema:citation sg:pub.10.1007/11562931_44
5 sg:pub.10.1007/978-3-540-27775-0_7
6 https://doi.org/10.1016/s0743-1066(98)10005-5
7 schema:datePublished 2007
8 schema:datePublishedReg 2007-01-01
9 schema:description Constraint Handling Rules (CHR) [2,3,4] is a general-purpose programming language based on committed-choice, multi-headed, guarded multiset rewrite rules. As the head of each CHR rule only considers a fixed number of constraints, any form of aggregation over unbounded parts of the constraint store necessarily requires explicit encoding, using auxiliary constraints and rules.
10 schema:editor N7a4398fa021a483796ba007b9940720c
11 schema:genre chapter
12 schema:inLanguage en
13 schema:isAccessibleForFree true
14 schema:isPartOf Na05693d7cbe3458dad286743dc877a39
15 schema:name Aggregates in Constraint Handling Rules
16 schema:pagination 446-448
17 schema:productId N50f638a865e042cf8e7cdf22f3e351af
18 N5ab9460f4f594f32bd3cc57f6b173013
19 Ncbeec5bffdd0425e802518c3a60054b4
20 schema:publisher N5cbde0ad0a19499aadc5d1fa3830120a
21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001050971
22 https://doi.org/10.1007/978-3-540-74610-2_39
23 schema:sdDatePublished 2019-04-16T05:23
24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
25 schema:sdPublisher N38616bc5fd934286a512cfd215a58855
26 schema:url https://link.springer.com/10.1007%2F978-3-540-74610-2_39
27 sgo:license sg:explorer/license/
28 sgo:sdDataset chapters
29 rdf:type schema:Chapter
30 N1f8bc24792d84546a26a687d09428a5f schema:familyName Dahl
31 schema:givenName Véronica
32 rdf:type schema:Person
33 N214ad6de81ee4c1a9b546a65a254ff7e schema:familyName Niemelä
34 schema:givenName Ilkka
35 rdf:type schema:Person
36 N38616bc5fd934286a512cfd215a58855 schema:name Springer Nature - SN SciGraph project
37 rdf:type schema:Organization
38 N50f638a865e042cf8e7cdf22f3e351af schema:name doi
39 schema:value 10.1007/978-3-540-74610-2_39
40 rdf:type schema:PropertyValue
41 N5ab9460f4f594f32bd3cc57f6b173013 schema:name readcube_id
42 schema:value 0501c48980c4538e9154ea760492c1fb9d304b7d227ba374a0b18a0b8ccd12dd
43 rdf:type schema:PropertyValue
44 N5cbde0ad0a19499aadc5d1fa3830120a schema:location Berlin, Heidelberg
45 schema:name Springer Berlin Heidelberg
46 rdf:type schema:Organisation
47 N7a4398fa021a483796ba007b9940720c rdf:first N1f8bc24792d84546a26a687d09428a5f
48 rdf:rest Ncddde660b1594956a51d58099bbeae02
49 N9c9e432df6534509a05b04cc5efea132 rdf:first sg:person.016365417761.57
50 rdf:rest rdf:nil
51 Na05693d7cbe3458dad286743dc877a39 schema:isbn 978-3-540-74608-9
52 978-3-540-74610-2
53 schema:name Logic Programming
54 rdf:type schema:Book
55 Ncbeec5bffdd0425e802518c3a60054b4 schema:name dimensions_id
56 schema:value pub.1001050971
57 rdf:type schema:PropertyValue
58 Ncddde660b1594956a51d58099bbeae02 rdf:first N214ad6de81ee4c1a9b546a65a254ff7e
59 rdf:rest rdf:nil
60 Nd6aa53e37b8342bfb23c1fe38a9965dd rdf:first sg:person.012631224643.43
61 rdf:rest N9c9e432df6534509a05b04cc5efea132
62 Nf4395bedf56b4a2bb38358eb84b10f9a rdf:first sg:person.014714544267.10
63 rdf:rest Nd6aa53e37b8342bfb23c1fe38a9965dd
64 Nf965f7b15ea84db281e63ace5ee9576e rdf:first sg:person.010101543057.04
65 rdf:rest Nf4395bedf56b4a2bb38358eb84b10f9a
66 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
67 schema:name Information and Computing Sciences
68 rdf:type schema:DefinedTerm
69 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
70 schema:name Computer Software
71 rdf:type schema:DefinedTerm
72 sg:person.010101543057.04 schema:affiliation https://www.grid.ac/institutes/grid.5596.f
73 schema:familyName Sneyers
74 schema:givenName Jon
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010101543057.04
76 rdf:type schema:Person
77 sg:person.012631224643.43 schema:affiliation https://www.grid.ac/institutes/grid.5596.f
78 schema:familyName Schrijvers
79 schema:givenName Tom
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012631224643.43
81 rdf:type schema:Person
82 sg:person.014714544267.10 schema:affiliation https://www.grid.ac/institutes/grid.5596.f
83 schema:familyName Van Weert
84 schema:givenName Peter
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014714544267.10
86 rdf:type schema:Person
87 sg:person.016365417761.57 schema:affiliation https://www.grid.ac/institutes/grid.5596.f
88 schema:familyName Demoen
89 schema:givenName Bart
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016365417761.57
91 rdf:type schema:Person
92 sg:pub.10.1007/11562931_44 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046245782
93 https://doi.org/10.1007/11562931_44
94 rdf:type schema:CreativeWork
95 sg:pub.10.1007/978-3-540-27775-0_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043968221
96 https://doi.org/10.1007/978-3-540-27775-0_7
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1016/s0743-1066(98)10005-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000275719
99 rdf:type schema:CreativeWork
100 https://www.grid.ac/institutes/grid.5596.f schema:alternateName KU Leuven
101 schema:name Department of Computer Science, K.U. Leuven, Belgium
102 rdf:type schema:Organization
 




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


...