From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back.
Babak SalimiLeopoldo E. BertossiPublished in: CoRR (2014)
Keyphrases
- database queries
- model based diagnosis
- repair actions
- dynamic systems
- discrete event systems
- consistency based diagnosis
- database
- diagnostic reasoning
- model based reasoning
- physical systems
- digital circuits
- integrity constraints
- databases
- fault localization
- diagnostic systems
- constraint programming
- failure diagnosis
- diagnostic process
- qualitative models
- decision support system
- horn clauses
- model checking
- complex systems
- response time
- expert systems
- fault models
- lower bound
- hardware designs
- cooperative