The paper is a overview of the major qualitative spatial representation and reasoning
techniques. We survey the main aspects of the representation of qualitative knowledge …

This paper surveys the work of the qualitative spatial reasoning group at the University of
Leeds. The group has developed a number of logical calculi for representing and reasoning …

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

This book provides a comprehensive and much needed introduction to the field by one of its
foremost experts. It is beautifully written and presents a unifying framework capturing a wide …

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 …

Many natural combinatorial problems can be expressed as constraint satisfaction problems.
This class of problems is known to be NP-complete in general, but certain restrictions on the …

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

Temporal Constraint Networks (TCN) allow one to express minimal and maximal durations
between time-points. Although being used in many research areas, this model disregards …

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

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