Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity.
Alfonso GereviniBernhard NebelPublished in: ECAI (2002)
Keyphrases
- spatial representation and reasoning
- spatio temporal
- topological relations
- interval algebra
- computational complexity
- qualitative spatial reasoning
- point algebra
- temporal reasoning
- cardinal directions
- reasoning problems
- spatial reasoning
- maximal tractable
- reasoning tasks
- qualitative spatial
- qualitative spatial and temporal reasoning
- spatial relations
- spatial and temporal
- path consistency
- temporal constraints
- spatial objects
- topological relationships
- consistency checking
- temporal information
- moving objects
- spatial regions
- np complete
- spatial information
- temporal relations
- decision problems
- space time
- high computational complexity
- spatio temporal data
- bit rate
- computational properties
- logic programming
- constraint propagation
- description logics
- binary relations
- constraint satisfaction problems
- decision procedures
- endpoints
- qualitative and quantitative
- spatial databases