Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains.
Sara BernardiniFabio FagnaniDavid E. SmithPublished in: CoRR (2017)
Keyphrases
- mutual exclusion
- planning domains
- temporal planning
- long distance
- planning problems
- international planning competition
- orders of magnitude
- ai planning
- domain independent
- htn planning
- search strategies
- spatio temporal
- temporal information
- model checking
- heuristic search
- partial order planning
- planning systems
- partially observable
- partial observability
- temporal reasoning
- hierarchical task networks
- general purpose
- state space
- deterministic finite automaton
- enforced hill climbing
- macro operators
- plan recognition
- constraint satisfaction
- dynamic programming