Twenty Years of Topological Logic

Ian Pratt-Hartmann, M. Raubal (Editor), D.M. Mark (Editor), A.U. Frank (Editor)

    Research output: Chapter in Book/Report/Conference proceedingChapter


    Topological logics are formal systems for representing and manipulating information about the topological relationships between objects in space. Over the past two decades, these logics have been the subject of intensive research in Artificial Intelligence, under the general rubric of Qualitative Spatial Reasoning. This chapter sets out the mathematical foundations of topological logics, and surveys some of their many surprising properties.
    Original languageEnglish
    Title of host publicationCognitive and Linguistic Aspects of Geographic Space
    Subtitle of host publicationNew Perspectives on Geographic Information Research
    Place of PublicationBerlin
    PublisherSpringer Nature
    ISBN (Print)978-3-642-34358-2
    Publication statusPublished - 1 Jun 2012

    Publication series

    NameLecture Notes in Geoinformation and Cartography


    • Spatial logic
    • Qualitative spatial reasoning
    • Artificial Intelligence


    Dive into the research topics of 'Twenty Years of Topological Logic'. Together they form a unique fingerprint.

    Cite this