Knowledge Compilation Using Interval Automata and Applications to Planning.
Alexandre NiveauHélène FargierCédric PraletGérard VerfailliePublished in: ECAI (2010)
Keyphrases
- knowledge compilation
- product configuration
- model based reasoning
- prime implicates
- decision support
- logical inference
- horn formulas
- relational databases
- model counting
- quantified boolean formulae
- polynomial size
- process planning
- planning problems
- normal form
- decision support system
- databases
- constraint satisfaction
- heuristic search
- constraint satisfaction problems
- search space
- artificial intelligence