TALplanner: A Temporal Logic-Based Planner.
Patrick DohertyJonas KvarnströmPublished in: AI Mag. (2001)
Keyphrases
- temporal planning
- international planning competition
- temporal constraints
- temporal information
- spatio temporal
- heuristic search
- temporal data
- temporal reasoning
- spatial and temporal
- temporal databases
- knowledge representation
- domain independent
- ai planning
- forward chaining
- model checking
- genetic algorithm
- temporal relations
- temporal evolution
- temporal dimension
- temporal consistency
- automated planning
- mutual exclusion
- search algorithm
- reinforcement learning