Embedding RCC8D in the Collective Spatial Logic CSLCS.
Vincenzo CianciaDiego LatellaMieke MassinkPublished in: Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Keyphrases
- spatial reasoning
- topological relations
- spatial information
- spatial regions
- region connection calculus
- relation algebra
- spatial data
- formal theory
- topological relationships
- spatial relations
- spatio temporal
- qualitative spatial reasoning
- vector space
- spatial distribution
- predicate logic
- temporal information
- spatial databases
- spatial relationships
- spatial objects
- logic programming
- interval algebra
- computational properties
- collective intelligence
- multi valued
- data hiding
- modal logic
- spatial and temporal
- expressive power
- space time
- logic programs