scientific article; zbMATH DE number 1168533

zbMATH Open0891.68098MaRDI QIDQ4397012FDOQ4397012

Authors: Adnan Darwiche 

Publication date: 25 June 1998

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

model-based diagnosisnegation normal form

Mathematics Subject Classification ID

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

Cited In (23)

• Approximate model-based diagnosis using greedy stochastic search
• Diagnostic Modelling of Digital Systems with Binary and High-Level Decision Diagrams
• Critical observations in model-based diagnosis
• Model-Based Diagnosis by the Artificial Intelligence Community: Alternatives to GDE and Diagnosis of Dynamic Systems
• Disjunctive closures for knowledge compilation
• 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
• Title not available (Why is that?)
• Optimizing epistemic model checking using conditional independence (extended abstract)
• Study of the diagnosability of automated production systems based on functional graphs
• 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)