Knowledge compilation using constraint inheritance.
Rosemary ChabotDavid C. BrownPublished in: Artif. Intell. Eng. Des. Anal. Manuf. (1994)
Keyphrases
- knowledge compilation
- product configuration
- prime implicates
- global constraints
- model counting
- quantified boolean formulae
- logical inference
- object oriented
- normal form
- horn formulas
- knowledge representation
- polynomial size
- information retrieval
- belief change
- decomposable negation normal form
- database
- modal logic
- constraint satisfaction
- knowledge based systems
- decision support system
- artificial intelligence
- data mining