scientific article; zbMATH DE number 1168533

MaRDI QIDQ4397012zbMATH OpenFDO

Authors Adnan Darwiche

Publication date 25 June 1998

zbMATH Keywords

model-based diagnosisnegation normal form

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Model-based diagnosis of systems emphasizing a holistic approach
• Modeling of Complex Systems for Diagnosis
• Model-based diagnosis and conditional logic
• Hierarchical model-based diagnosis based on structural abstraction
• Model-based diagnosis with probabilistic models
• Structural model and reasoning in hierarchical diagnosis
• A novel SAT-based approach to model based diagnosis

Cited in

(23)

• Approximate model-based diagnosis using greedy stochastic search
• Diagnostic Modelling of Digital Systems with Binary and High-Level Decision Diagrams
• Disjunctive closures for knowledge compilation
• Model-Based Diagnosis by the Artificial Intelligence Community: Alternatives to GDE and Diagnosis of Dynamic Systems
• Critical observations in model-based diagnosis
• Diagnosis of deep discrete-event systems
• A novel SAT-based approach to model based diagnosis
• Bayesian model-based diagnosis
• First order LUB approximations: characterization and algorithms
• Ordered diagnosis
• Characterizing diagnoses and systems
• On the role of modeling causal independence for system model compilation with OBDDs
• Constraint Databases
• scientific article; zbMATH DE number 4187144 (Why is no real title available?)
• Study of the diagnosability of automated production systems based on functional graphs
• Optimizing epistemic model checking using conditional independence (extended abstract)
• Representation of systems for diagnostic purposes
• The Probabilistic Interpretation of Model-Based Diagnosis
• Model-based diagnosis with probabilistic models
• Parallel model-based diagnosis on multi-core computers
• Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming
• A spectrum of definitions for temporal model-based diagnosis
• Diagnosing tree-structured systems

This page was built for publication:

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