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)
- Analysis of notions of diagnosis
- Theory of evidence ? A survey of its mathematical foundations, applications and computational aspects
- Explaining safety violations in real-time systems
- Counting minimal unsatisfiable subsets
- Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks
- Explanation in artificial intelligence: insights from the social sciences
- Model-based diagnostics and probabilistic assumption-based reasoning
- Abduction versus closure in causal theories.
- Diagnosis of discrete-event systems from uncertain temporal observations
- Electronic circuit diagnostic expert systems - a survey
- An SE-tree-based prime implicant generation algorithm
- Representing diagnosis knowledge
- Linearity and regularity with negation normal form
- The case for psychologism in default and inheritance reasoning
- Abduction to plausible causes: an event-based model of belief update
- BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
- Fault tolerance evaluation based on the lattice of system configurations
- On-line alert systems for production plants: A conflict based approach
- The weighted list update problem and the lazy adversary
- Causality analysis and fault ascription in component-based systems
- Title not available (Why is that?)
- Fault detection and isolation in manufacturing systems with an identified discrete event model
- Efficient query processing with reduced implicate tries
- Some computational aspects of DISTANCE SAT
- Design and implementation of diagnostic strategies using modal logic
- Process algebras for systems diagnosis.
- A new approach to quantitative and credible diagnosis for multiple faults of components and sensors
- Relaxed maximum a posteriori fault identification
- Diagnosability of fair transition systems
- Responsibility for inconsistency
- Model-based diagnosis and conditional logic
- On the design of coordination diagnosis algorithms for teams of situated agents
- Possibilistic reasoning with partially ordered beliefs
- Revision in networks of ontologies
- Debugging incoherent terminologies
- An improved model-based method to test circuit faults
- Lexicographic priorities in default logic
- Grammatically biased learning: Learning logic programs using an explicit antecedent description language
- Intelligent Alarm Correlation and Abductive Reasoning
- Coordination diagnostic algorithms for teams of situated agents: scaling up
- Efficient reasoning for inconsistent Horn formulae
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
- Why Friedman's non-monotonic reasoning defies Hempel's covering law model
- Default reasoning using classical logic
- Circumscriptive semantics for updating knowledge bases
- Symbolic possibilistic logic: completeness and inference methods
- SAT-Based Horn Least Upper Bounds
- Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
- Reformulating table constraints using functional dependencies-an application to explanation generation
- Semi-quantitative system identification
- Further contributions to characterizing diagnosis
- Diagnosing tree-structured systems
- Evaluating the effect of semi-normality on the expressiveness of defaults
- Compiling propositional weighted bases
- On the impact of stratification on the complexity of nonmonotonic reasoning
- Fuzzy logic and neural network applications to fault diagnosis
- 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?)
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)
