1991
AUTHORSIgor Mozetič , Christian Holzbaur
ABSTRACTModel-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. In the paper we describe the role of Constraint Logic Programming (CLP) in representing models and the search space of minimal diagnoses. In particular, we concentrate on two instances of the CLP scheme: CLP (B) and CLP (R). CLP (B) extends the standard computational domain of logic programs by boolean expressions, while CLP(R) comprises a solver for systems of linear equations and inequalities over real-valued variables. More... »
PAGES168-180
7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence
ISBN
978-3-540-54567-5
978-3-642-46752-3
http://scigraph.springernature.com/pub.10.1007/978-3-642-46752-3_18
DOIhttp://dx.doi.org/10.1007/978-3-642-46752-3_18
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1048362793
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/0803",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Computer Software",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria",
"id": "http://www.grid.ac/institutes/grid.432019.d",
"name": [
"Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria"
],
"type": "Organization"
},
"familyName": "Mozeti\u010d",
"givenName": "Igor",
"id": "sg:person.01340706300.17",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01340706300.17"
],
"type": "Person"
},
{
"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"
}
],
"datePublished": "1991",
"datePublishedReg": "1991-01-01",
"description": "Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. In the paper we describe the role of Constraint Logic Programming (CLP) in representing models and the search space of minimal diagnoses. In particular, we concentrate on two instances of the CLP scheme: CLP (B) and CLP (R). CLP (B) extends the standard computational domain of logic programs by boolean expressions, while CLP(R) comprises a solver for systems of linear equations and inequalities over real-valued variables.",
"editor": [
{
"familyName": "Kaindl",
"givenName": "Hermann",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-642-46752-3_18",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-540-54567-5",
"978-3-642-46752-3"
],
"name": "7. \u00d6sterreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence",
"type": "Book"
},
"keywords": [
"constraint logic programming",
"logic programs",
"constraint logic programs",
"model-based diagnosis",
"logic programming",
"CLP scheme",
"search space",
"minimal diagnosis",
"Boolean expressions",
"programming",
"system",
"solver",
"scheme",
"computational domain",
"instances",
"linear equations",
"model",
"domain",
"space",
"program",
"components",
"basis",
"behavior",
"structure",
"variables",
"diagnosis",
"role",
"activity",
"inequality",
"equations",
"expression",
"paper"
],
"name": "Model-Based Diagnosis with Constraint Logic Programs",
"pagination": "168-180",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1048362793"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-642-46752-3_18"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-642-46752-3_18",
"https://app.dimensions.ai/details/publication/pub.1048362793"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-20T07:44",
"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_26.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-642-46752-3_18"
}
]
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/978-3-642-46752-3_18'
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-642-46752-3_18'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-46752-3_18'
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-642-46752-3_18'
This table displays all metadata directly associated to this object as RDF triples.
102 TRIPLES
23 PREDICATES
58 URIs
51 LITERALS
7 BLANK NODES
Subject | Predicate | Object | |
---|---|---|---|
1 | sg:pub.10.1007/978-3-642-46752-3_18 | schema:about | anzsrc-for:08 |
2 | ″ | ″ | anzsrc-for:0803 |
3 | ″ | schema:author | Nf30bfa702f7e4ea18a6edfb215259dea |
4 | ″ | schema:datePublished | 1991 |
5 | ″ | schema:datePublishedReg | 1991-01-01 |
6 | ″ | schema:description | Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. In the paper we describe the role of Constraint Logic Programming (CLP) in representing models and the search space of minimal diagnoses. In particular, we concentrate on two instances of the CLP scheme: CLP (B) and CLP (R). CLP (B) extends the standard computational domain of logic programs by boolean expressions, while CLP(R) comprises a solver for systems of linear equations and inequalities over real-valued variables. |
7 | ″ | schema:editor | Ne00c776013c44d5bb0b56249b7f68c24 |
8 | ″ | schema:genre | chapter |
9 | ″ | schema:inLanguage | en |
10 | ″ | schema:isAccessibleForFree | false |
11 | ″ | schema:isPartOf | N1150029e0421425095a636b5f12470e9 |
12 | ″ | schema:keywords | Boolean expressions |
13 | ″ | ″ | CLP scheme |
14 | ″ | ″ | activity |
15 | ″ | ″ | basis |
16 | ″ | ″ | behavior |
17 | ″ | ″ | components |
18 | ″ | ″ | computational domain |
19 | ″ | ″ | constraint logic programming |
20 | ″ | ″ | constraint logic programs |
21 | ″ | ″ | diagnosis |
22 | ″ | ″ | domain |
23 | ″ | ″ | equations |
24 | ″ | ″ | expression |
25 | ″ | ″ | inequality |
26 | ″ | ″ | instances |
27 | ″ | ″ | linear equations |
28 | ″ | ″ | logic programming |
29 | ″ | ″ | logic programs |
30 | ″ | ″ | minimal diagnosis |
31 | ″ | ″ | model |
32 | ″ | ″ | model-based diagnosis |
33 | ″ | ″ | paper |
34 | ″ | ″ | program |
35 | ″ | ″ | programming |
36 | ″ | ″ | role |
37 | ″ | ″ | scheme |
38 | ″ | ″ | search space |
39 | ″ | ″ | solver |
40 | ″ | ″ | space |
41 | ″ | ″ | structure |
42 | ″ | ″ | system |
43 | ″ | ″ | variables |
44 | ″ | schema:name | Model-Based Diagnosis with Constraint Logic Programs |
45 | ″ | schema:pagination | 168-180 |
46 | ″ | schema:productId | N474a16fea1d241d4bb8c0e88c8edd593 |
47 | ″ | ″ | N4fed12d40f79432cbdec7030ebea2bd5 |
48 | ″ | schema:publisher | N42a564a221eb4ecab7e901ae9e1fbd08 |
49 | ″ | schema:sameAs | https://app.dimensions.ai/details/publication/pub.1048362793 |
50 | ″ | ″ | https://doi.org/10.1007/978-3-642-46752-3_18 |
51 | ″ | schema:sdDatePublished | 2022-05-20T07:44 |
52 | ″ | schema:sdLicense | https://scigraph.springernature.com/explorer/license/ |
53 | ″ | schema:sdPublisher | N5453035601fd4c25a53442f7a28c4324 |
54 | ″ | schema:url | https://doi.org/10.1007/978-3-642-46752-3_18 |
55 | ″ | sgo:license | sg:explorer/license/ |
56 | ″ | sgo:sdDataset | chapters |
57 | ″ | rdf:type | schema:Chapter |
58 | N1150029e0421425095a636b5f12470e9 | schema:isbn | 978-3-540-54567-5 |
59 | ″ | ″ | 978-3-642-46752-3 |
60 | ″ | schema:name | 7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence |
61 | ″ | rdf:type | schema:Book |
62 | N12e6cff112e54e9489843ac4524819f7 | schema:familyName | Kaindl |
63 | ″ | schema:givenName | Hermann |
64 | ″ | rdf:type | schema:Person |
65 | N42a564a221eb4ecab7e901ae9e1fbd08 | schema:name | Springer Nature |
66 | ″ | rdf:type | schema:Organisation |
67 | N474a16fea1d241d4bb8c0e88c8edd593 | schema:name | dimensions_id |
68 | ″ | schema:value | pub.1048362793 |
69 | ″ | rdf:type | schema:PropertyValue |
70 | N4fed12d40f79432cbdec7030ebea2bd5 | schema:name | doi |
71 | ″ | schema:value | 10.1007/978-3-642-46752-3_18 |
72 | ″ | rdf:type | schema:PropertyValue |
73 | N5453035601fd4c25a53442f7a28c4324 | schema:name | Springer Nature - SN SciGraph project |
74 | ″ | rdf:type | schema:Organization |
75 | N8380c56034f545889528cf3dcb41afec | rdf:first | sg:person.015052747435.75 |
76 | ″ | rdf:rest | rdf:nil |
77 | Ne00c776013c44d5bb0b56249b7f68c24 | rdf:first | N12e6cff112e54e9489843ac4524819f7 |
78 | ″ | rdf:rest | rdf:nil |
79 | Nf30bfa702f7e4ea18a6edfb215259dea | rdf:first | sg:person.01340706300.17 |
80 | ″ | rdf:rest | N8380c56034f545889528cf3dcb41afec |
81 | anzsrc-for:08 | schema:inDefinedTermSet | anzsrc-for: |
82 | ″ | schema:name | Information and Computing Sciences |
83 | ″ | rdf:type | schema:DefinedTerm |
84 | anzsrc-for:0803 | schema:inDefinedTermSet | anzsrc-for: |
85 | ″ | schema:name | Computer Software |
86 | ″ | rdf:type | schema:DefinedTerm |
87 | sg:person.01340706300.17 | schema:affiliation | grid-institutes:grid.432019.d |
88 | ″ | schema:familyName | Mozetič |
89 | ″ | schema:givenName | Igor |
90 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01340706300.17 |
91 | ″ | rdf:type | schema:Person |
92 | sg:person.015052747435.75 | schema:affiliation | grid-institutes:grid.10420.37 |
93 | ″ | schema:familyName | Holzbaur |
94 | ″ | schema:givenName | Christian |
95 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75 |
96 | ″ | rdf:type | schema:Person |
97 | 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 |
98 | ″ | 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 |
99 | ″ | rdf:type | schema:Organization |
100 | grid-institutes:grid.432019.d | schema:alternateName | Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria |
101 | ″ | schema:name | Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria |
102 | ″ | rdf:type | schema:Organization |