Succinctness in Subsystems of the Spatial μ-Calculus.
David Fernández-DuquePetar IlievPublished in: FLAP (2018)
Keyphrases
- spatio temporal
- spatial information
- spatial and temporal
- spatial data
- data sets
- modal logic
- geographic information systems
- temporal correlation
- qualitative spatial reasoning
- interval algebra
- cardinal directions
- spatial analysis
- spatial frequency
- knowledge compilation
- spatial reasoning
- spatial relationships
- expert systems
- information retrieval