Automatic component abstraction for Model-Based Diagnosis on relational models (Q5167985)
From MaRDI portal
scientific article; zbMATH DE number 6312676
Language | Label | Description | Also known as |
---|---|---|---|
English | Automatic component abstraction for Model-Based Diagnosis on relational models |
scientific article; zbMATH DE number 6312676 |
Statements
Automatic component abstraction for Model-Based Diagnosis on relational models (English)
0 references
3 July 2014
0 references
component abstraction
0 references
task-dependent abstraction
0 references
model-based diagnosis
0 references
relational models
0 references
minimum-cardinality
0 references