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