Keyphrases
- model based diagnosis
- conditional logic
- default reasoning
- belief revision
- nonmonotonic reasoning
- modal logic
- diagnostic reasoning
- discrete event systems
- knowledge representation and reasoning
- consistency based diagnosis
- model based reasoning
- dynamic systems
- nonmonotonic inference
- physical systems
- digital circuits
- fault localization
- diagnostic process
- constraint programming
- sound and complete axiomatization
- knowledge representation
- temporal logic
- hardware designs
- multi agent
- repair actions
- machine learning