Keyphrases
- model based diagnosis
- medical diagnosis
- predicate logic
- logic programming
- model based reasoning
- causal reasoning
- classical logic
- multiple faults
- delay insensitive
- medical diagnostic
- proof theory
- digital circuits
- logical framework
- multi valued
- fault diagnosis
- logic programs
- multi agent systems
- breast cancer diagnosis
- fault detection
- truth values
- clinically relevant
- case study
- learning algorithm