SMT-Based Nonlinear PDDL+ Planning.
Daniel BryceSicun GaoDavid J. MuslinerRobert P. GoldmanPublished in: AAAI (2015)
Keyphrases
- ai planning
- planning domains
- planning systems
- derived predicates
- planning problems
- temporal planning
- planning tasks
- heuristic search
- integer programming
- plan generation
- domain independent
- classical planning
- motion planning
- decision support
- natural language
- information retrieval
- search strategies
- statistical machine translation
- domain specific
- control system
- domain independent planning
- durative actions
- search algorithm