Ontology type: schema:Chapter
1996
AUTHORSChristian Holzbaur , Francisco Menezes , Pedro Barahona
ABSTRACTThis paper presents a defeasible constraint solver for the domain of linear equations, disequations and inequalities over the body of rational/real numbers. As extra requirements resulting from the incorporation of the solver into an Incremental Hierarchical Constraint Solver (IHCS) scenario we identified: a)the ability to refer to individual constraints by a label, b) the ability to report the (minimal) cause for the unsatisfiability of a set of constraints, and c) the ability to undo the effects of a formerly activated constraint.We develop the new functionalities after starting the presentation with a general architecture for defeasible constraint solving, through a solved form algorithm that utilizes a generalized, incremental variant of the Simplex algorithm, where the domain of a variable can be restricted to an arbitrary interval. We demonstrate how generalized slacks form the basis for the computation of explanations regarding the cause of unsatisfiability and/or entailment in terms of the constraints told, and the possible deactivation of constraints as demanded by the hierarchy handler. More... »
PAGES209-223
Principles and Practice of Constraint Programming — CP96
ISBN
978-3-540-61551-4
978-3-540-70620-5
http://scigraph.springernature.com/pub.10.1007/3-540-61551-2_76
DOIhttp://dx.doi.org/10.1007/3-540-61551-2_76
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1019722651
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/08",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Information and Computing Sciences",
"type": "DefinedTerm"
},
{
"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"
}
],
"author": [
{
"affiliation": {
"alternateName": "Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria",
"id": "http://www.grid.ac/institutes/grid.10420.37",
"name": [
"Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria"
],
"type": "Organization"
},
"familyName": "Holzbaur",
"givenName": "Christian",
"id": "sg:person.015052747435.75",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Departamento de Inform\u00e1tica Faculdade de Ci\u00eancias e T\u00e9cnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal",
"id": "http://www.grid.ac/institutes/grid.10772.33",
"name": [
"Departamento de Inform\u00e1tica Faculdade de Ci\u00eancias e T\u00e9cnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal"
],
"type": "Organization"
},
"familyName": "Menezes",
"givenName": "Francisco",
"id": "sg:person.012417274741.64",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012417274741.64"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Departamento de Inform\u00e1tica Faculdade de Ci\u00eancias e T\u00e9cnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal",
"id": "http://www.grid.ac/institutes/grid.10772.33",
"name": [
"Departamento de Inform\u00e1tica Faculdade de Ci\u00eancias e T\u00e9cnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal"
],
"type": "Organization"
},
"familyName": "Barahona",
"givenName": "Pedro",
"id": "sg:person.01200744637.40",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01200744637.40"
],
"type": "Person"
}
],
"datePublished": "1996",
"datePublishedReg": "1996-01-01",
"description": "This paper presents a defeasible constraint solver for the domain of linear equations, disequations and inequalities over the body of rational/real numbers. As extra requirements resulting from the incorporation of the solver into an Incremental Hierarchical Constraint Solver (IHCS) scenario we identified: a)the ability to refer to individual constraints by a label, b) the ability to report the (minimal) cause for the unsatisfiability of a set of constraints, and c) the ability to undo the effects of a formerly activated constraint.We develop the new functionalities after starting the presentation with a general architecture for defeasible constraint solving, through a solved form algorithm that utilizes a generalized, incremental variant of the Simplex algorithm, where the domain of a variable can be restricted to an arbitrary interval. We demonstrate how generalized slacks form the basis for the computation of explanations regarding the cause of unsatisfiability and/or entailment in terms of the constraints told, and the possible deactivation of constraints as demanded by the hierarchy handler.",
"editor": [
{
"familyName": "Freuder",
"givenName": "Eugene C.",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/3-540-61551-2_76",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-540-61551-4",
"978-3-540-70620-5"
],
"name": "Principles and Practice of Constraint Programming \u2014 CP96",
"type": "Book"
},
"keywords": [
"CLP",
"presentation",
"cause",
"ability",
"intervals",
"possible deactivation",
"variables",
"variants",
"handlers",
"effect",
"set of constraints",
"constraint solver",
"body",
"constraint solving",
"general architecture",
"incremental variant",
"cause of unsatisfiability",
"new functionalities",
"number",
"individual constraints",
"form algorithm",
"extra requirements",
"algorithm",
"unsatisfiability",
"incorporation",
"simplex algorithm",
"constraints",
"labels",
"basis",
"solver",
"domain",
"real numbers",
"architecture",
"slack variables",
"explanation",
"computation",
"deactivation",
"disequations",
"functionality",
"scenarios",
"entailment",
"terms",
"solving",
"requirements",
"set",
"linear equations",
"arbitrary interval",
"defeasibility",
"inequality",
"slack",
"paper",
"equations"
],
"name": "Defeasibility in CLP() through generalized slack variables",
"pagination": "209-223",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1019722651"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/3-540-61551-2_76"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/3-540-61551-2_76",
"https://app.dimensions.ai/details/publication/pub.1019722651"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-20T07:41",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_105.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/3-540-61551-2_76"
}
]
Download the RDF metadata as: json-ld nt turtle xml License info
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-61551-2_76'
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-61551-2_76'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-61551-2_76'
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-61551-2_76'
This table displays all metadata directly associated to this object as RDF triples.
129 TRIPLES
23 PREDICATES
78 URIs
71 LITERALS
7 BLANK NODES
Subject | Predicate | Object | |
---|---|---|---|
1 | sg:pub.10.1007/3-540-61551-2_76 | schema:about | anzsrc-for:08 |
2 | ″ | ″ | anzsrc-for:0801 |
3 | ″ | schema:author | N166dd7fce1234dc2871741a514c0698f |
4 | ″ | schema:datePublished | 1996 |
5 | ″ | schema:datePublishedReg | 1996-01-01 |
6 | ″ | schema:description | This paper presents a defeasible constraint solver for the domain of linear equations, disequations and inequalities over the body of rational/real numbers. As extra requirements resulting from the incorporation of the solver into an Incremental Hierarchical Constraint Solver (IHCS) scenario we identified: a)the ability to refer to individual constraints by a label, b) the ability to report the (minimal) cause for the unsatisfiability of a set of constraints, and c) the ability to undo the effects of a formerly activated constraint.We develop the new functionalities after starting the presentation with a general architecture for defeasible constraint solving, through a solved form algorithm that utilizes a generalized, incremental variant of the Simplex algorithm, where the domain of a variable can be restricted to an arbitrary interval. We demonstrate how generalized slacks form the basis for the computation of explanations regarding the cause of unsatisfiability and/or entailment in terms of the constraints told, and the possible deactivation of constraints as demanded by the hierarchy handler. |
7 | ″ | schema:editor | N96e8bd7477ae4136adf73039956f13df |
8 | ″ | schema:genre | chapter |
9 | ″ | schema:inLanguage | en |
10 | ″ | schema:isAccessibleForFree | false |
11 | ″ | schema:isPartOf | N8f388092e5ec4527938d985f74eb10b7 |
12 | ″ | schema:keywords | CLP |
13 | ″ | ″ | ability |
14 | ″ | ″ | algorithm |
15 | ″ | ″ | arbitrary interval |
16 | ″ | ″ | architecture |
17 | ″ | ″ | basis |
18 | ″ | ″ | body |
19 | ″ | ″ | cause |
20 | ″ | ″ | cause of unsatisfiability |
21 | ″ | ″ | computation |
22 | ″ | ″ | constraint solver |
23 | ″ | ″ | constraint solving |
24 | ″ | ″ | constraints |
25 | ″ | ″ | deactivation |
26 | ″ | ″ | defeasibility |
27 | ″ | ″ | disequations |
28 | ″ | ″ | domain |
29 | ″ | ″ | effect |
30 | ″ | ″ | entailment |
31 | ″ | ″ | equations |
32 | ″ | ″ | explanation |
33 | ″ | ″ | extra requirements |
34 | ″ | ″ | form algorithm |
35 | ″ | ″ | functionality |
36 | ″ | ″ | general architecture |
37 | ″ | ″ | handlers |
38 | ″ | ″ | incorporation |
39 | ″ | ″ | incremental variant |
40 | ″ | ″ | individual constraints |
41 | ″ | ″ | inequality |
42 | ″ | ″ | intervals |
43 | ″ | ″ | labels |
44 | ″ | ″ | linear equations |
45 | ″ | ″ | new functionalities |
46 | ″ | ″ | number |
47 | ″ | ″ | paper |
48 | ″ | ″ | possible deactivation |
49 | ″ | ″ | presentation |
50 | ″ | ″ | real numbers |
51 | ″ | ″ | requirements |
52 | ″ | ″ | scenarios |
53 | ″ | ″ | set |
54 | ″ | ″ | set of constraints |
55 | ″ | ″ | simplex algorithm |
56 | ″ | ″ | slack |
57 | ″ | ″ | slack variables |
58 | ″ | ″ | solver |
59 | ″ | ″ | solving |
60 | ″ | ″ | terms |
61 | ″ | ″ | unsatisfiability |
62 | ″ | ″ | variables |
63 | ″ | ″ | variants |
64 | ″ | schema:name | Defeasibility in CLP() through generalized slack variables |
65 | ″ | schema:pagination | 209-223 |
66 | ″ | schema:productId | Nbe8a7a3c67414a19a4080a7b4f059120 |
67 | ″ | ″ | Nc26e9ca9f6824e4ba05e89faf5faa130 |
68 | ″ | schema:publisher | N1026613ddb354e98b01befd36f63f83c |
69 | ″ | schema:sameAs | https://app.dimensions.ai/details/publication/pub.1019722651 |
70 | ″ | ″ | https://doi.org/10.1007/3-540-61551-2_76 |
71 | ″ | schema:sdDatePublished | 2022-05-20T07:41 |
72 | ″ | schema:sdLicense | https://scigraph.springernature.com/explorer/license/ |
73 | ″ | schema:sdPublisher | N6a6c71ab87cf4b908216825c0325cda1 |
74 | ″ | schema:url | https://doi.org/10.1007/3-540-61551-2_76 |
75 | ″ | sgo:license | sg:explorer/license/ |
76 | ″ | sgo:sdDataset | chapters |
77 | ″ | rdf:type | schema:Chapter |
78 | N02bc8a1fe16f4c599aeadebb19ee2cd3 | rdf:first | sg:person.01200744637.40 |
79 | ″ | rdf:rest | rdf:nil |
80 | N1026613ddb354e98b01befd36f63f83c | schema:name | Springer Nature |
81 | ″ | rdf:type | schema:Organisation |
82 | N166dd7fce1234dc2871741a514c0698f | rdf:first | sg:person.015052747435.75 |
83 | ″ | rdf:rest | N23999eeee7da49e9b4fd2f3a5766bbcf |
84 | N23999eeee7da49e9b4fd2f3a5766bbcf | rdf:first | sg:person.012417274741.64 |
85 | ″ | rdf:rest | N02bc8a1fe16f4c599aeadebb19ee2cd3 |
86 | N6a6c71ab87cf4b908216825c0325cda1 | schema:name | Springer Nature - SN SciGraph project |
87 | ″ | rdf:type | schema:Organization |
88 | N8f388092e5ec4527938d985f74eb10b7 | schema:isbn | 978-3-540-61551-4 |
89 | ″ | ″ | 978-3-540-70620-5 |
90 | ″ | schema:name | Principles and Practice of Constraint Programming — CP96 |
91 | ″ | rdf:type | schema:Book |
92 | N96e8bd7477ae4136adf73039956f13df | rdf:first | Nd66127ebd7b8415897ef71ef72099bdc |
93 | ″ | rdf:rest | rdf:nil |
94 | Nbe8a7a3c67414a19a4080a7b4f059120 | schema:name | doi |
95 | ″ | schema:value | 10.1007/3-540-61551-2_76 |
96 | ″ | rdf:type | schema:PropertyValue |
97 | Nc26e9ca9f6824e4ba05e89faf5faa130 | schema:name | dimensions_id |
98 | ″ | schema:value | pub.1019722651 |
99 | ″ | rdf:type | schema:PropertyValue |
100 | Nd66127ebd7b8415897ef71ef72099bdc | schema:familyName | Freuder |
101 | ″ | schema:givenName | Eugene C. |
102 | ″ | rdf:type | schema:Person |
103 | anzsrc-for:08 | schema:inDefinedTermSet | anzsrc-for: |
104 | ″ | schema:name | Information and Computing Sciences |
105 | ″ | rdf:type | schema:DefinedTerm |
106 | anzsrc-for:0801 | schema:inDefinedTermSet | anzsrc-for: |
107 | ″ | schema:name | Artificial Intelligence and Image Processing |
108 | ″ | rdf:type | schema:DefinedTerm |
109 | sg:person.01200744637.40 | schema:affiliation | grid-institutes:grid.10772.33 |
110 | ″ | schema:familyName | Barahona |
111 | ″ | schema:givenName | Pedro |
112 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01200744637.40 |
113 | ″ | rdf:type | schema:Person |
114 | sg:person.012417274741.64 | schema:affiliation | grid-institutes:grid.10772.33 |
115 | ″ | schema:familyName | Menezes |
116 | ″ | schema:givenName | Francisco |
117 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012417274741.64 |
118 | ″ | rdf:type | schema:Person |
119 | sg:person.015052747435.75 | schema:affiliation | grid-institutes:grid.10420.37 |
120 | ″ | schema:familyName | Holzbaur |
121 | ″ | schema:givenName | Christian |
122 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75 |
123 | ″ | rdf:type | schema:Person |
124 | grid-institutes:grid.10420.37 | schema:alternateName | Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria |
125 | ″ | schema:name | Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria |
126 | ″ | rdf:type | schema:Organization |
127 | grid-institutes:grid.10772.33 | schema:alternateName | Departamento de Informática Faculdade de Ciências e Técnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal |
128 | ″ | schema:name | Departamento de Informática Faculdade de Ciências e Técnologia, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal |
129 | ″ | rdf:type | schema:Organization |