Qualitative spatial reasoning with super-intuitionistic logics
Topology is used in many applications that may benefit from the automation of spatial reasoning, notably in geographic information systems and in graphics. Reasoning about topology is known to be intrinsically complex, and difficult to be dealt with by a machine. Qualitative formalisms for spatial r...
Main Author: | |
---|---|
Other Authors: | |
Published: |
University of Leeds
2003
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.529173 |