Logical representations for automated reasoning about spatial relationships
This thesis investigates logical representations for describing and reasoning about spatial situations. Previously proposed theories of spatial regions are investigated in some detail - especially the 1st-order theory of Randell, Cui and Cohn (1992). The difficulty of achieving effective automated r...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Leeds
1997
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.528714 |