Logical representations for automated reasoning about spatial relationships

Abstract

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 di culty of achieving e ective automated reasoning with these systems is observed. A new approach is… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics