Deductive Planning with Temporal Constraints.
Martin MagnussonPatrick DohertyPublished in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Keyphrases
- temporal constraints
- constraint reasoning
- temporal reasoning
- plan execution
- temporal planning
- constraint propagation
- simple temporal
- workflow systems
- temporal constraint networks
- temporal information
- consistency checking
- planning problems
- ai planning
- resource constraints
- constraint satisfaction problems
- plan generation
- functional dependencies
- heuristic search
- special case
- initial state
- search space
- interval algebra
- durative actions