Computing spatial similarity by games

Marco Aiello*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

3 Citations (Scopus)


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].

Original languageEnglish
Title of host publicationAIIA 2001: Advances in Artificial Intelligence - 7th Congress of the Italian Association for Artificial Intelligence, Proceedings
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Number of pages12
ISBN (Print)3540426019, 9783540426011
Publication statusPublished - 2001
Externally publishedYes
Event7th Congress of the Italian Association for Artificial Intelligence, AIIA 2001 - Bari, Italy
Duration: 25 Sept 200128 Sept 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)03029743
ISSN (Electronic)16113349


Other7th Congress of the Italian Association for Artificial Intelligence, AIIA 2001


  • Image similarity
  • Model comparison games
  • Qualitative spatial reasoning


Dive into the research topics of 'Computing spatial similarity by games'. Together they form a unique fingerprint.

Cite this