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

Qualitative spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge
representation, typically over infinite domains. The motivations for employing QSTR …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Qualitative reasoning is an approach for dealing with commonsense knowledge without
using numerical computation. Instead, one tries to represent knowledge using a limited …

The development of autonomous agents that perform tasks with the same dexterity as
performed by humans is one of the challenges of artificial intelligence and robotics. This …

Commonsense reasoning is in principle a central problem in artificial intelligence, but it is a
very difficult one. One approach that has been pursued since the earliest days of the field …

We propose SOWL, an ontology for representing and reasoning over spatio-temporal
information in OWL. Building upon well established standards of the semantic web (OWL …

More than 15 years ago, a set of qualitative spatial relations between oriented straight line
segments (dipoles) was suggested by Schlieder. However, it turned out to be difficult to …

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 …

A central issue in robotics is the representation of relative orientation. Currently, the standard
solution utilizes metrical representations. The main reason for this might be that representing …