Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse.
Gianfranco LampertiMarina ZanellaPublished in: ECAI (2004)
Keyphrases
- knowledge compilation
- diagnosis of discrete event systems
- product configuration
- prime implicates
- logical inference
- polynomial size
- model counting
- quantified boolean formulae
- decomposable negation normal form
- horn formulas
- normal form
- target language
- constraint satisfaction
- database
- desirable properties
- decision support
- databases