A Linear-Logic Semantics for Constraint Handling Rules View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2005

AUTHORS

Hariolf Betz , Thom Frühwirth

ABSTRACT

One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate logic. However, the more CHR is used as a general-purpose programming language, the more the limitations of that kind of declarative semantics in modelling change become apparent. We propose an alternative declarative semantics based on (intuitionistic) linear logic, establishing strong theorems on both soundness and completeness of the new declarative semantics w.r.t. operational semantics. More... »

PAGES

137-151

References to SciGraph publications

  • 1999-05. Confluence and Semantics of Constraint Simplification Rules in CONSTRAINTS
  • 1993. A taste of linear logic in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1993
  • 1996. Programming in Lygon: An overview in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
  • Book

    TITLE

    Principles and Practice of Constraint Programming - CP 2005

    ISBN

    978-3-540-29238-8
    978-3-540-32050-0

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/11564751_13

    DOI

    http://dx.doi.org/10.1007/11564751_13

    DIMENSIONS

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


    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": "University of Ulm", 
              "id": "https://www.grid.ac/institutes/grid.6582.9", 
              "name": [
                "Faculty of Computer Science, University of Ulm, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Betz", 
            "givenName": "Hariolf", 
            "id": "sg:person.010412037525.24", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010412037525.24"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Ulm", 
              "id": "https://www.grid.ac/institutes/grid.6582.9", 
              "name": [
                "Faculty of Computer Science, University of Ulm, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Fr\u00fchwirth", 
            "givenName": "Thom", 
            "id": "sg:person.013750414271.15", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15"
            ], 
            "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": "https://doi.org/10.1145/62.2160", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006789528"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-57182-5_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014095391", 
              "https://doi.org/10.1007/3-540-57182-5_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1009842826135", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017229802", 
              "https://doi.org/10.1023/a:1009842826135"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2000.3002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029878126"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(87)90045-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030539676"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0014329", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030843739", 
              "https://doi.org/10.1007/bfb0014329"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s1471068405002541", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053824991"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s1471068405002541", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053824991"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/97946.97953", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063176031"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2005", 
        "datePublishedReg": "2005-01-01", 
        "description": "One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate logic. However, the more CHR is used as a general-purpose programming language, the more the limitations of that kind of declarative semantics in modelling change become apparent. We propose an alternative declarative semantics based on (intuitionistic) linear logic, establishing strong theorems on both soundness and completeness of the new declarative semantics w.r.t. operational semantics.", 
        "editor": [
          {
            "familyName": "van Beek", 
            "givenName": "Peter", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/11564751_13", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-540-29238-8", 
            "978-3-540-32050-0"
          ], 
          "name": "Principles and Practice of Constraint Programming - CP 2005", 
          "type": "Book"
        }, 
        "name": "A Linear-Logic Semantics for Constraint Handling Rules", 
        "pagination": "137-151", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1022800886"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/11564751_13"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "6ca0de2e6cfe5a596ba557bbe8edacf996f089ec69a6000081897ca04ee14ae5"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/11564751_13", 
          "https://app.dimensions.ai/details/publication/pub.1022800886"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T09:22", 
        "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/0000000371_0000000371/records_130830_00000002.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F11564751_13"
      }
    ]
     

    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/11564751_13'

    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/11564751_13'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/11564751_13'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/11564751_13'


     

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

    102 TRIPLES      23 PREDICATES      36 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/11564751_13 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author N855fcccf424b430c8d599b90ca2c2bc9
    4 schema:citation sg:pub.10.1007/3-540-57182-5_12
    5 sg:pub.10.1007/bfb0014329
    6 sg:pub.10.1023/a:1009842826135
    7 https://doi.org/10.1006/inco.2000.3002
    8 https://doi.org/10.1016/0304-3975(87)90045-4
    9 https://doi.org/10.1016/s0743-1066(98)10005-5
    10 https://doi.org/10.1017/s1471068405002541
    11 https://doi.org/10.1145/62.2160
    12 https://doi.org/10.1145/97946.97953
    13 schema:datePublished 2005
    14 schema:datePublishedReg 2005-01-01
    15 schema:description One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate logic. However, the more CHR is used as a general-purpose programming language, the more the limitations of that kind of declarative semantics in modelling change become apparent. We propose an alternative declarative semantics based on (intuitionistic) linear logic, establishing strong theorems on both soundness and completeness of the new declarative semantics w.r.t. operational semantics.
    16 schema:editor N71a695ae96b1473385ecb84969abf45f
    17 schema:genre chapter
    18 schema:inLanguage en
    19 schema:isAccessibleForFree true
    20 schema:isPartOf Ncf3e9313b388440ebb606afd05889bae
    21 schema:name A Linear-Logic Semantics for Constraint Handling Rules
    22 schema:pagination 137-151
    23 schema:productId N663949b2f15241988a0fed85df8f3065
    24 N7f220b0aadc44eb191df6296da52cb2b
    25 Nbd94aa687ee243568c9a6b8f746dfb02
    26 schema:publisher N95338f6ff02749ccb8e975528c3f1f36
    27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022800886
    28 https://doi.org/10.1007/11564751_13
    29 schema:sdDatePublished 2019-04-16T09:22
    30 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    31 schema:sdPublisher N94709d9c343f4612963d835dcfefd2ad
    32 schema:url https://link.springer.com/10.1007%2F11564751_13
    33 sgo:license sg:explorer/license/
    34 sgo:sdDataset chapters
    35 rdf:type schema:Chapter
    36 N663949b2f15241988a0fed85df8f3065 schema:name doi
    37 schema:value 10.1007/11564751_13
    38 rdf:type schema:PropertyValue
    39 N70a592307e9e4e89883a763873161429 schema:familyName van Beek
    40 schema:givenName Peter
    41 rdf:type schema:Person
    42 N71a695ae96b1473385ecb84969abf45f rdf:first N70a592307e9e4e89883a763873161429
    43 rdf:rest rdf:nil
    44 N7f220b0aadc44eb191df6296da52cb2b schema:name readcube_id
    45 schema:value 6ca0de2e6cfe5a596ba557bbe8edacf996f089ec69a6000081897ca04ee14ae5
    46 rdf:type schema:PropertyValue
    47 N855fcccf424b430c8d599b90ca2c2bc9 rdf:first sg:person.010412037525.24
    48 rdf:rest Nf86c62b031774f17aa6b998a7d3196ac
    49 N94709d9c343f4612963d835dcfefd2ad schema:name Springer Nature - SN SciGraph project
    50 rdf:type schema:Organization
    51 N95338f6ff02749ccb8e975528c3f1f36 schema:location Berlin, Heidelberg
    52 schema:name Springer Berlin Heidelberg
    53 rdf:type schema:Organisation
    54 Nbd94aa687ee243568c9a6b8f746dfb02 schema:name dimensions_id
    55 schema:value pub.1022800886
    56 rdf:type schema:PropertyValue
    57 Ncf3e9313b388440ebb606afd05889bae schema:isbn 978-3-540-29238-8
    58 978-3-540-32050-0
    59 schema:name Principles and Practice of Constraint Programming - CP 2005
    60 rdf:type schema:Book
    61 Nf86c62b031774f17aa6b998a7d3196ac rdf:first sg:person.013750414271.15
    62 rdf:rest rdf:nil
    63 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    64 schema:name Information and Computing Sciences
    65 rdf:type schema:DefinedTerm
    66 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    67 schema:name Computation Theory and Mathematics
    68 rdf:type schema:DefinedTerm
    69 sg:person.010412037525.24 schema:affiliation https://www.grid.ac/institutes/grid.6582.9
    70 schema:familyName Betz
    71 schema:givenName Hariolf
    72 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010412037525.24
    73 rdf:type schema:Person
    74 sg:person.013750414271.15 schema:affiliation https://www.grid.ac/institutes/grid.6582.9
    75 schema:familyName Frühwirth
    76 schema:givenName Thom
    77 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15
    78 rdf:type schema:Person
    79 sg:pub.10.1007/3-540-57182-5_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014095391
    80 https://doi.org/10.1007/3-540-57182-5_12
    81 rdf:type schema:CreativeWork
    82 sg:pub.10.1007/bfb0014329 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030843739
    83 https://doi.org/10.1007/bfb0014329
    84 rdf:type schema:CreativeWork
    85 sg:pub.10.1023/a:1009842826135 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017229802
    86 https://doi.org/10.1023/a:1009842826135
    87 rdf:type schema:CreativeWork
    88 https://doi.org/10.1006/inco.2000.3002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029878126
    89 rdf:type schema:CreativeWork
    90 https://doi.org/10.1016/0304-3975(87)90045-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030539676
    91 rdf:type schema:CreativeWork
    92 https://doi.org/10.1016/s0743-1066(98)10005-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000275719
    93 rdf:type schema:CreativeWork
    94 https://doi.org/10.1017/s1471068405002541 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053824991
    95 rdf:type schema:CreativeWork
    96 https://doi.org/10.1145/62.2160 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006789528
    97 rdf:type schema:CreativeWork
    98 https://doi.org/10.1145/97946.97953 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063176031
    99 rdf:type schema:CreativeWork
    100 https://www.grid.ac/institutes/grid.6582.9 schema:alternateName University of Ulm
    101 schema:name Faculty of Computer Science, University of Ulm, Germany
    102 rdf:type schema:Organization
     




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


    ...