A theory of diagnosis from first principles
From MaRDI portal
DOI10.1016/0004-3702(87)90062-2zbMATH Open0643.68122OpenAlexW2108309071WikidataQ59884925 ScholiaQ59884925MaRDI QIDQ1102126FDOQ1102126
Authors: Raymond Reiter 
Publication date: 1987
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(87)90062-2
Recommendations
Cites Work
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- About the incremental validation of first-order stratified knowledge-based decision-support systems
- A simple signed system for paraconsistent reasoning
- SAT-Based Formula Simplification
- Assessing the accuracy of diagnostic probability estimation: evidence for defeasible modus ponens
- Multiple models of physical systems --- modeling intermittent faults, inaccuracy, and tests in diagnosis
- Using action-based hierarchies for real-time diagnosis
- Theorem proving techniques for view deletion in databases
- Sequential model-based diagnosis by systematic search
- Title not available (Why is that?)
- More on representation theory for default logic
- The complexity of dependency detection and discovery in relational databases
- Diagnosis of deep discrete-event systems
- Model-based reasoning about learner behaviour
- A general scheme for formalizing defaults using the predicate \(ab(I,S)\)
- A framework for handling logical inconsistencies in the fusion of Boolean knowledge bases
- Is default logic a reinvention of inductive-statistical reasoning?
- A new methodology for query answering in default logics via structure-oriented theorem proving
- Consistency-based and abductive diagnoses as generalised stable models
- Explanatory diagnoses and their characterization by circumscription
- Logic-based diagnosis for distributed systems
- Measuring inconsistency with constraints for propositional knowledge bases
- Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints
- Tableau reasoning for description logics and its extension to probabilities
- Conceptual fuzzy sets and their connectives
- A framework for controlling model-based diagnosis systems with multiple actions
- Controlling the complexity in model-based diagnosis
- Focusing on independent diagnosis problems
- Preferring diagnoses using a partial order on assumptions
- Theory diagnoses: A concise characterization of faulty systems
- Model-based fault detection in information poor plants
- Logic-based argumentation with existential rules
- From causes for database queries to repairs and model-based diagnosis and back
- Structural Analysis
- Quantifying conflicts in propositional logic through prime implicates
- SAT-based rigorous explanations for decision lists
- The minimal hitting set generation problem: algorithms and computation
- The Probabilistic Interpretation of Model-Based Diagnosis
- On rules of abduction.
- Fault ascription in concurrent systems
- Title not available (Why is that?)
- Using propositional logic to compute probabilities in multistate systems
- Choosing reference classes and building provisional models
- Abductive reasoning through filtering
- MCS Extraction with Sublinear Oracle Queries
- On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
- A heuristic extension to Reiter's diagnostic theory
- On a rule-based interpretation of default conditionals
- Constraints on extensions of a default theory
- A correction to the algorithm in Reiter's theory of diagnosis
- A game-theoretic approach to fault diagnosis and identification of hybrid systems
- Finding and fixing faults
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Conflict-directed \(A^{*}\) and its role in model-based embedded systems
- Optimal-size problem kernels for \(d\)-Hitting Set in linear time and space
- Title not available (Why is that?)
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Parameterized enumeration, transversals, and imperfect phylogeny reconstruction
- On the measure of conflicts: Shapley inconsistency values
- A syntax-based approach to measuring the degree of inconsistency for belief bases
- Support set selection for abductive and default reasoning
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- Fast, flexible MUS enumeration
- Quantified maximum satisfiability
- Parameterized algorithms for \(d\)-hitting set: the weighted case
- A top-down approach to search-trees: Improved algorithmics for 3-hitting set
- On propositional definability
- A consistency-based approach for belief change
- Reasoning about action. I: A possible worlds approach
- Efficient dualization of \(O(\log n\))-term monotone disjunctive normal forms
- Analytical and qualitative model-based fault diagnosis --- a survey and some new results
- Self-duality of bounded monotone Boolean functions and related problems
- Title not available (Why is that?)
- Finding explanations of inconsistency in multi-context systems
- Complex optimization in answer set programming
- Diagnosing multiple faults
- Minimal sets on propositional formulae. Problems and reductions
- Multiagent simulation subsystem of diagnostic complexes based on device models
- Minimal diagnosis and diagnosability of discrete-event systems modeled by automata
- Sequential testing of complex systems: a review
- A theory of measurement in diagnosis from first principles
- Automated debugging based on a constraint model of the program and a test case
- On Tackling Explanation Redundancy in Decision Trees
- Maximal sensitivity of Boolean nested canalizing functions
- A hybrid method for probabilistic satisfiability
- Abduction as belief revision
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
- Preference reasoning with soft constraints in constraint-based recommender systems
- On the relationship between model-based debugging and program slicing
- The computation of hitting sets: Review and new algorithms
- Title not available (Why is that?)
- A new approach to partial MUS enumeration
- Consistency-based diagnosis of configuration knowledge bases
- AGM 25 years. Twenty-five years of research in belief change
- Data repair of inconsistent nonmonotonic description logic programs
- Defaults and relevance in model-based reasoning
- On computing minimal models
This page was built for publication: A theory of diagnosis from first principles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102126)
