Keyphrases
- ai planning
- planning domains
- classical planning
- state space
- plan quality
- heuristic search
- domain independent
- markov chain
- answer set programming
- planning problems
- markov processes
- sat solvers
- orders of magnitude
- dynamical systems
- bounded model checking
- constraint solver
- optimal control
- planning under uncertainty
- temporal planning
- web service composition
- htn planning
- boolean satisfiability
- planning systems
- service composition
- integer programming
- case based planning
- active learning
- model checking
- iterative learning control
- planning process
- mutual exclusion
- plan execution
- logic programming
- answer sets
- search strategies