The human visual system solves an amazing range of problems in the course of everyday activities. Without conscious effort, the human visual system finds a place on the table to put down a cup, selects the shortest checkout queue in a grocery store, looks for moving vehicles before we cross a road, and checks to see if the stoplight has turned green. Inspired by the human visual system, I have ...

To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can change their position, shape, and size over time. In this paper we investigate how calculi discussed in the field of qualitative spatial reasoning (QSR) can be temporalized in order to gain reasoning formalisms that can be...

The relationship between reasoning and language has been frequently studied. Here we explore principles of spatial reasoning in Germans and Russians. We compared the performance of Russians in three different settings to the performance of Germans. The task was to construct layouts of wooden blocks according to verbal instructions, describing the relations of these blocks. Subsequently pieces o...

In this paper we present a unifying discrete framework for various representation theorems in the field of spatial reasoning. We also show that the universal and existential quantifiers of restricted scope used in first order languages and represented as binary relations in the syllogistic algebras considered in [12] may be studied in this framework.

We present a multi-valued temporal reasoning framework which can be used to analyse problems with uncertainty under dynamic environment. We show that it is feasible to combine temporal logic and multi-valued logic and we illustrate the framework with a simple but realistic example

People look at emptied spatial locations where information has been presented during encoding. There is evidence that this socalled ‘looking at nothing’ behaviour plays a functional role in memory retrieval of visuospatial and verbal information. However, it is unclear whether this effect is caused by the oculomotor movement of the eyes per se or if covertly shifting attention is sufficient to ...

Nearly 15 years ago, a set of qualitative spatial relations between oriented straight line segments (dipoles) was suggested by Schlieder. This work received substantial interest amongst the qualitative spatial reasoning community. However, it turned out to be difficult to establish a sound constraint calculus based on these relations. In this paper, we present the results of a new investigation...

We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segment based calculus, the dipole calculus and necessary extensions for representing navigational concepts like turn right. We investigate how its conceptual neighborhood structure can be applied in the situation calculus for reaso...

Whether reasoning with relative directions can be performed in NP has been an open problem in qualitative spatial reasoning. Efficient reasoning with relative directions is essential, for example, in rule-compliant agent navigation. In this paper, we prove that reasoning with relative directions is ∃R-complete. As a consequence, reasoning with relative directions is not in NP, unless NP = ∃R.