A Decidable Spatial Logic with Cone-Shaped Cardinal Directions.
Angelo MontanariGabriele PuppisPietro SalaPublished in: CSL (2009)
Keyphrases
- cardinal directions
- spatial databases
- qualitative spatial
- qualitative spatial reasoning
- consistency checking
- spatial relationships
- spatial objects
- spatial queries
- spatio temporal
- spatial relations
- spatial data
- spatial information
- modal logic
- transitive closure
- cardinal direction relations
- databases
- formal theory
- spatial reasoning
- geographic information systems
- first order logic
- closely related