Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning.
Son Thanh ToMark RobertsThomas ApkerBenjamin JohnsonDavid W. AhaPublished in: AAAI Workshop: Planning for Hybrid Systems (2016)
Keyphrases
- temporal planning
- metric temporal logic
- temporal planner
- mutual exclusion
- plan generation
- domain independent
- ai planning
- simple temporal
- temporal constraints
- partial order
- planning problems
- plan execution
- heuristic search
- causal links
- first order logic
- classical planning
- long distance
- domain specific
- planning graph
- plan recognition
- temporal reasoning
- constraint programming