Undecidability of future timeline-based planning over dense temporal domains.
Laura BozzelliAlberto MolinariAngelo MontanariAdriano PeronPublished in: CoRR (2019)
Keyphrases
- blocks world
- constraint reasoning
- probabilistic planning
- complex domains
- spatio temporal
- planning systems
- spatial and temporal
- temporal information
- domain independent planning
- capacity planning
- application domains
- planning problems
- durative actions
- temporal constraints
- real world
- long term
- temporal dimension
- causal graph
- heuristic search
- deterministic domains
- description logics
- partially observable
- temporal evolution
- motion planning
- areas of artificial intelligence
- temporal reasoning
- temporal aspects
- temporal relations
- decision support
- stochastic domains
- ai planning