Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains.
Dmitry ShaparauMarco PistorePaolo TraversoPublished in: AAAI (2008)
Keyphrases
- nondeterministic domains
- deterministic domains
- planning problems
- htn planning
- planning domains
- symbolic model checking
- partial observability
- plan execution
- domain independent
- declarative knowledge
- model checking
- planning in nondeterministic domains
- planning systems
- ai planning
- hierarchical task network
- stochastic domains
- orders of magnitude
- heuristic search
- reinforcement learning
- fully observable
- dynamic environments
- domain specific
- description language
- conformant planning
- partially observable
- partial information
- plan recognition
- decision theoretic
- belief space
- binary decision diagrams