Memory-limited model-based diagnosis (Q2124447): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2022.103681
+Normal rank
@@ Property / OpenAlex ID @@
+W4210869882
@@ Property / OpenAlex ID: W4210869882 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosing multiple faults
@@ Property / cites work: Diagnosing multiple faults / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Based Active Testing Approach to Sequential Diagnosis
+Normal rank
@@ Property / cites work @@
+Parallel Model-Based Diagnosis on Multi-Core Computers
+Normal rank
@@ Property / cites work @@
+A variant of Reiter's hitting-set algorithm
@@ Property / cites work: A variant of Reiter's hitting-set algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+The computation of hitting sets: Review and new algorithms
+Normal rank
@@ Property / cites work @@
+A correction to the algorithm in Reiter's theory of diagnosis
+Normal rank
@@ Property / cites work @@
+Q5283045
@@ Property / cites work: Q5283045 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of abduction
@@ Property / cites work: The computational complexity of abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-directed \(A^{*}\) and its role in model-based embedded systems
+Normal rank
@@ Property / cites work @@
+Consistency-based diagnosis of configuration knowledge bases
+Normal rank
@@ Property / cites work @@
+Characterizing diagnoses and systems
@@ Property / cites work: Characterizing diagnoses and systems / rank @@
+Normal rank
@@ Property / cites work @@
+Factoring Out Assumptions to Speed Up MUS Extraction
+Normal rank
@@ Property / cites work @@
+Enumerating Infeasibility: Finding Multiple MUSes Quickly
+Normal rank
@@ Property / cites work @@
+Linear-space best-first search
@@ Property / cites work: Linear-space best-first search / rank @@
+Normal rank
@@ Property / cites work @@
+Q3455597
@@ Property / cites work: Q3455597 / rank @@
+Normal rank
@@ Property / cites work @@
+A method of combining SE-tree to compute all minimal hitting sets
+Normal rank
@@ Property / cites work @@
+Decomposable negation normal form
@@ Property / cites work: Decomposable negation normal form / rank @@
+Normal rank
@@ Property / cites work @@
+A Novel SAT-Based Approach to Model Based Diagnosis
+Normal rank
@@ Property / cites work @@
+Sequential Diagnosis by Abstraction
@@ Property / cites work: Sequential Diagnosis by Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom Pinpointing in General Tableaux
@@ Property / cites work: Axiom Pinpointing in General Tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Debugging incoherent terminologies
@@ Property / cites work: Debugging incoherent terminologies / rank @@
+Normal rank
@@ Property / cites work @@
+OntoDebug: interactive ontology debugging plug-in for Protégé
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
+Normal rank
@@ Property / cites work @@
+Base Revision for Ontology Debugging
@@ Property / cites work: Base Revision for Ontology Debugging / rank @@
+Normal rank
@@ Property / cites work @@
+Application of heuristic search and information theory to sequential fault diagnosis
+Normal rank
@@ Property / cites work @@
+Performance of linear-space search algorithms
@@ Property / cites work: Performance of linear-space search algorithms / rank @@
+Normal rank