Diagnosis and Debugging as Contradiction Removal.
Luís Moniz PereiraCarlos Viegas DamásioJosé Júlio AlferesPublished in: LPNMR (1993)
Keyphrases
- model based diagnosis
- fault localization
- diagnostic reasoning
- model based reasoning
- fault diagnosis
- model checking
- automatic diagnosis
- medical diagnosis
- multiple faults
- database
- breast cancer diagnosis
- fault detection
- decision support
- decision support system
- expert systems
- image processing
- information systems
- artificial intelligence
- real world
- software testing
- computer vision
- diagnostic tests
- machine learning