Addressing Argumentation Puzzles with Model-based Diagnosis.
Giovanni SilenoAlexander BoerTom M. van EngersPublished in: DoCoPe@JURIX (2013)
Keyphrases
- model based diagnosis
- model based reasoning
- dynamic systems
- consistency based diagnosis
- diagnostic reasoning
- discrete event systems
- fault localization
- physical systems
- digital circuits
- constraint programming
- constraint satisfaction
- diagnostic systems
- repair actions
- failure diagnosis
- fault models
- argumentation frameworks
- complex systems