Enabling Fast Flexible Planning through Incremental Temporal Reasoning with Conflict Extraction.
I-Hsiang ShuRobert T. EffingerBrian Charles WilliamsPublished in: ICAPS (2005)
Keyphrases
- temporal reasoning
- constraint reasoning
- temporal constraints
- qualitative and quantitative
- temporal information
- spatial reasoning
- event calculus
- temporal constraint networks
- simple temporal
- reasoning tasks
- planning problems
- temporal knowledge
- constraint networks
- uncertainty management
- path consistency
- series parallel
- temporal relations
- ai planning
- plan execution
- heuristic search
- constraint propagation
- disjunctive temporal