Information retrieval: data structures and algorithms
Information retrieval: data structures and algorithms
IEEE Transactions on Pattern Analysis and Machine Intelligence
Visual information retrieval
Modal logic
Spatial and Temporal Reasoning
Spatial and Temporal Reasoning
ImageMap: An Image Indexing Method Based on Spatial Similarity
IEEE Transactions on Knowledge and Data Engineering
Arrangement: A Spatial Relation Between Parts for Evaluating Similarity of Tomographic Section
IEEE Transactions on Pattern Analysis and Machine Intelligence
Topo-distance: Measuring the Difference between Spatial Patterns
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
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
| Hi-index | 0.00 |
The multi-modal logic S4u, known in the field of qualitative spatial reasoning to be a decidable formalism for expressing topological and mereological properties, can also be exploited to define a distance measure among patterns. Here, we recall the notion of topological distance defined in terms of games over S4u models, and show how it is effectively computed for a specific class of models: the class of polygons of the real plane, a class of topological models widely used in computer science and AI applications. Finally, we briefly overview an implemented system based on the presented framework. This paper is the practical counterpart of, and continuation to [1].