On the relation between simulation-based and SAT-based diagnosis.

Görschwin Fey Sean Safarpour Andreas G. Veneris Rolf Drechsler

Published in: DATE (2006)

Keyphrases

answer set programming
medical diagnosis
fault detection
medical diagnostic
model based diagnosis
multiple faults
learning algorithm
bounded model checking
model based reasoning
version space
ai planning
fault diagnosis
answer sets
sat solvers
clinically relevant
dynamic programming
lower bound
search algorithm