Boolean connection algebras: a new approach to the Region-Connection Calculus
Artificial Intelligence
Combining topological and size information for spatial reasoning
Artificial Intelligence
A representation theorem for Boolean contact algebras
Theoretical Computer Science
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I
Fundamenta Informaticae
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
Reasoning with lines in the Euclidean space
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
| Hi-index | 0.00 |
As a subfield of artificial intelligence, qualitative reasoning is about that kind of knowledge representation languages and automated deduction methods that is used by scientists and engineers when a precise quantitative description of the physical bodies is not available or when a complete quantitative calculation of their relationships is not feasible. A special area of qualitative reasoning is concerned with the qualitative aspects of representing and reasoning about spatial entities. Applications of qualitative spatial reasoning (QSR) can be found in natural language processing [1], spatial information systems [8], etc. They have given rise to numerous knowledge representation languages and automated deduction methods for space.