Diagnosing multiple faults

Cites Work

A Mathematical Theory of Communication
A theory of diagnosis from first principles
Counterfactuals
Application of game tree searching techniques to sequential pattern recognition

Cited In (only showing first 100 items - show all)

A correction to the algorithm in Reiter's theory of diagnosis
Finding and fixing faults
Conflict-directed \(A^{*}\) and its role in model-based embedded systems
A logic-based analysis of Dempster-Shafer theory
COORDINATION DIAGNOSTIC ALGORITHMS FOR TEAMS OF SITUATED AGENTS: SCALING UP
Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
Counting minimal unsatisfiable subsets
Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks
The state of SAT
Model-based diagnostics and probabilistic assumption-based reasoning
Diagnosis of discrete-event systems from uncertain temporal observations
Fast, flexible MUS enumeration
Representing diagnosis knowledge
An incremental algorithm for generating all minimal models
Algorithms and Computation
The case for psychologism in default and inheritance reasoning
Soft computing approaches to fault diagnosis for dynamic systems
Analytical and qualitative model-based fault diagnosis --- a survey and some new results
The roles of associational and causal reasoning in problem solving.
A theory of diagnosis from first principles
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
Counterfactuals
Reasoning with minimal models: efficient algorithms and applications
Consistency-based and abductive diagnoses as generalised stable models
Explanatory diagnoses and their characterization by circumscription
Double fault distinguishability in linear systems
Abduction as belief revision
On the construction of hierarchic models
Design and implementation of diagnostic strategies using modal logic
Model-Based Diagnosis with Probabilistic Models
On the relationship between model-based debugging and program slicing
A new approach to quantitative and credible diagnosis for multiple faults of components and sensors
Relaxed maximum a posteriori fault identification
Characterizing diagnoses and systems
On computing minimal models
Probabilities and reasoning about possibilities
On the design of coordination diagnosis algorithms for teams of situated agents
A variant of Reiter's hitting-set algorithm
An incremental method for generating prime implicants/implicates
An improved model-based method to test circuit faults
The computational complexity of abduction
Probabilistic Horn abduction and Bayesian networks
Remote Agent: to boldly go where no AI system has gone before
Sensor placement for fault isolation in linear differential-algebraic systems
Towards optimal and expressive kernelization for \(d\)-hitting set
Adaptive fuzzy interpolation based on general representative values of polygonal fuzzy sets and the shift and modification techniques
An event-based distributed diagnosis framework using structural model decomposition
Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
The Probabilistic Interpretation of Model-Based Diagnosis
Explaining by evidence
Constraint-based design for 3D shapes
A New Approach to Partial MUS Enumeration
An algebraic theory for statistical information based on the theory of hints
Adaptive fuzzy interpolation based on ranking values of polygonal fuzzy sets and similarity measures between polygonal fuzzy sets
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
A spectrum of definitions for temporal model-based diagnosis
Reformulating table constraints using functional dependencies-an application to explanation generation
A generic ATMS
Semi-quantitative system identification
Further contributions to characterizing diagnosis
Diagnosing tree-structured systems
Hierarchical model-based diagnosis based on structural abstraction
Fuzzy logic and neural network applications to fault diagnosis
Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
Case Studies and Modeling Formalism
Multiple models of physical systems --- modeling intermittent faults, inaccuracy, and tests in diagnosis
Using action-based hierarchies for real-time diagnosis
The localization and correction of errors in models: a constraint-based approach
Batch repair actions for automated troubleshooting
Interactive Debugging of Non-ground ASP Programs
Critical observations in model-based diagnosis
Tri-valued Evaluation of Residuals as a Method of Addressing the Problem of Fault Compensation Effect
A branch-and-cut approach to solve the fault diagnosis problem with lazy spread and imperfect system information
Model-Based Diagnosis by the Artificial Intelligence Community: The DX Approach
Model-Based Diagnosis by the Artificial Intelligence Community: Alternatives to GDE and Diagnosis of Dynamic Systems
Sequential model-based diagnosis by systematic search
How many diagnoses do we need?
Memory-limited model-based diagnosis
Computational systems for qualitative economics
On the usage of qualitative reasoning as an approach towards enterprise modelling
A domain-independent agent architecture for adaptive operation in evolving open worlds
Model-based reasoning about learner behaviour
Fault isolation in industrial processes by the dynamic table of states method
Underconstrained knowledge-intensive constraint satisfaction search
Parity relations for linear uncertain dynamic systems
A new efficient and flexible algorithm for the design of testable subsystems
Bayesian model-based diagnosis
Diagnosis and supervision: model-based approaches
Reasoning with propositional logic: from SAT solvers to knowledge compilation
A graph theory-based approach to the description of the process and the diagnostic system
Sequential plan recognition: an iterative approach to disambiguating between hypotheses
A cost-reducing question-selection algorithm for propositional knowledge-based systems
Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification
Bidirectional approximate reasoning-based approach for decision support
Tableaux for diagnosis applications

This page was built for publication: Diagnosing multiple faults

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1101418)