Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2003

AUTHORS

Slim Abdennadher , Christophe Rigotti

ABSTRACT

The goal of automated program synthesis is to bridge the gap between what is easy for people to describe and what is possible to execute on a computer. In this paper, we present a framework for synthesis of rule-based solvers for constraints given their logical specication. This approach takes advantage of the power of tabled resolution for constraint logic programming, in order to check the validity of the rules. Compared to previous work [8,19,2,5,3], where different methods for automatic generation of constraint solvers have been proposed, our approach enables the generation of more expressive rules (even recursive and splitting rules). More... »

PAGES

32-47

Book

TITLE

Logic Based Program Synthesis and Transformation

ISBN

978-3-540-40438-5
978-3-540-45013-9

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-45013-0_3

DOI

http://dx.doi.org/10.1007/3-540-45013-0_3

DIMENSIONS

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


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": "Ludwig Maximilian University of Munich", 
          "id": "https://www.grid.ac/institutes/grid.5252.0", 
          "name": [
            "Computer Science Department, University of Munich, Oettingenstr. 67, 80538\u00a0M\u00fcnchen, 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"
      }, 
      {
        "affiliation": {
          "alternateName": "Institut National des Sciences Appliqu\u00e9es de Lyon", 
          "id": "https://www.grid.ac/institutes/grid.15399.37", 
          "name": [
            "Laboratoire d\u2019Ing\u00e9nierie des Syst\u00e8mes d\u2019Information, INSA Lyon, B\u00eaatiment 501, 69621\u00a0Villeurbanne Cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Rigotti", 
        "givenName": "Christophe", 
        "id": "sg:person.016577712467.20", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016577712467.20"
        ], 
        "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.1016/0743-1066(94)90035-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1002893202"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/inco.1995.1048", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012918079"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0743-1066(98)10006-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014830724"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/131295.131299", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025266339"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0743-1066(93)90047-k", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1033004420"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2003", 
    "datePublishedReg": "2003-01-01", 
    "description": "The goal of automated program synthesis is to bridge the gap between what is easy for people to describe and what is possible to execute on a computer. In this paper, we present a framework for synthesis of rule-based solvers for constraints given their logical specication. This approach takes advantage of the power of tabled resolution for constraint logic programming, in order to check the validity of the rules. Compared to previous work [8,19,2,5,3], where different methods for automatic generation of constraint solvers have been proposed, our approach enables the generation of more expressive rules (even recursive and splitting rules).", 
    "editor": [
      {
        "familyName": "Leuschel", 
        "givenName": "Michael", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-45013-0_3", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-40438-5", 
        "978-3-540-45013-9"
      ], 
      "name": "Logic Based Program Synthesis and Transformation", 
      "type": "Book"
    }, 
    "name": "Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming", 
    "pagination": "32-47", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-45013-0_3"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "887d01e539bc3862cbf831dd5787d85dac7ac80800b38dc9603fa50603d21069"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1028651866"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-45013-0_3", 
      "https://app.dimensions.ai/details/publication/pub.1028651866"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T10: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_8659_00000261.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-45013-0_3"
  }
]
 

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-45013-0_3'

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-45013-0_3'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-45013-0_3'

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-45013-0_3'


 

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

93 TRIPLES      23 PREDICATES      33 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-45013-0_3 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N8d25865a0d494ca7885451c9d3c2984c
4 schema:citation https://doi.org/10.1006/inco.1995.1048
5 https://doi.org/10.1016/0743-1066(93)90047-k
6 https://doi.org/10.1016/0743-1066(94)90035-3
7 https://doi.org/10.1016/s0743-1066(98)10005-5
8 https://doi.org/10.1016/s0743-1066(98)10006-7
9 https://doi.org/10.1145/131295.131299
10 schema:datePublished 2003
11 schema:datePublishedReg 2003-01-01
12 schema:description The goal of automated program synthesis is to bridge the gap between what is easy for people to describe and what is possible to execute on a computer. In this paper, we present a framework for synthesis of rule-based solvers for constraints given their logical specication. This approach takes advantage of the power of tabled resolution for constraint logic programming, in order to check the validity of the rules. Compared to previous work [8,19,2,5,3], where different methods for automatic generation of constraint solvers have been proposed, our approach enables the generation of more expressive rules (even recursive and splitting rules).
13 schema:editor N11f37956bee64ba8b7261e25e736f4ac
14 schema:genre chapter
15 schema:inLanguage en
16 schema:isAccessibleForFree false
17 schema:isPartOf Nc0e18af4301049d3b0649c270002a1df
18 schema:name Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming
19 schema:pagination 32-47
20 schema:productId N2d46a3103f0c41e7b7a2132e84d46fea
21 N9b9f166bb917474480604f6fd69d9c05
22 Ne1ce16d7c846438892f31e5a5ea36f68
23 schema:publisher N798a71018f1849b7bb2348dcf0aa850d
24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028651866
25 https://doi.org/10.1007/3-540-45013-0_3
26 schema:sdDatePublished 2019-04-15T10:34
27 schema:sdLicense https://scigraph.springernature.com/explorer/license/
28 schema:sdPublisher Nea4ef8f7540d41bda307ad1e1e7f0a04
29 schema:url http://link.springer.com/10.1007/3-540-45013-0_3
30 sgo:license sg:explorer/license/
31 sgo:sdDataset chapters
32 rdf:type schema:Chapter
33 N11f37956bee64ba8b7261e25e736f4ac rdf:first Nb7d66d5ff0704ed2ad620875b145093d
34 rdf:rest rdf:nil
35 N2d46a3103f0c41e7b7a2132e84d46fea schema:name readcube_id
36 schema:value 887d01e539bc3862cbf831dd5787d85dac7ac80800b38dc9603fa50603d21069
37 rdf:type schema:PropertyValue
38 N798a71018f1849b7bb2348dcf0aa850d schema:location Berlin, Heidelberg
39 schema:name Springer Berlin Heidelberg
40 rdf:type schema:Organisation
41 N8d25865a0d494ca7885451c9d3c2984c rdf:first sg:person.010445445574.13
42 rdf:rest Nb1f2408164fe4b3284a1249ac53f7abe
43 N9b9f166bb917474480604f6fd69d9c05 schema:name doi
44 schema:value 10.1007/3-540-45013-0_3
45 rdf:type schema:PropertyValue
46 Nb1f2408164fe4b3284a1249ac53f7abe rdf:first sg:person.016577712467.20
47 rdf:rest rdf:nil
48 Nb7d66d5ff0704ed2ad620875b145093d schema:familyName Leuschel
49 schema:givenName Michael
50 rdf:type schema:Person
51 Nc0e18af4301049d3b0649c270002a1df schema:isbn 978-3-540-40438-5
52 978-3-540-45013-9
53 schema:name Logic Based Program Synthesis and Transformation
54 rdf:type schema:Book
55 Ne1ce16d7c846438892f31e5a5ea36f68 schema:name dimensions_id
56 schema:value pub.1028651866
57 rdf:type schema:PropertyValue
58 Nea4ef8f7540d41bda307ad1e1e7f0a04 schema:name Springer Nature - SN SciGraph project
59 rdf:type schema:Organization
60 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
61 schema:name Information and Computing Sciences
62 rdf:type schema:DefinedTerm
63 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
64 schema:name Artificial Intelligence and Image Processing
65 rdf:type schema:DefinedTerm
66 sg:person.010445445574.13 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
67 schema:familyName Abdennadher
68 schema:givenName Slim
69 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13
70 rdf:type schema:Person
71 sg:person.016577712467.20 schema:affiliation https://www.grid.ac/institutes/grid.15399.37
72 schema:familyName Rigotti
73 schema:givenName Christophe
74 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016577712467.20
75 rdf:type schema:Person
76 https://doi.org/10.1006/inco.1995.1048 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012918079
77 rdf:type schema:CreativeWork
78 https://doi.org/10.1016/0743-1066(93)90047-k schema:sameAs https://app.dimensions.ai/details/publication/pub.1033004420
79 rdf:type schema:CreativeWork
80 https://doi.org/10.1016/0743-1066(94)90035-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002893202
81 rdf:type schema:CreativeWork
82 https://doi.org/10.1016/s0743-1066(98)10005-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000275719
83 rdf:type schema:CreativeWork
84 https://doi.org/10.1016/s0743-1066(98)10006-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014830724
85 rdf:type schema:CreativeWork
86 https://doi.org/10.1145/131295.131299 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025266339
87 rdf:type schema:CreativeWork
88 https://www.grid.ac/institutes/grid.15399.37 schema:alternateName Institut National des Sciences Appliquées de Lyon
89 schema:name Laboratoire d’Ingénierie des Systèmes d’Information, INSA Lyon, Bêatiment 501, 69621 Villeurbanne Cedex, France
90 rdf:type schema:Organization
91 https://www.grid.ac/institutes/grid.5252.0 schema:alternateName Ludwig Maximilian University of Munich
92 schema:name Computer Science Department, University of Munich, Oettingenstr. 67, 80538 München, Germany
93 rdf:type schema:Organization
 




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


...