Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis.
María Teresa Gómez LópezRafael CeballosRafael M. GascaCarmelo Del VallePublished in: CDB (2004)
Keyphrases
- model based diagnosis
- constraint databases
- diagnostic reasoning
- transitive closure
- dynamic systems
- model based reasoning
- discrete event systems
- query language
- linear constraints
- temporal data
- relational databases
- query evaluation
- constraint programming
- geographic information systems
- fixed point
- fault models
- repair actions
- databases
- spatial databases
- np hard
- data analysis