A New Approach to Conformant Planning Using CNF*.
Son Thanh ToTran Cao SonEnrico PontelliPublished in: ICAPS (2010)
Keyphrases
- conformant planning
- symbolic model checking
- conjunctive normal form
- computationally hard
- boolean functions
- initial state
- forward search
- belief space
- finite domain
- binary decision diagrams
- planning problems
- model checking
- ai planning
- satisfiability problem
- sat solvers
- cnf formula
- classical planning
- knowledge compilation
- partial observability
- heuristic search
- state space search
- state space
- search space
- symbolic representation
- search algorithm
- situation calculus
- temporal logic
- dynamic environments
- np complete