SAT-Based Parallel Planning Using a Split Representation of Actions.
Nathan RobinsonCharles GrettonDuc Nghia PhamAbdul SattarPublished in: ICAPS (2009)
Keyphrases
- classical planning
- planning problems
- world model
- ai planning
- decision theoretic
- planning domains
- plan recognition
- domain independent
- heuristic search
- action selection
- initial state
- decision theoretic planning
- goal directed
- integer programming
- agent behavior
- stochastic domains
- macro actions
- plan execution
- plan generation