This paper surveys the work of the qualitative spatial reasoning group at the University of
Leeds. The group has developed a number of logical calculi for representing and reasoning …

This paper reviews research in geographical cognition that provides part of the theoretical
foundation of geographical information science. Freestanding research streams in cognitive …

I present a method for reasoning about spatial relationships on the basis of entailments in
propositional logic. Formalisms for representing topological and other spatial information (eg …

Qualitative reasoning about space and time-a reasoning at the human level-promises to
become a fundamental aspect of future systems that will accompany us in daily activity. The …

This paper describes the topological aspect of a logic-based, artificial intel ligence approach
to formalising the qualitative description of spatial properties and relations, and reasoning …

In this paper we consider the problem of representing the shape of a region, qualitatively,
within a logical theory of space. Using just two primitive notions, that of two regions …

The paper continues the work of Randell, Cohn and Cui on region-based qualitative
representations of spatial properties and relations, built on the 'logic of …

This thesis investigates logical representations for describing and reasoning about spatial
situations. Previously proposed theories of spatial regions are investigated in some detail …

This paper discusses issues related to the integration of spatial operators into the new
generation of SQL-like query languages. Starting from spatial data models, current spatial …

Abstract Reasoning about spatial knowledge is an important aspect of computational
intelligence. Humans easily switch between high-level and low-level spatial knowledge …