Recommendations
Cites work
Cited in
(only showing first 100 items - show all)- Parity relations for linear uncertain dynamic systems
- Multiagent simulation subsystem of diagnostic complexes based on device models
- A tableau calculus for minimal modal model generation
- A new efficient and flexible algorithm for the design of testable subsystems
- The weighted list update problem and the lazy adversary
- A framework for handling logical inconsistencies in the fusion of Boolean knowledge bases
- A theory of measurement in diagnosis from first principles
- Minimal diagnosis and diagnosability of discrete-event systems modeled by automata
- Automated debugging based on a constraint model of the program and a test case
- Sequential testing of complex systems: a review
- Is default logic a reinvention of inductive-statistical reasoning?
- Towards formal XAI: formally approximate minimal explanations of neural networks
- Bayesian model-based diagnosis
- Causality analysis and fault ascription in component-based systems
- A new methodology for query answering in default logics via structure-oriented theorem proving
- Maximal sensitivity of Boolean nested canalizing functions
- Consistency-based and abductive diagnoses as generalised stable models
- Explanatory diagnoses and their characterization by circumscription
- Diagnosis and supervision: model-based approaches
- On Tackling Explanation Redundancy in Decision Trees
- Explanation of exceptional values in multi-dimensional business databases
- A graph theory-based approach to the description of the process and the diagnostic system
- Abduction as belief revision
- Achieving new upper bounds for the hypergraph duality problem through logic
- Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles
- A hybrid method for probabilistic satisfiability
- Efficient query processing with reduced implicate tries
- Some computational aspects of DISTANCE SAT
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
- scientific article; zbMATH DE number 1790855 (Why is no real title available?)
- Preference reasoning with soft constraints in constraint-based recommender systems
- Case studies and modeling formalism
- Logic-based diagnosis for distributed systems
- Measuring inconsistency with constraints for propositional knowledge bases
- Fault detection and isolation in manufacturing systems with an identified discrete event model
- Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints
- The computation of hitting sets: Review and new algorithms
- The degree of conflict between formulas in an inconsistent knowledge base
- Process algebras for systems diagnosis.
- Design and implementation of diagnostic strategies using modal logic
- Conceptual fuzzy sets and their connectives
- Tableau reasoning for description logics and its extension to probabilities
- Knowledge assimilation in domains of actions: a possible causes approach
- Model-based diagnosis by the artificial intelligence community: the DX approach
- BRIDGE: matching model-based diagnosis from FDI and DX perspectives
- On the relationship between model-based debugging and program slicing
- Investigating the solution space for online iterative explanation in goal reasoning agents
- Consistency-based diagnosis of configuration knowledge bases
- A new approach to quantitative and credible diagnosis for multiple faults of components and sensors
- scientific article; zbMATH DE number 4185074 (Why is no real title available?)
- A new approach to partial MUS enumeration
- AGM 25 years. Twenty-five years of research in belief change
- scientific article; zbMATH DE number 1630009 (Why is no real title available?)
- On prime scenarios in qualitative spatial and temporal reasoning
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Omission-based abstraction for answer set programs
- Relaxed maximum a posteriori fault identification
- Data repair of inconsistent nonmonotonic description logic programs
- Ordered diagnosis
- Diagnosability of fair transition systems
- Robot task planning and explanation in open and uncertain worlds
- AI*IA 2005: Advances in Artificial Intelligence
- Responsibility for inconsistency
- Tableaux for diagnosis applications
- Extending Removed Sets Revision to partially preordered belief bases
- 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
- Defaults and relevance in model-based reasoning
- On computing minimal models
- On the design of coordination diagnosis algorithms for teams of situated agents
- Possibilistic reasoning with partially ordered beliefs
- Revision in networks of ontologies
- A diagnostic system based upon knowledge and experience
- A variant of Reiter's hitting-set algorithm
- Model-based diagnosis and conditional logic
- Model-based fault detection in information poor plants
- Conditional entailment: bridging two approaches to default reasoning.
- Automata-based axiom pinpointing
- Machine fault classification: a neural network approach
- Debugging incoherent terminologies
- Serial and parallel kernelization of multiple hitting set parameterized by the Dilworth number, implemented on the GPU
- Locating errors in faulty formulas
- Model-based diagnosis with ASP for non-groundable domains
- Hashing-based approximate counting of minimal unsatisfiable subsets
- On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
- Iterative and core-guided maxsat solving: a survey and assessment
- On the measure of conflicts: an argumentation-based framework
- Processing expertise systematically
- Efficiently enumerating hitting sets of hypergraphs arising in data profiling
- The computational complexity of abduction
- Logic-based argumentation with existential rules
- Efficiently explaining CSPs with unsatisfiable subset optimization
- From causes for database queries to repairs and model-based diagnosis and back
- Lexicographic priorities in default logic
- An improved model-based method to test circuit faults
- Computational aspects of monotone dualization: a brief survey
- Study of the diagnosability of automated production systems based on functional graphs
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)
