A theory of diagnosis from first principles

Cites Work

Diagnosing multiple faults
A logic for default reasoning
On Database Logic
Counterfactuals
A formal model of diagnostic inference. I. Problem formulation and decomposition

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

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
A Hybrid Method for Probabilistic Satisfiability
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
Model-based diagnostics and probabilistic assumption-based reasoning
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
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
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
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
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
Consistency-based diagnosis of configuration knowledge bases
AGM 25 years. Twenty-five years of research in belief change
Compiling finite domain constraints to SAT withBEE
Data repair of inconsistent nonmonotonic description logic programs
A complexity theory for hard enumeration problems
Defaults and relevance in model-based reasoning
On computing minimal models
Extending Removed Sets Revision to partially preordered belief bases
A variant of Reiter's hitting-set algorithm
Conditional entailment: bridging two approaches to default reasoning.
Iterative and core-guided maxsat solving: a survey and assessment
Automata-based axiom pinpointing
The computational complexity of abduction
Computational aspects of monotone dualization: a brief survey
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
Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
Fixed-parameter complexity in AI and nonmonotonic reasoning
An event-based distributed diagnosis framework using structural model decomposition
Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
Query answering DL-lite knowledge bases from hidden datasets
Explaining by evidence
Preprocessing of intractable problems
A New Approach to Partial MUS Enumeration
Measuring and repairing inconsistency in probabilistic knowledge bases
Predicting causality ascriptions from background knowledge: model and experimental validation
Local Diagnosis
Fault isolability with different forms of the faults-symptoms relation
Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
Yet some more complexity results for default logic
A spectrum of definitions for temporal model-based diagnosis
The complexity of propositional closed world reasoning and circumscription
Semi-quantitative system identification
SIMPLIFYING EXPLANATIONS IN BAYESIAN BELIEF NETWORKS
Discussion on ``Decentralized fault free model approach for fault detection and isolation of discrete event systems
Distributed revision of composite beliefs
COORDINATION DIAGNOSTIC ALGORITHMS FOR TEAMS OF SITUATED AGENTS: SCALING UP
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
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
A general scheme for formalizing defaults using the predicate \(ab(I,S)\)
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
A new methodology for query answering in default logics via structure-oriented theorem proving
Consistency-based and abductive diagnoses as generalised stable 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)