Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation.
Alexander ScivosBernhard NebelPublished in: COSIT (2001)
Keyphrases
- computational complexity
- qualitative spatial and temporal reasoning
- type checking
- qualitative spatial reasoning
- cardinal directions
- description logics
- qualitative spatial
- qualitative and quantitative
- bit rate
- low complexity
- np complete
- special case
- interval algebra
- high computational complexity
- qualitative reasoning
- quantitative and qualitative
- spatial representation and reasoning
- qualitative simulation
- navigation systems
- information space
- robot navigation
- constraint networks
- query answering
- rate distortion
- decision procedures
- storage requirements
- consistency checking
- memory requirements
- formal language
- decision problems
- qualitative information
- motion estimation
- mobile robot
- np hard
- video sequences