Tutorial: Reasoning with, about and for Constraint Handling Rules View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2002

AUTHORS

Thom Fruehwirth , Slim Abdennadher

ABSTRACT

Constraint reasoning finds more and more applications. The rule-based concurrent programming language Constraint Handling Rules (CHR) was introduced to ease the development of constraint reasoners. Currently several CHR libraries exist in languages such as Prolog, Haskell and Java, worldwide more than 50 projects use CHR. CHR and dozens of its constraint reasoners/solvers can be used online via the internet at http://www.pms.informatik.uni-muenchen.de/~webchr/ Over time it has become apparent that CHR and its extensions are useful for implementing reasoning systems in general, including deduction and abduction, since techniques like forward and backward chaining, bottom-up and top-down evaluation, integrity constraints, tabulation/ memoization can be easily implemented and combined. This 90 minute talk will consist of the following parts: - Introduction of CHR by examples, giving syntax and semantics of the language. - Reasoning with CHR: How to implement and combine reasoning systems in CHR. - Reasoning about CHR: How to analyse CHR programs, e.g. for operational equivalence and complexity. - Reasoning for CHR: How to automatically derive from a logical specification constraint reasoners that are executable in CHR. More... »

PAGES

192-192

Book

TITLE

Frontiers of Combining Systems

ISBN

978-3-540-43381-1
978-3-540-45988-0

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-45988-x_15

DOI

http://dx.doi.org/10.1007/3-540-45988-x_15

DIMENSIONS

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


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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "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": "Ludwig Maximilian University of Munich", 
          "id": "https://www.grid.ac/institutes/grid.5252.0", 
          "name": [
            "Ludwig-Maximilians-University, Munich, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Fruehwirth", 
        "givenName": "Thom", 
        "id": "sg:person.012510375135.60", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012510375135.60"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Ludwig Maximilian University of Munich", 
          "id": "https://www.grid.ac/institutes/grid.5252.0", 
          "name": [
            "Ludwig-Maximilians-University, Munich, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Abdennadher", 
        "givenName": "Slim", 
        "id": "sg:person.010445445574.13", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2002", 
    "datePublishedReg": "2002-01-01", 
    "description": "Constraint reasoning finds more and more applications. The rule-based concurrent programming language Constraint Handling Rules (CHR) was introduced to ease the development of constraint reasoners. Currently several CHR libraries exist in languages such as Prolog, Haskell and Java, worldwide more than 50 projects use CHR. CHR and dozens of its constraint reasoners/solvers can be used online via the internet at http://www.pms.informatik.uni-muenchen.de/~webchr/ Over time it has become apparent that CHR and its extensions are useful for implementing reasoning systems in general, including deduction and abduction, since techniques like forward and backward chaining, bottom-up and top-down evaluation, integrity constraints, tabulation/ memoization can be easily implemented and combined. This 90 minute talk will consist of the following parts: - Introduction of CHR by examples, giving syntax and semantics of the language. - Reasoning with CHR: How to implement and combine reasoning systems in CHR. - Reasoning about CHR: How to analyse CHR programs, e.g. for operational equivalence and complexity. - Reasoning for CHR: How to automatically derive from a logical specification constraint reasoners that are executable in CHR.", 
    "editor": [
      {
        "familyName": "Armando", 
        "givenName": "Alessandro", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-45988-x_15", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-43381-1", 
        "978-3-540-45988-0"
      ], 
      "name": "Frontiers of Combining Systems", 
      "type": "Book"
    }, 
    "name": "Tutorial: Reasoning with, about and for Constraint Handling Rules", 
    "pagination": "192-192", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-45988-x_15"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "f058bc9e251f8b79133585bb700bba49919cfd53e301afaa9bae5c29e8e746e7"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1050454215"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-45988-x_15", 
      "https://app.dimensions.ai/details/publication/pub.1050454215"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T16:06", 
    "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/0000000001_0000000264/records_8675_00000086.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-45988-X_15"
  }
]
 

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/3-540-45988-x_15'

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/3-540-45988-x_15'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-45988-x_15'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-45988-x_15'


 

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

72 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-45988-x_15 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nb0e674129b794284950cd5768f0d2f5d
4 schema:datePublished 2002
5 schema:datePublishedReg 2002-01-01
6 schema:description Constraint reasoning finds more and more applications. The rule-based concurrent programming language Constraint Handling Rules (CHR) was introduced to ease the development of constraint reasoners. Currently several CHR libraries exist in languages such as Prolog, Haskell and Java, worldwide more than 50 projects use CHR. CHR and dozens of its constraint reasoners/solvers can be used online via the internet at http://www.pms.informatik.uni-muenchen.de/~webchr/ Over time it has become apparent that CHR and its extensions are useful for implementing reasoning systems in general, including deduction and abduction, since techniques like forward and backward chaining, bottom-up and top-down evaluation, integrity constraints, tabulation/ memoization can be easily implemented and combined. This 90 minute talk will consist of the following parts: - Introduction of CHR by examples, giving syntax and semantics of the language. - Reasoning with CHR: How to implement and combine reasoning systems in CHR. - Reasoning about CHR: How to analyse CHR programs, e.g. for operational equivalence and complexity. - Reasoning for CHR: How to automatically derive from a logical specification constraint reasoners that are executable in CHR.
7 schema:editor N73a86585666c4271a2f63dc817eb5e22
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Ne3f232dd4f8949a1b27039c64691654b
12 schema:name Tutorial: Reasoning with, about and for Constraint Handling Rules
13 schema:pagination 192-192
14 schema:productId N09fd9cb27afd47bcba33bd1ce8f31be3
15 N23e5e02f1ad447b5bb5ac78627cd7389
16 N33da20a9618c460e82536b3daa83173e
17 schema:publisher N7a09297dd409433b91ba154f790949d8
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050454215
19 https://doi.org/10.1007/3-540-45988-x_15
20 schema:sdDatePublished 2019-04-15T16:06
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher Ne29008ac972f48498c87868f200d25bd
23 schema:url http://link.springer.com/10.1007/3-540-45988-X_15
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N09fd9cb27afd47bcba33bd1ce8f31be3 schema:name doi
28 schema:value 10.1007/3-540-45988-x_15
29 rdf:type schema:PropertyValue
30 N23e5e02f1ad447b5bb5ac78627cd7389 schema:name readcube_id
31 schema:value f058bc9e251f8b79133585bb700bba49919cfd53e301afaa9bae5c29e8e746e7
32 rdf:type schema:PropertyValue
33 N33da20a9618c460e82536b3daa83173e schema:name dimensions_id
34 schema:value pub.1050454215
35 rdf:type schema:PropertyValue
36 N73a86585666c4271a2f63dc817eb5e22 rdf:first N7d6dcbdf8cd04e339e72dd70017e6558
37 rdf:rest rdf:nil
38 N7a09297dd409433b91ba154f790949d8 schema:location Berlin, Heidelberg
39 schema:name Springer Berlin Heidelberg
40 rdf:type schema:Organisation
41 N7d6dcbdf8cd04e339e72dd70017e6558 schema:familyName Armando
42 schema:givenName Alessandro
43 rdf:type schema:Person
44 Nb0e674129b794284950cd5768f0d2f5d rdf:first sg:person.012510375135.60
45 rdf:rest Nc1af0396be2f486ebdff5327868be27d
46 Nc1af0396be2f486ebdff5327868be27d rdf:first sg:person.010445445574.13
47 rdf:rest rdf:nil
48 Ne29008ac972f48498c87868f200d25bd schema:name Springer Nature - SN SciGraph project
49 rdf:type schema:Organization
50 Ne3f232dd4f8949a1b27039c64691654b schema:isbn 978-3-540-43381-1
51 978-3-540-45988-0
52 schema:name Frontiers of Combining Systems
53 rdf:type schema:Book
54 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
55 schema:name Information and Computing Sciences
56 rdf:type schema:DefinedTerm
57 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
58 schema:name Computation Theory and Mathematics
59 rdf:type schema:DefinedTerm
60 sg:person.010445445574.13 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
61 schema:familyName Abdennadher
62 schema:givenName Slim
63 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13
64 rdf:type schema:Person
65 sg:person.012510375135.60 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
66 schema:familyName Fruehwirth
67 schema:givenName Thom
68 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012510375135.60
69 rdf:type schema:Person
70 https://www.grid.ac/institutes/grid.5252.0 schema:alternateName Ludwig Maximilian University of Munich
71 schema:name Ludwig-Maximilians-University, Munich, Germany
72 rdf:type schema:Organization
 




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


...