This paper explores the application to GIS of formal representations and reasoning algorithms for manipulating qualitative spatial information. There are two main reasons why non-precise, qualitative ...
. In this paper we advocate the use of multi-dimensional modal logics as a framework for knowledge representation and, in particular, for representing spatiotemporal information. We construct a two-di...
In this paper I make the case that formal characterisation of large conceptual vocabularies does not require the specification of large numbers of axioms but can be carried out primarily in terms of d...
In this paper I make the case that formal characterisation of large conceptual vocabularies does not require the specification of large numbers of axioms but can be carried out primarily in terms of d...
In many everyday tasks two people interact through force and motion. Examples include lifting and positioning a bulky object, teaching manual skills, dancing, and handing off a baton or a drinking gla...