Memory-limited model-based diagnosis (Q2124447)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Memory-limited model-based diagnosis |
scientific article |
Statements
Memory-limited model-based diagnosis (English)
0 references
11 April 2022
0 references
hitting set computation
0 references
diagnosis
0 references
search
0 references
sound complete best-first diagnosis computation
0 references
linear best-first search
0 references
linear best-first hitting set search
0 references
model-based diagnosis
0 references
fault localization
0 references
fault isolation
0 references
recursive best first search
0 references
RBFS
0 references
heuristic search
0 references
memory-limited diagnosis search
0 references
Reiter's hitting set tree
0 references
HS-tree
0 references
sequential diagnosis
0 references
combinatorial search
0 references
ontology debugging
0 references
ontology quality assurance
0 references
knowledge base debugging
0 references
interactive debugging
0 references
OntoDebug
0 references
