Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula.
Son Thanh ToTran Cao SonEnrico PontelliPublished in: AAAI (2011)
Keyphrases
- prime implicates
- prime implicants
- cnf formula
- knowledge compilation
- normal form
- belief change
- desirable properties
- modal logic
- abductive reasoning
- np complete
- propositional formulas
- conjunctive normal form
- disjunctive normal form
- boolean functions
- max sat
- propositional logic
- temporal logic
- sat problem
- target language
- databases
- planning problems
- constraint satisfaction
- orders of magnitude
- relational databases
- expert systems