Spatial logics with connectedness predicates
Roman KontchakovIan Pratt-HartmannFrank WolterMichael ZakharyaschevPublished in: Log. Methods Comput. Sci. (2010)
Keyphrases
- spatial information
- spatial objects
- modal logic
- spatio temporal
- spatial and temporal
- spatial data
- expressive power
- real time
- connected components
- data analysis
- user defined
- spatial databases
- geographic information systems
- spatial frequency
- spatial temporal
- symmetry breaking
- nonmonotonic logics
- spatial reasoning
- epistemic logic
- nonmonotonic reasoning
- spatial distribution
- default logic
- inference rules
- information systems
- information retrieval