First-order qualitative spatial representation languages with convexity
Spatial Cognition and Computation
Using Orientation Information for Qualitative Spatial Reasoning
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
On generalizing orientation information in OPRAm
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Hi-index | 0.00 |
We determine the implicit assumptions and the structure of the Single and Double Cross Calculi within Euclidean geometry, and use these results to guide the construction of analogous calculi in mereogeometry. The systems thus obtained have strong semantic and deductive similarities with the Euclidean-based Cross Calculi although they rely on a different geometry. This fact suggests that putting too much emphasis on usual classification of qualitative spaces may hide important commonalities among spaces living in different classes.