Handbook of logic in artificial intelligence and logic programming (vol. 1)
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Unit Refutations and Horn Sets
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Reasoning about Binary Topological Relations
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
Computational Properties of Qualitative Spatial Reasoning: First Results
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Qualitative Spatial Representation and Reasoning Techniques
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Shape Nouns and Shape Concepts: A Geometry for 'Corner'
Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge
A Topological Calculus for Cartographic Entities
Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
Unified pairwise spatial relations: an application to graphical symbol retrieval
GREC'09 Proceedings of the 8th international conference on Graphics recognition: achievements, challenges, and evolution
Efficient reasoning with RCC-3D
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Symbol recognition using spatial relations
Pattern Recognition Letters
Hi-index | 0.00 |
This chapter summarizes our ongoing research on topological spatial reasoning using the Region Connection Calculus. We are addressing different questions and problems that arise when using this calculus. This includes representational issues, e.g., how can regions be represented and what is the required dimension of the applied space. Further, it includes computational issues, e.g., how hard is it to reason with the calculus and are there efficient algorithms. Finally, we also address cognitive issues, i.e., is the calculus cognitively adequate.