Keyphrases
- fault diagnosis
- satisfiability problem
- fault detection
- np complete
- automatic diagnosis
- model based diagnosis
- incremental clustering
- computational complexity
- clinically relevant
- decision procedures
- sat problem
- medical diagnosis
- propositional logic
- incremental learning
- model based reasoning
- attention deficit hyperactivity disorder
- diagnostic reasoning
- data driven
- medical diagnostic
- diagnostic tests
- terminological reasoning
- symmetry breaking
- orders of magnitude
- expert systems