Keyphrases
- answer set programming
- causal reasoning
- logic programming
- constraint logic programming
- medical diagnosis
- sat solvers
- model based diagnosis
- automatic diagnosis
- model based reasoning
- planning problems
- medical diagnostic
- abductive reasoning
- ai planning
- logic programs
- background knowledge
- plan recognition
- bounded model checking
- multiple faults
- clinically relevant
- boolean satisfiability
- explanation based learning
- fault detection
- answer sets
- fault diagnosis
- constraint networks
- orders of magnitude
- search algorithm