Recommendations
Cites work
Cited in
(only showing first 100 items - show all)- Distributed revision of composite beliefs
- A game-theoretic approach to fault diagnosis and identification of hybrid systems
- scientific article; zbMATH DE number 1399902 (Why is no real title available?)
- Constraints on extensions of a default theory
- A correction to the algorithm in Reiter's theory of diagnosis
- Finding and fixing faults
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
- About the incremental validation of first-order stratified knowledge-based decision-support systems
- Abductive inference in defeasible reasoning: a model for research programmes
- scientific article; zbMATH DE number 67480 (Why is no real title available?)
- A general model for automated business diagnosis
- scientific article; zbMATH DE number 67857 (Why is no real title available?)
- scientific article; zbMATH DE number 140410 (Why is no real title available?)
- SAT-Based Formula Simplification
- scientific article; zbMATH DE number 4185062 (Why is no real title available?)
- Conflict-directed \(A^{*}\) and its role in model-based embedded systems
- Assessing the accuracy of diagnostic probability estimation: evidence for defeasible modus ponens
- A simple signed system for paraconsistent reasoning
- Analysis of notions of diagnosis
- PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS
- Optimal-size problem kernels for \(d\)-Hitting Set in linear time and space
- Multiple models of physical systems --- modeling intermittent faults, inaccuracy, and tests in diagnosis
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Using action-based hierarchies for real-time diagnosis
- Explaining safety violations in real-time systems
- Counting minimal unsatisfiable subsets
- Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks
- Theory of evidence ? A survey of its mathematical foundations, applications and computational aspects
- Diagnosing data pipeline failures using action languages
- Batch repair actions for automated troubleshooting
- scientific article; zbMATH DE number 1390356 (Why is no real title available?)
- The localization and correction of errors in models: a constraint-based approach
- Computing prime implicants
- Dynamical statement networks
- A model of explanation for financial knowledge-based systems
- 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
- Explanation in artificial intelligence: insights from the social sciences
- Model-based diagnostics and probabilistic assumption-based reasoning
- Tri-valued Evaluation of Residuals as a Method of Addressing the Problem of Fault Compensation Effect
- Abduction versus closure in causal theories.
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- Model-Based Diagnosis by the Artificial Intelligence Community: Alternatives to GDE and Diagnosis of Dynamic Systems
- Theorem proving techniques for view deletion in databases
- Support set selection for abductive and default reasoning
- Critical observations in model-based diagnosis
- A branch-and-cut approach to solve the fault diagnosis problem with lazy spread and imperfect system information
- Fast, flexible MUS enumeration
- Quantified maximum satisfiability
- scientific article; zbMATH DE number 1882055 (Why is no real title available?)
- Diagnosis of discrete-event systems from uncertain temporal observations
- Parameterized algorithms for \(d\)-hitting set: the weighted case
- Electronic circuit diagnostic expert systems - a survey
- The hardness of resilience for nested aggregation query
- A top-down approach to search-trees: Improved algorithmics for 3-hitting set
- An SE-tree-based prime implicant generation algorithm
- Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics
- Model-based reasoning: a principled approach for software engineering
- scientific article; zbMATH DE number 1931695 (Why is no real title available?)
- Supercharging plant configurations using Z3
- On the failings of Shapley values for explainability
- On propositional definability
- Linearity and regularity with negation normal form
- A glance at causality theories for artificial intelligence
- scientific article; zbMATH DE number 4164813 (Why is no real title available?)
- Representing diagnosis knowledge
- Sequential model-based diagnosis by systematic search
- More on representation theory for default logic
- Reasoning with uncertain and inconsistent OWL ontologies
- How many diagnoses do we need?
- The complexity of dependency detection and discovery in relational databases
- Reasoning credulously and skeptically within a single extension
- Memory-limited model-based diagnosis
- Diagnosis of deep discrete-event systems
- scientific article; zbMATH DE number 1884392 (Why is no real title available?)
- Fault detection and localization using Modelica and abductive reasoning
- The case for psychologism in default and inheritance reasoning
- Abduction to plausible causes: an event-based model of belief update
- 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
- Knowledge transformation and fusion in diagnostic systems
- Propositional proof systems based on maximum satisfiability
- Self-duality of bounded monotone Boolean functions and related problems
- Analytical and qualitative model-based fault diagnosis --- a survey and some new results
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
- BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
- Model-based reasoning about learner behaviour
- Finding explanations of inconsistency in multi-context systems
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
- Diagnosing multiple faults
- Fault tolerance evaluation based on the lattice of system configurations
- A general scheme for formalizing defaults using the predicate \(ab(I,S)\)
- Minimal sets on propositional formulae. Problems and reductions
- scientific article; zbMATH DE number 4185071 (Why is no real title available?)
- Use of explanation trees to describe the state space of a probabilistic-based abduction problem
- On-line alert systems for production plants: A conflict based approach
- Complex optimization in answer set programming
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)
