Constraint handling rules View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1995

AUTHORS

Thom Frühwirth

ABSTRACT

In this paper we concentrate on CHRs as an extension for constraint logic programming languages. Into such languages, the CHRs can be tightly integrated. They can make use of any hard-wired solvers already built into the host language. Program clauses can be used to specify the non deterministic behavior of constraints, i.e. to introduce search by constraints. In this way our approach merges the advantages of constraints (eager simplification by CHRs) and predicates (lazy choices by clauses). More... »

PAGES

90-107

References to SciGraph publications

  • 1988. Constraint Logic Programming Language CAL in FIFTH GENERATION COMPUTER SYSTEMS 1988
  • Book

    TITLE

    Constraint Programming: Basics and Trends

    ISBN

    978-3-540-59155-9
    978-3-540-49200-9

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/3-540-59155-9_6

    DOI

    http://dx.doi.org/10.1007/3-540-59155-9_6

    DIMENSIONS

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


    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/2004", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Linguistics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/20", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Language, Communication and Culture", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "name": [
                "ECRC, Arabellastrasse 17, D-81925\u00a0Munich, 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": "sg:pub.10.1007/978-1-4471-3156-4_27", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1089745532", 
              "https://doi.org/10.1007/978-1-4471-3156-4_27"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1995", 
        "datePublishedReg": "1995-01-01", 
        "description": "In this paper we concentrate on CHRs as an extension for constraint logic programming languages. Into such languages, the CHRs can be tightly integrated. They can make use of any hard-wired solvers already built into the host language. Program clauses can be used to specify the non deterministic behavior of constraints, i.e. to introduce search by constraints. In this way our approach merges the advantages of constraints (eager simplification by CHRs) and predicates (lazy choices by clauses).", 
        "editor": [
          {
            "familyName": "Podelski", 
            "givenName": "Andreas", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/3-540-59155-9_6", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-540-59155-9", 
            "978-3-540-49200-9"
          ], 
          "name": "Constraint Programming: Basics and Trends", 
          "type": "Book"
        }, 
        "name": "Constraint handling rules", 
        "pagination": "90-107", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-59155-9_6"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "ba3bce3ca413af5eaee39351a614029068a8a4aaf81d5a6d141b1776bd91f96a"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1039095944"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-59155-9_6", 
          "https://app.dimensions.ai/details/publication/pub.1039095944"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T16:05", 
        "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_00000067.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/3-540-59155-9_6"
      }
    ]
     

    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-59155-9_6'

    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-59155-9_6'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-59155-9_6'

    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-59155-9_6'


     

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

    68 TRIPLES      23 PREDICATES      28 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-59155-9_6 schema:about anzsrc-for:20
    2 anzsrc-for:2004
    3 schema:author N31e5f68f04bc4f4e8a915cc2f755421b
    4 schema:citation sg:pub.10.1007/978-1-4471-3156-4_27
    5 schema:datePublished 1995
    6 schema:datePublishedReg 1995-01-01
    7 schema:description In this paper we concentrate on CHRs as an extension for constraint logic programming languages. Into such languages, the CHRs can be tightly integrated. They can make use of any hard-wired solvers already built into the host language. Program clauses can be used to specify the non deterministic behavior of constraints, i.e. to introduce search by constraints. In this way our approach merges the advantages of constraints (eager simplification by CHRs) and predicates (lazy choices by clauses).
    8 schema:editor N7c69e5e47f4349cc8b9db64d53529df5
    9 schema:genre chapter
    10 schema:inLanguage en
    11 schema:isAccessibleForFree true
    12 schema:isPartOf Na9b323e649104505a7662cb807f156a2
    13 schema:name Constraint handling rules
    14 schema:pagination 90-107
    15 schema:productId N3729368105c44bb0a15e78b50cb8ee93
    16 N49ae027d92b64206866570e71ce0e235
    17 Ne285b51397904e27bffb18ef3b93f0ef
    18 schema:publisher N65cfed3e7146491f9171bf1ecaca919a
    19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039095944
    20 https://doi.org/10.1007/3-540-59155-9_6
    21 schema:sdDatePublished 2019-04-15T16:05
    22 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    23 schema:sdPublisher N21f1f4af9e1848ee8025bf0744eb5032
    24 schema:url http://link.springer.com/10.1007/3-540-59155-9_6
    25 sgo:license sg:explorer/license/
    26 sgo:sdDataset chapters
    27 rdf:type schema:Chapter
    28 N21f1f4af9e1848ee8025bf0744eb5032 schema:name Springer Nature - SN SciGraph project
    29 rdf:type schema:Organization
    30 N31e5f68f04bc4f4e8a915cc2f755421b rdf:first sg:person.013750414271.15
    31 rdf:rest rdf:nil
    32 N3729368105c44bb0a15e78b50cb8ee93 schema:name readcube_id
    33 schema:value ba3bce3ca413af5eaee39351a614029068a8a4aaf81d5a6d141b1776bd91f96a
    34 rdf:type schema:PropertyValue
    35 N49ae027d92b64206866570e71ce0e235 schema:name dimensions_id
    36 schema:value pub.1039095944
    37 rdf:type schema:PropertyValue
    38 N65cfed3e7146491f9171bf1ecaca919a schema:location Berlin, Heidelberg
    39 schema:name Springer Berlin Heidelberg
    40 rdf:type schema:Organisation
    41 N7c69e5e47f4349cc8b9db64d53529df5 rdf:first N8c18ab2c1cfe40db897d2c3e1478f940
    42 rdf:rest rdf:nil
    43 N8c18ab2c1cfe40db897d2c3e1478f940 schema:familyName Podelski
    44 schema:givenName Andreas
    45 rdf:type schema:Person
    46 Na9b323e649104505a7662cb807f156a2 schema:isbn 978-3-540-49200-9
    47 978-3-540-59155-9
    48 schema:name Constraint Programming: Basics and Trends
    49 rdf:type schema:Book
    50 Ne285b51397904e27bffb18ef3b93f0ef schema:name doi
    51 schema:value 10.1007/3-540-59155-9_6
    52 rdf:type schema:PropertyValue
    53 Ned576f3a0485462faf4d71d72b4def17 schema:name ECRC, Arabellastrasse 17, D-81925 Munich, Germany
    54 rdf:type schema:Organization
    55 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
    56 schema:name Language, Communication and Culture
    57 rdf:type schema:DefinedTerm
    58 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
    59 schema:name Linguistics
    60 rdf:type schema:DefinedTerm
    61 sg:person.013750414271.15 schema:affiliation Ned576f3a0485462faf4d71d72b4def17
    62 schema:familyName Frühwirth
    63 schema:givenName Thom
    64 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15
    65 rdf:type schema:Person
    66 sg:pub.10.1007/978-1-4471-3156-4_27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1089745532
    67 https://doi.org/10.1007/978-1-4471-3156-4_27
    68 rdf:type schema:CreativeWork
     




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


    ...