Computational properties of spatial logics in the real plane
Spatial logics are formal languages whose predicate and function symbols are interpreted as geometric relations and properties. In order to use spatial logics to perform automated reasoning on spatial data, we must have formal procedures which can decide the satisfiability of the formulae of these l...
| Main Author: | |
|---|---|
| Published: |
University of Manchester
2008
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.492227 |