Sequential model-based diagnosis by systematic search
From MaRDI portal
Publication:6080651
DOI10.1016/j.artint.2023.103988OpenAlexW4385463023MaRDI QIDQ6080651
Publication date: 4 October 2023
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2023.103988
heuristicsmodel-based diagnosisactive learningontologiescombinatorial searchfault localizationsequential diagnosisinteractive debuggingmeasurement selectiondiagnostic decision-makingknowledge-base debuggingquery computationquery-based debugging
Cites Work
- Fundamentals of parameterized complexity
- Consistency-based diagnosis of configuration knowledge bases
- A kernelization algorithm for \(d\)-hitting set
- Diagnosing multiple faults
- A theory of diagnosis from first principles
- A correction to the algorithm in Reiter's theory of diagnosis
- Characterizing diagnoses and systems
- Constructing optimal binary decision trees is NP-complete
- Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
- OntoDebug: interactive ontology debugging plug-in for Protégé
- Memory-limited model-based diagnosis
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
- Debugging incoherent terminologies
- Parallel Model-Based Diagnosis on Multi-Core Computers
- Sequential Diagnosis by Abstraction
- A Model-Based Active Testing Approach to Sequential Diagnosis
- Application of heuristic search and information theory to sequential fault diagnosis
- Sequential Diagnosis with Asymmetrical Tests
- Reducibility among Combinatorial Problems
- The Description Logic Handbook
- The complexity of theorem-proving procedures
- The Problem of Simplifying Truth Functions
- On the relationship between model-based debugging and program slicing
- On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item