- Publications
- Influence

The computational properties of qualitative spatial reasoning have been investigated to some degree. However, the question for the boundary between polynomial and NP-hard reasoning problems has not… Expand

Classifying apparatus and methods for the separation of solids of differing sizes includes a screening deck having an inclined frame and a screen in the frame on which the solids are deposited and… Expand

Background.- Qualitative Spatial Representation and Reasoning.- The Region Connection Calculus.- Cognitive Properties of Topological Spatial Relations.- Computational Properties of RCC-8.- A Complete… Expand

We present a general method for proving tractability of reasoning over disjunctions of jointly exhaustive and pairwise disjoint relations. Examples of these kinds of relations are Allen's temporal… Expand

What is a qualitative calculus? Many qualitative spatial and temporal calculi arise from a set of JEPD (jointly exhaustive and pairwise disjoint) relations: a stock example is Allen's calculus, which… Expand

Publisher Summary Early attempts at qualitative spatial reasoning within the qualitative reasoning (QR) community led to the poverty conjecture. The need for spatial representations and spatial… Expand

The theoretical properties of qualitative spatial reasoning in the RCC-8 framework have been analyzed extensively. However, no empirical investigation has been made yet. Our experiments show that the… Expand

It has now been clear for some time that for many qualitative spatial or temporal calculi, for instance the well-known RCC8 calculus, the operation of composition of relations which is used is… Expand

Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic orientation information by… Expand

Although the computational properties of the Region Connection Calculus RCC-8 are well studied, reasoning with RCC-8 entails several representational problems. This includes the problem of… Expand