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 Nb4cd60f972cd4b32aab294c7848ac461
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 Nab37296151d646ad9374e675a1c99397
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N2a7d522415cd458692ba38dd235a1c16
12 schema:name Tutorial: Reasoning with, about and for Constraint Handling Rules
13 schema:pagination 192-192
14 schema:productId N73bce9394b284cc2bfee38095dd4c45c
15 N9d958b98ac5840f08f10ef8d5ce0c8ab
16 Nfe373f4d5b104327949ae2c2f458b4b7
17 schema:publisher Nfa377ff42ea24de19dda5dd64888677c
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 N02bfe5ed46494daf970acc1bf485d3aa
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 N02bfe5ed46494daf970acc1bf485d3aa schema:name Springer Nature - SN SciGraph project
28 rdf:type schema:Organization
29 N27248fb0b66744a58f9a2aa04577005e schema:familyName Armando
30 schema:givenName Alessandro
31 rdf:type schema:Person
32 N2a7d522415cd458692ba38dd235a1c16 schema:isbn 978-3-540-43381-1
33 978-3-540-45988-0
34 schema:name Frontiers of Combining Systems
35 rdf:type schema:Book
36 N3200f4facaa84c52b1962af2570d987a rdf:first sg:person.010445445574.13
37 rdf:rest rdf:nil
38 N73bce9394b284cc2bfee38095dd4c45c schema:name dimensions_id
39 schema:value pub.1050454215
40 rdf:type schema:PropertyValue
41 N9d958b98ac5840f08f10ef8d5ce0c8ab schema:name doi
42 schema:value 10.1007/3-540-45988-x_15
43 rdf:type schema:PropertyValue
44 Nab37296151d646ad9374e675a1c99397 rdf:first N27248fb0b66744a58f9a2aa04577005e
45 rdf:rest rdf:nil
46 Nb4cd60f972cd4b32aab294c7848ac461 rdf:first sg:person.012510375135.60
47 rdf:rest N3200f4facaa84c52b1962af2570d987a
48 Nfa377ff42ea24de19dda5dd64888677c schema:location Berlin, Heidelberg
49 schema:name Springer Berlin Heidelberg
50 rdf:type schema:Organisation
51 Nfe373f4d5b104327949ae2c2f458b4b7 schema:name readcube_id
52 schema:value f058bc9e251f8b79133585bb700bba49919cfd53e301afaa9bae5c29e8e746e7
53 rdf:type schema:PropertyValue
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)


...