Generation of Rule-Based Constraint Solvers: Combined Approach View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2008

AUTHORS

Slim Abdennadher , Ingi Sobhi

ABSTRACT

Inductive Constraint Solving is a subfield of inductive machine learning concerned with the automatic generation of rule-based constraint solvers. In this paper, we propose an approach to generate constraint solvers given the definition of the constraints that combines the advantages of generation by construction with generation by testing. In our proposed approach, semantically valid rules are constructed symbolically, then the constructed rules are used to prune the search tree of a generate and test method. The combined approach leads in general to more expressive and efficient constraint solvers. The generated rules are implemented in the language Constraint Handling Rules. More... »

PAGES

106-120

References to SciGraph publications

Book

TITLE

Logic-Based Program Synthesis and Transformation

ISBN

978-3-540-78768-6
978-3-540-78769-3

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-78769-3_8

DOI

http://dx.doi.org/10.1007/978-3-540-78769-3_8

DIMENSIONS

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


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": "German University in Cairo", 
          "id": "https://www.grid.ac/institutes/grid.187323.c", 
          "name": [
            "Computer Science Department, German University in Cairo, Egypt"
          ], 
          "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": "German University in Cairo", 
          "id": "https://www.grid.ac/institutes/grid.187323.c", 
          "name": [
            "Computer Science Department, German University in Cairo, Egypt"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sobhi", 
        "givenName": "Ingi", 
        "id": "sg:person.014544330263.25", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014544330263.25"
        ], 
        "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": "sg:pub.10.1007/978-3-540-48085-3_5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018527705", 
          "https://doi.org/10.1007/978-3-540-48085-3_5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-48085-3_5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018527705", 
          "https://doi.org/10.1007/978-3-540-48085-3_5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44957-4_32", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019350817", 
          "https://doi.org/10.1007/3-540-44957-4_32"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45578-7_3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019972995", 
          "https://doi.org/10.1007/3-540-45578-7_3"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-25938-1_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030083923", 
          "https://doi.org/10.1007/978-3-540-25938-1_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-25938-1_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030083923", 
          "https://doi.org/10.1007/978-3-540-25938-1_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45349-0_4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047179793", 
          "https://doi.org/10.1007/3-540-45349-0_4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44654-0_8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048053546", 
          "https://doi.org/10.1007/3-540-44654-0_8"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s1471068405002371", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053989475"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s1471068405002371", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053989475"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s1471068405002371", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053989475"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2008", 
    "datePublishedReg": "2008-01-01", 
    "description": "Inductive Constraint Solving is a subfield of inductive machine learning concerned with the automatic generation of rule-based constraint solvers. In this paper, we propose an approach to generate constraint solvers given the definition of the constraints that combines the advantages of generation by construction with generation by testing. In our proposed approach, semantically valid rules are constructed symbolically, then the constructed rules are used to prune the search tree of a generate and test method. The combined approach leads in general to more expressive and efficient constraint solvers. The generated rules are implemented in the language Constraint Handling Rules.", 
    "editor": [
      {
        "familyName": "King", 
        "givenName": "Andy", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-78769-3_8", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-78768-6", 
        "978-3-540-78769-3"
      ], 
      "name": "Logic-Based Program Synthesis and Transformation", 
      "type": "Book"
    }, 
    "name": "Generation of Rule-Based Constraint Solvers: Combined Approach", 
    "pagination": "106-120", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-78769-3_8"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "92cbf6352abccd0ff66e28144ac368c660883954e76a9d85c4eeaf6e31ac6621"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1030814460"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-78769-3_8", 
      "https://app.dimensions.ai/details/publication/pub.1030814460"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T06:13", 
    "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/0000000351_0000000351/records_43238_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F978-3-540-78769-3_8"
  }
]
 

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-540-78769-3_8'

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-540-78769-3_8'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-78769-3_8'

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-540-78769-3_8'


 

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

102 TRIPLES      23 PREDICATES      35 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-78769-3_8 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N6c33a69146774ef99ef12d50a27fa5b7
4 schema:citation sg:pub.10.1007/3-540-44654-0_8
5 sg:pub.10.1007/3-540-44957-4_32
6 sg:pub.10.1007/3-540-45349-0_4
7 sg:pub.10.1007/3-540-45578-7_3
8 sg:pub.10.1007/978-3-540-25938-1_17
9 sg:pub.10.1007/978-3-540-48085-3_5
10 https://doi.org/10.1016/s0743-1066(98)10005-5
11 https://doi.org/10.1017/s1471068405002371
12 schema:datePublished 2008
13 schema:datePublishedReg 2008-01-01
14 schema:description Inductive Constraint Solving is a subfield of inductive machine learning concerned with the automatic generation of rule-based constraint solvers. In this paper, we propose an approach to generate constraint solvers given the definition of the constraints that combines the advantages of generation by construction with generation by testing. In our proposed approach, semantically valid rules are constructed symbolically, then the constructed rules are used to prune the search tree of a generate and test method. The combined approach leads in general to more expressive and efficient constraint solvers. The generated rules are implemented in the language Constraint Handling Rules.
15 schema:editor Nfae60376af764a0e9061386ded6726d2
16 schema:genre chapter
17 schema:inLanguage en
18 schema:isAccessibleForFree true
19 schema:isPartOf N425dc5ee7c9a434ca0e330b5a13e90f8
20 schema:name Generation of Rule-Based Constraint Solvers: Combined Approach
21 schema:pagination 106-120
22 schema:productId N6a874f41b027494a9c95a76f71bfc169
23 Ne0f33df4812a4da1be0c45cd32762bbb
24 Ne7dc8ae40e7841b897e4793111bfdc94
25 schema:publisher N957420a0ae24499d829027af30e1b6eb
26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030814460
27 https://doi.org/10.1007/978-3-540-78769-3_8
28 schema:sdDatePublished 2019-04-16T06:13
29 schema:sdLicense https://scigraph.springernature.com/explorer/license/
30 schema:sdPublisher Nadb33b0e2b2f44d78eb9d029b78e9162
31 schema:url https://link.springer.com/10.1007%2F978-3-540-78769-3_8
32 sgo:license sg:explorer/license/
33 sgo:sdDataset chapters
34 rdf:type schema:Chapter
35 N1f1870c14241491d867236e0eb55be89 rdf:first sg:person.014544330263.25
36 rdf:rest rdf:nil
37 N425dc5ee7c9a434ca0e330b5a13e90f8 schema:isbn 978-3-540-78768-6
38 978-3-540-78769-3
39 schema:name Logic-Based Program Synthesis and Transformation
40 rdf:type schema:Book
41 N5b5df5e1813942d284d97f388f6c1c83 schema:familyName King
42 schema:givenName Andy
43 rdf:type schema:Person
44 N6a874f41b027494a9c95a76f71bfc169 schema:name doi
45 schema:value 10.1007/978-3-540-78769-3_8
46 rdf:type schema:PropertyValue
47 N6c33a69146774ef99ef12d50a27fa5b7 rdf:first sg:person.010445445574.13
48 rdf:rest N1f1870c14241491d867236e0eb55be89
49 N957420a0ae24499d829027af30e1b6eb schema:location Berlin, Heidelberg
50 schema:name Springer Berlin Heidelberg
51 rdf:type schema:Organisation
52 Nadb33b0e2b2f44d78eb9d029b78e9162 schema:name Springer Nature - SN SciGraph project
53 rdf:type schema:Organization
54 Ne0f33df4812a4da1be0c45cd32762bbb schema:name dimensions_id
55 schema:value pub.1030814460
56 rdf:type schema:PropertyValue
57 Ne7dc8ae40e7841b897e4793111bfdc94 schema:name readcube_id
58 schema:value 92cbf6352abccd0ff66e28144ac368c660883954e76a9d85c4eeaf6e31ac6621
59 rdf:type schema:PropertyValue
60 Nfae60376af764a0e9061386ded6726d2 rdf:first N5b5df5e1813942d284d97f388f6c1c83
61 rdf:rest rdf:nil
62 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
63 schema:name Information and Computing Sciences
64 rdf:type schema:DefinedTerm
65 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
66 schema:name Artificial Intelligence and Image Processing
67 rdf:type schema:DefinedTerm
68 sg:person.010445445574.13 schema:affiliation https://www.grid.ac/institutes/grid.187323.c
69 schema:familyName Abdennadher
70 schema:givenName Slim
71 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13
72 rdf:type schema:Person
73 sg:person.014544330263.25 schema:affiliation https://www.grid.ac/institutes/grid.187323.c
74 schema:familyName Sobhi
75 schema:givenName Ingi
76 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014544330263.25
77 rdf:type schema:Person
78 sg:pub.10.1007/3-540-44654-0_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048053546
79 https://doi.org/10.1007/3-540-44654-0_8
80 rdf:type schema:CreativeWork
81 sg:pub.10.1007/3-540-44957-4_32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019350817
82 https://doi.org/10.1007/3-540-44957-4_32
83 rdf:type schema:CreativeWork
84 sg:pub.10.1007/3-540-45349-0_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047179793
85 https://doi.org/10.1007/3-540-45349-0_4
86 rdf:type schema:CreativeWork
87 sg:pub.10.1007/3-540-45578-7_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019972995
88 https://doi.org/10.1007/3-540-45578-7_3
89 rdf:type schema:CreativeWork
90 sg:pub.10.1007/978-3-540-25938-1_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030083923
91 https://doi.org/10.1007/978-3-540-25938-1_17
92 rdf:type schema:CreativeWork
93 sg:pub.10.1007/978-3-540-48085-3_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018527705
94 https://doi.org/10.1007/978-3-540-48085-3_5
95 rdf:type schema:CreativeWork
96 https://doi.org/10.1016/s0743-1066(98)10005-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000275719
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1017/s1471068405002371 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053989475
99 rdf:type schema:CreativeWork
100 https://www.grid.ac/institutes/grid.187323.c schema:alternateName German University in Cairo
101 schema:name Computer Science Department, German University in Cairo, Egypt
102 rdf:type schema:Organization
 




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


...