Topological queries in spatial databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relations algebras in qualitative spatial reasoning
Fundamenta Informaticae
Spatial and Temporal Reasoning
Spatial and Temporal Reasoning
Geometrical Structures and Modal Logic
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Empiricism and Rationalism in Region-based Theories of Space
Fundamenta Informaticae - Qualitative Spatial Reasoning
Euclidean and mereological qualitative spaces: a study of SCC and DCC
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
An Axiom System for a Spatial Logic with Convexity
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
On the computability of region-based euclidean logics
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Empiricism and Rationalism in Region-based Theories of Space
Fundamenta Informaticae - Qualitative Spatial Reasoning
Hi-index | 0.00 |
In recent years, there has been considerable interest within the AI community in qualitative descriptions of space. The idea is that a language in which we can say such things as ``region a is convex'' or ``region b is a part of region c'' might be sufficient for characterizing useful properties of everyday spatial arrangements, while avoiding complex and error-sensitive numerical coordinate descriptions. However, such qualitative representation languages are inevitably balanced on a semantic knife-edge: too little expressiveness, and they are useless for the everyday tasks we want them for; too much, and they exhibit the over-precision which motivated qualitative representation languages in the first place. The aim of this paper is to demonstrate how sharp that knife-edge is, and thus to establish some limits on what such qualitative spatial description languages might be like.