A novel SAT-based approach to model based diagnosis

DOI10.1613/JAIR.4503zbMATH Open1367.68266OpenAlexW2115436681MaRDI QIDQ2929583FDOQ2929583

Michael Codish, Roni Stern, Amit Metodi, Meir Kalech

Publication date: 13 November 2014

Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.4503

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Cited In (5)

• Batch repair actions for automated troubleshooting
• How many diagnoses do we need?
• Memory-limited model-based diagnosis
• Title not available (Why is that?)
• Strong inconsistency

Recommendations

• Title not available (Why is that?) 👍 👎
• Model-Based Diagnosis with Probabilistic Models 👍 👎
• A formal model of diagnostic inference. II. Algorithmic solution and application 👍 👎
• Model-based diagnosis and conditional logic 👍 👎
• The Probabilistic Interpretation of Model-Based Diagnosis 👍 👎
• Strategies in model-based diagnosis 👍 👎
• Controlling the complexity in model-based diagnosis 👍 👎

This page was built for publication: A novel SAT-based approach to model based diagnosis

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