Characterizing diagnoses and systems
From MaRDI portal
Recommendations
- Further contributions to characterizing diagnosis
- Qualitative diagnosis of condition systems
- Representation of systems for diagnostic purposes
- Analysis of Diagnosability
- Analysis of notions of diagnosis
- scientific article; zbMATH DE number 1168533
- Modeling of Complex Systems for Diagnosis
- System-level diagnosis: analysis of two new models
- scientific article; zbMATH DE number 139791
Cites work
- A New Algorithm for Generating Prime Implicants
- An incremental method for generating prime implicants/implicates
- Diagnosing multiple faults
- scientific article; zbMATH DE number 3902554 (Why is no real title available?)
- scientific article; zbMATH DE number 3503129 (Why is no real title available?)
- scientific article; zbMATH DE number 3328721 (Why is no real title available?)
- scientific article; zbMATH DE number 4185071 (Why is no real title available?)
- scientific article; zbMATH DE number 4185075 (Why is no real title available?)
- On the Relationship Between Abduction and Deduction
- RST Flip-Flop Input Equations
Cited in
(85)- A theory of diagnosis from first principles
- Reasoning with minimal models: efficient algorithms and applications
- A logical notion of conditional independence: properties and applications
- Representation of systems for diagnostic purposes
- A spectrum of definitions for temporal model-based diagnosis
- Analysis of notions of diagnosis
- Model-based diagnostics and probabilistic assumption-based reasoning
- Remote Agent: to boldly go where no AI system has gone before
- On rules of abduction.
- A heuristic extension to Reiter's diagnostic theory
- On computing minimal models
- Automatic construction of accurate models of physical systems
- Strategies in model-based diagnosis
- Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks
- A new approach to quantitative and credible diagnosis for multiple faults of components and sensors
- Kernel model-based diagnosis
- Process algebras for systems diagnosis.
- Reasoning about time in the situation calculus
- Consistency-based and abductive diagnoses as generalised stable models
- Explanatory diagnoses and their characterization by circumscription
- Further contributions to characterizing diagnosis
- Preferring diagnoses using a partial order on assumptions
- Formalizing the repair process --- extended report
- Multiple models of physical systems --- modeling intermittent faults, inaccuracy, and tests in diagnosis
- A framework for controlling model-based diagnosis systems with multiple actions
- Theory diagnoses: A concise characterization of faulty systems
- Controlling the complexity in model-based diagnosis
- Focusing on independent diagnosis problems
- Heuristic and probabilistic methods for taking efficient readings in diagnostic systems
- Graph-based construction of minimal models
- Memory-limited model-based diagnosis
- A diagnostic system based upon knowledge and experience
- How many diagnoses do we need?
- An incremental algorithm for generating all minimal models
- Knowledge transformation and fusion in diagnostic systems
- First order LUB approximations: characterization and algorithms
- Explanation of exceptional values in multi-dimensional business databases
- Study of the diagnosability of automated production systems based on functional graphs
- An improved model-based method to test circuit faults
- The localization and correction of errors in models: a constraint-based approach
- Conflict-directed \(A^{*}\) and its role in model-based embedded systems
- Enumerating prime implicants of propositional formulae in conjunctive normal form
- Generating all maximal models of a Boolean expression
- Diagnostic reasoning for robotics using action languages
- A New Approach to Multiple Fault Diagnosis: A Combination of Diagnostic Matrices, Graphs, Algebraic and Rule-Based Models. The Case of Two-Layer Models
- The Probabilistic Interpretation of Model-Based Diagnosis
- scientific article; zbMATH DE number 140410 (Why is no real title available?)
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
- scientific article; zbMATH DE number 1226380 (Why is no real title available?)
- Is there a prototypical rule of abduction? (Yes, e.g. in proximity based explanations)
- On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
- A temporal negative normal form which preserves implicants and implicates
- scientific article; zbMATH DE number 1763931 (Why is no real title available?)
- scientific article; zbMATH DE number 1763932 (Why is no real title available?)
- scientific article; zbMATH DE number 2086972 (Why is no real title available?)
- Design methodology for diagnostic strategies for industrial systems
- scientific article; zbMATH DE number 1882067 (Why is no real title available?)
- An assumption-based truth maintenance system dealing with non-ground justifications
- On the tractability of minimal model computation for some CNF theories
- Fault isolability with different forms of the faults-symptoms relation
- Diagnosis of deep discrete-event systems
- Model-based diagnosis by the artificial intelligence community: the DX approach
- BRIDGE: matching model-based diagnosis from FDI and DX perspectives
- Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation
- Restricted ideals and the groupability property. Tools for temporal reasoning.
- Constraint Databases
- scientific article; zbMATH DE number 4185071 (Why is no real title available?)
- Bayesian model-based diagnosis
- Sequential model-based diagnosis by systematic search
- On the (complete) reasons behind decisions
- Critical observations in model-based diagnosis
- A branch-and-cut approach to solve the fault diagnosis problem with lazy spread and imperfect system information
- Diagnosis and supervision: model-based approaches
- Reasoning with propositional logic: from SAT solvers to knowledge compilation
- On prime scenarios in qualitative spatial and temporal reasoning
- Thresholding in set-membership approaches to fault isolation using the Minkowski functional
- Investigating the problem of misdiagnosis in model-based fault diagnosis
- Choosing abstraction levels for model-based software debugging: a theoretical and empirical analysis for spreadsheet programs
- Trichotomies in the complexity of minimal inference
- An approximation algorithm for the k-prize-collecting hitting set problem
- Compact solution representation in qualitative constraint-based reasoning
- Hierarchical model-based diagnosis based on structural abstraction
- Parameterized complexity of d-hitting set with quotas
- Parameterized algorithms for d-hitting set: the weighted case
- Abduction versus closure in causal theories.
This page was built for publication: Characterizing diagnoses and systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1199913)
