Metaphysics of Planning Domain Descriptions.
Siddharth SrivastavaStuart J. RussellAlessandro PintoPublished in: AAAI Fall Symposia (2015)
Keyphrases
- planning domains
- ai planning
- description language
- planning problems
- htn planning
- definition language
- orders of magnitude
- deterministic finite automaton
- domain independent
- symbolic model checking
- partial order planning
- model checking
- planning systems
- optimal planning
- international planning competition
- search strategies
- partial order planner
- macro actions
- hierarchical task networks
- partial observability
- control knowledge
- model checker
- domain specific
- mutual exclusion
- genetic algorithm
- integer programming
- hierarchical task network
- object oriented
- domain knowledge