Memory-limited model-based diagnosis
DOI10.1016/j.artint.2022.103681OpenAlexW4210869882MaRDI QIDQ2124447
Publication date: 11 April 2022
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2022.103681
diagnosissearchheuristic searchmodel-based diagnosiscombinatorial searchfault localizationfault isolationsequential diagnosishitting set computationHS-treeinteractive debuggingknowledge base debugginglinear best-first hitting set searchlinear best-first searchmemory-limited diagnosis searchOntoDebugontology debuggingontology quality assuranceRBFSrecursive best first searchReiter's hitting set treesound complete best-first diagnosis computation
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Linear-space best-first search
- Consistency-based diagnosis of configuration knowledge bases
- The computation of hitting sets: Review and new algorithms
- Diagnosing multiple faults
- A theory of diagnosis from first principles
- A correction to the algorithm in Reiter's theory of diagnosis
- The computational complexity of abduction
- Characterizing diagnoses and systems
- A variant of Reiter's hitting-set algorithm
- OntoDebug: interactive ontology debugging plug-in for Protégé
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- A method of combining SE-tree to compute all minimal hitting sets
- Debugging incoherent terminologies
- Conflict-directed \(A^{*}\) and its role in model-based embedded systems
- Parallel Model-Based Diagnosis on Multi-Core Computers
- A Novel SAT-Based Approach to Model Based Diagnosis
- Sequential Diagnosis by Abstraction
- A Model-Based Active Testing Approach to Sequential Diagnosis
- Base Revision for Ontology Debugging
- Axiom Pinpointing in General Tableaux
- Application of heuristic search and information theory to sequential fault diagnosis
- Enumerating Infeasibility: Finding Multiple MUSes Quickly
- The Description Logic Handbook
- Factoring Out Assumptions to Speed Up MUS Extraction
- Decomposable negation normal form
- Performance of linear-space search algorithms
This page was built for publication: Memory-limited model-based diagnosis