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 N95785f18ecd142be86fab509e5e6d29c
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 N6d62a531b942468b9eb3a15b81173932
14 schema:genre chapter
15 schema:inLanguage en
16 schema:isAccessibleForFree false
17 schema:isPartOf N0bf7f1f468d345e6bd7cba7a9152e5fe
18 schema:name Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming
19 schema:pagination 32-47
20 schema:productId N76aabda096ae411f83bc0438abed7c2c
21 N7d975335271f4d2e9c1e258353ccd558
22 Nba61c9bf173b4aadb1b8de32dc0f1014
23 schema:publisher N9c203fc185a74793ab38511ca1af51f5
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 N2f5aaee15891443195aeb8593069e766
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 N0bf7f1f468d345e6bd7cba7a9152e5fe schema:isbn 978-3-540-40438-5
34 978-3-540-45013-9
35 schema:name Logic Based Program Synthesis and Transformation
36 rdf:type schema:Book
37 N2f5aaee15891443195aeb8593069e766 schema:name Springer Nature - SN SciGraph project
38 rdf:type schema:Organization
39 N362e0e0c53ff4374b743549d559e2206 rdf:first sg:person.016577712467.20
40 rdf:rest rdf:nil
41 N6d62a531b942468b9eb3a15b81173932 rdf:first N838aca3a7b904590a5805537d069a388
42 rdf:rest rdf:nil
43 N76aabda096ae411f83bc0438abed7c2c schema:name dimensions_id
44 schema:value pub.1028651866
45 rdf:type schema:PropertyValue
46 N7d975335271f4d2e9c1e258353ccd558 schema:name doi
47 schema:value 10.1007/3-540-45013-0_3
48 rdf:type schema:PropertyValue
49 N838aca3a7b904590a5805537d069a388 schema:familyName Leuschel
50 schema:givenName Michael
51 rdf:type schema:Person
52 N95785f18ecd142be86fab509e5e6d29c rdf:first sg:person.010445445574.13
53 rdf:rest N362e0e0c53ff4374b743549d559e2206
54 N9c203fc185a74793ab38511ca1af51f5 schema:location Berlin, Heidelberg
55 schema:name Springer Berlin Heidelberg
56 rdf:type schema:Organisation
57 Nba61c9bf173b4aadb1b8de32dc0f1014 schema:name readcube_id
58 schema:value 887d01e539bc3862cbf831dd5787d85dac7ac80800b38dc9603fa50603d21069
59 rdf:type schema:PropertyValue
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)


...