T-satplan: a Sat-based Temporal Planner.
Amol Dattatraya MaliYing LiuPublished in: Int. J. Artif. Intell. Tools (2006)
Keyphrases
- temporal planner
- temporal planning
- classical planning
- optimal plans
- planning domains
- mutual exclusion
- ai planning
- planning problems
- domain independent
- heuristic search
- state space
- orders of magnitude
- plan generation
- long distance
- temporal constraints
- domain specific
- sat solvers
- partial order
- plan execution
- service composition
- initial state
- reinforcement learning
- temporal reasoning
- search space