Metaphysics of Planning Domain Descriptions.
Siddharth SrivastavaStuart J. RussellAlessandro PintoPublished in: AAAI (2016)
Keyphrases
- planning domains
- ai planning
- description language
- definition language
- htn planning
- planning problems
- deterministic finite automaton
- orders of magnitude
- domain independent
- model checking
- optimal planning
- symbolic model checking
- control knowledge
- model checker
- mutual exclusion
- macro actions
- macro operators
- partial order planning
- planning systems
- hierarchical task networks
- search strategies
- hierarchical task network
- dynamic environments
- language model
- international planning competition
- derived predicates
- web services
- machine learning