A correction to the algorithm in Reiter's theory of diagnosis
From MaRDI portal
Publication:1124378
DOI10.1016/0004-3702(89)90079-9zbMath0678.68101OpenAlexW2025271293MaRDI QIDQ1124378
Russell Greiner, Ralph W. Wilkerson, Barbara A. Smith
Publication date: 1989
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(89)90079-9
Artificial intelligence (68T99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (19)
Memory-limited model-based diagnosis ⋮ A graph theory-based approach to the description of the process and the diagnostic system ⋮ An SE-tree-based prime implicant generation algorithm ⋮ Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes ⋮ The Minimal Hitting Set Generation Problem: Algorithms and Computation ⋮ Sequential model-based diagnosis by systematic search ⋮ Assertional Removed Sets Merging of DL-Lite Knowledge Bases ⋮ Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic ⋮ Debugging incoherent terminologies ⋮ Computational aspects of monotone dualization: a brief survey ⋮ Enhancing unsatisfiable cores for LTL with information on temporal relevance ⋮ Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases ⋮ Diagnosing tree-structured systems ⋮ On the relationship between model-based debugging and program slicing ⋮ The computation of hitting sets: Review and new algorithms ⋮ Local Diagnosis ⋮ A variant of Reiter's hitting-set algorithm ⋮ A theory of measurement in diagnosis from first principles ⋮ Consistency-based diagnosis of configuration knowledge bases
Cites Work
This page was built for publication: A correction to the algorithm in Reiter's theory of diagnosis