Keyphrases
- ai planning
- planning problems
- planning domains
- classical planning
- heuristic search
- sat encodings
- domain independent
- answer set programming
- plan quality
- decision theoretic
- probabilistic planning
- stochastic domains
- motion planning
- version space
- orders of magnitude
- blocks world
- weighted sum
- boolean satisfiability
- state space
- optimal plans
- learning algorithm