Combining Forward and Backward Propagation View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2015

AUTHORS

Amira Zaki , Slim Abdennadher , Thom Frühwirth

ABSTRACT

Constraint Handling Rules (CHR) is a general-purpose rule-based programming language. This paper studies the forward and backward propagation of rules, and explores the combination of both execution strategies. Forward propagation transforms input to output, while backward propagation uncovers input from output. This work includes a source-to-source transformation capable of implementing a backward propagation of the rules. Furthermore with the addition of annotating trigger constraints, CHR programs can be executed in a strictly-forward, strictly-backward or combined interleaved quasi-simultaneous manner. A programmer should only write one program and then the annotated transformation empowers the multiple execution strategies. The proposed work is useful for automatic implementation of bidirectional search for any search space through the combined execution strategies. Moreover, it is advantageous for reversible bijective algorithms (such as lossless compression/decompression), requiring only one algorithm direction to be implemented. More... »

PAGES

307-322

References to SciGraph publications

Book

TITLE

Frontiers of Combining Systems

ISBN

978-3-319-24245-3
978-3-319-24246-0

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-24246-0_19

DOI

http://dx.doi.org/10.1007/978-3-319-24246-0_19

DIMENSIONS

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


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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "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": [
            "German University in Cairo", 
            "Ulm University"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zaki", 
        "givenName": "Amira", 
        "id": "sg:person.011271335177.18", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011271335177.18"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "German University in Cairo", 
          "id": "https://www.grid.ac/institutes/grid.187323.c", 
          "name": [
            "German University in Cairo"
          ], 
          "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"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Ulm", 
          "id": "https://www.grid.ac/institutes/grid.6582.9", 
          "name": [
            "Ulm University"
          ], 
          "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.1145/2643135.2643144", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007968281"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-17822-6_4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1008960765", 
          "https://doi.org/10.1007/978-3-319-17822-6_4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-28652-0_5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011240768", 
          "https://doi.org/10.1007/978-3-642-28652-0_5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-7908-1834-5_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016704385", 
          "https://doi.org/10.1007/978-3-7908-1834-5_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.entcs.2010.02.007", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034496390"
        ], 
        "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/bfb0055987", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051691356", 
          "https://doi.org/10.1007/bfb0055987"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s1471068409990123", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053825025"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1093/jigpal/4.1.95", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1059797430"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1093/logcom/1.5.661", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1059875178"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2015", 
    "datePublishedReg": "2015-01-01", 
    "description": "Constraint Handling Rules (CHR) is a general-purpose rule-based programming language. This paper studies the forward and backward propagation of rules, and explores the combination of both execution strategies. Forward propagation transforms input to output, while backward propagation uncovers input from output. This work includes a source-to-source transformation capable of implementing a backward propagation of the rules. Furthermore with the addition of annotating trigger constraints, CHR programs can be executed in a strictly-forward, strictly-backward or combined interleaved quasi-simultaneous manner. A programmer should only write one program and then the annotated transformation empowers the multiple execution strategies. The proposed work is useful for automatic implementation of bidirectional search for any search space through the combined execution strategies. Moreover, it is advantageous for reversible bijective algorithms (such as lossless compression/decompression), requiring only one algorithm direction to be implemented.", 
    "editor": [
      {
        "familyName": "Lutz", 
        "givenName": "Carsten", 
        "type": "Person"
      }, 
      {
        "familyName": "Ranise", 
        "givenName": "Silvio", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-24246-0_19", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-319-24245-3", 
        "978-3-319-24246-0"
      ], 
      "name": "Frontiers of Combining Systems", 
      "type": "Book"
    }, 
    "name": "Combining Forward and Backward Propagation", 
    "pagination": "307-322", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-24246-0_19"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "c3fd3e5e26f0666f3a4fb1cd256eef4cf64bbeddd20011731e64d304fadba262"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1041142421"
        ]
      }
    ], 
    "publisher": {
      "location": "Cham", 
      "name": "Springer International Publishing", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-24246-0_19", 
      "https://app.dimensions.ai/details/publication/pub.1041142421"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T14:34", 
    "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_8669_00000321.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-319-24246-0_19"
  }
]
 

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-319-24246-0_19'

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-319-24246-0_19'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-24246-0_19'

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-319-24246-0_19'


 

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

123 TRIPLES      23 PREDICATES      37 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-24246-0_19 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author Nbb961a926c2543cfb4def4423cd2614f
4 schema:citation sg:pub.10.1007/978-3-319-17822-6_4
5 sg:pub.10.1007/978-3-540-27775-0_7
6 sg:pub.10.1007/978-3-642-28652-0_5
7 sg:pub.10.1007/978-3-7908-1834-5_13
8 sg:pub.10.1007/bfb0055987
9 https://doi.org/10.1016/j.entcs.2010.02.007
10 https://doi.org/10.1017/s1471068409990123
11 https://doi.org/10.1093/jigpal/4.1.95
12 https://doi.org/10.1093/logcom/1.5.661
13 https://doi.org/10.1145/2643135.2643144
14 schema:datePublished 2015
15 schema:datePublishedReg 2015-01-01
16 schema:description Constraint Handling Rules (CHR) is a general-purpose rule-based programming language. This paper studies the forward and backward propagation of rules, and explores the combination of both execution strategies. Forward propagation transforms input to output, while backward propagation uncovers input from output. This work includes a source-to-source transformation capable of implementing a backward propagation of the rules. Furthermore with the addition of annotating trigger constraints, CHR programs can be executed in a strictly-forward, strictly-backward or combined interleaved quasi-simultaneous manner. A programmer should only write one program and then the annotated transformation empowers the multiple execution strategies. The proposed work is useful for automatic implementation of bidirectional search for any search space through the combined execution strategies. Moreover, it is advantageous for reversible bijective algorithms (such as lossless compression/decompression), requiring only one algorithm direction to be implemented.
17 schema:editor N48cce400f7b14064b0594b16967f7e36
18 schema:genre chapter
19 schema:inLanguage en
20 schema:isAccessibleForFree true
21 schema:isPartOf N9b8b1b8bad204ddf85875ecf8838ef71
22 schema:name Combining Forward and Backward Propagation
23 schema:pagination 307-322
24 schema:productId N28537a1c344b45769a5bc3aa9ce450b0
25 Nbe121a5c572f4291944c61fbe8dae188
26 Nf0244ee1d54a42fca7873be4d87488e0
27 schema:publisher Nc7fc993c4a954f28b5a7c16c67ec427e
28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041142421
29 https://doi.org/10.1007/978-3-319-24246-0_19
30 schema:sdDatePublished 2019-04-15T14:34
31 schema:sdLicense https://scigraph.springernature.com/explorer/license/
32 schema:sdPublisher N92296252e1f84fe7b11b254108f25c8f
33 schema:url http://link.springer.com/10.1007/978-3-319-24246-0_19
34 sgo:license sg:explorer/license/
35 sgo:sdDataset chapters
36 rdf:type schema:Chapter
37 N00a4f4fbb2a344a99a143ec15565ce07 rdf:first sg:person.010445445574.13
38 rdf:rest Ne1c63ce9872946f6ac3b710bacf78933
39 N1c6c3d1f906641389a5ca15165498579 schema:familyName Lutz
40 schema:givenName Carsten
41 rdf:type schema:Person
42 N28537a1c344b45769a5bc3aa9ce450b0 schema:name dimensions_id
43 schema:value pub.1041142421
44 rdf:type schema:PropertyValue
45 N48cce400f7b14064b0594b16967f7e36 rdf:first N1c6c3d1f906641389a5ca15165498579
46 rdf:rest Nbf99ee3cbc70404b8cec281af411d94b
47 N92296252e1f84fe7b11b254108f25c8f schema:name Springer Nature - SN SciGraph project
48 rdf:type schema:Organization
49 N9b8b1b8bad204ddf85875ecf8838ef71 schema:isbn 978-3-319-24245-3
50 978-3-319-24246-0
51 schema:name Frontiers of Combining Systems
52 rdf:type schema:Book
53 Nbb961a926c2543cfb4def4423cd2614f rdf:first sg:person.011271335177.18
54 rdf:rest N00a4f4fbb2a344a99a143ec15565ce07
55 Nbe121a5c572f4291944c61fbe8dae188 schema:name readcube_id
56 schema:value c3fd3e5e26f0666f3a4fb1cd256eef4cf64bbeddd20011731e64d304fadba262
57 rdf:type schema:PropertyValue
58 Nbf99ee3cbc70404b8cec281af411d94b rdf:first Nc9e50df94679427f8c928f193c010fc8
59 rdf:rest rdf:nil
60 Nc7fc993c4a954f28b5a7c16c67ec427e schema:location Cham
61 schema:name Springer International Publishing
62 rdf:type schema:Organisation
63 Nc9e50df94679427f8c928f193c010fc8 schema:familyName Ranise
64 schema:givenName Silvio
65 rdf:type schema:Person
66 Ne1c63ce9872946f6ac3b710bacf78933 rdf:first sg:person.013750414271.15
67 rdf:rest rdf:nil
68 Nf0244ee1d54a42fca7873be4d87488e0 schema:name doi
69 schema:value 10.1007/978-3-319-24246-0_19
70 rdf:type schema:PropertyValue
71 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
72 schema:name Information and Computing Sciences
73 rdf:type schema:DefinedTerm
74 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
75 schema:name Artificial Intelligence and Image Processing
76 rdf:type schema:DefinedTerm
77 sg:person.010445445574.13 schema:affiliation https://www.grid.ac/institutes/grid.187323.c
78 schema:familyName Abdennadher
79 schema:givenName Slim
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13
81 rdf:type schema:Person
82 sg:person.011271335177.18 schema:affiliation https://www.grid.ac/institutes/grid.6582.9
83 schema:familyName Zaki
84 schema:givenName Amira
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011271335177.18
86 rdf:type schema:Person
87 sg:person.013750414271.15 schema:affiliation https://www.grid.ac/institutes/grid.6582.9
88 schema:familyName Frühwirth
89 schema:givenName Thom
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15
91 rdf:type schema:Person
92 sg:pub.10.1007/978-3-319-17822-6_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008960765
93 https://doi.org/10.1007/978-3-319-17822-6_4
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 sg:pub.10.1007/978-3-642-28652-0_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011240768
99 https://doi.org/10.1007/978-3-642-28652-0_5
100 rdf:type schema:CreativeWork
101 sg:pub.10.1007/978-3-7908-1834-5_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016704385
102 https://doi.org/10.1007/978-3-7908-1834-5_13
103 rdf:type schema:CreativeWork
104 sg:pub.10.1007/bfb0055987 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051691356
105 https://doi.org/10.1007/bfb0055987
106 rdf:type schema:CreativeWork
107 https://doi.org/10.1016/j.entcs.2010.02.007 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034496390
108 rdf:type schema:CreativeWork
109 https://doi.org/10.1017/s1471068409990123 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053825025
110 rdf:type schema:CreativeWork
111 https://doi.org/10.1093/jigpal/4.1.95 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059797430
112 rdf:type schema:CreativeWork
113 https://doi.org/10.1093/logcom/1.5.661 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059875178
114 rdf:type schema:CreativeWork
115 https://doi.org/10.1145/2643135.2643144 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007968281
116 rdf:type schema:CreativeWork
117 https://www.grid.ac/institutes/grid.187323.c schema:alternateName German University in Cairo
118 schema:name German University in Cairo
119 rdf:type schema:Organization
120 https://www.grid.ac/institutes/grid.6582.9 schema:alternateName University of Ulm
121 schema:name German University in Cairo
122 Ulm University
123 rdf:type schema:Organization
 




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


...