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

    Abstract

    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
    Pages217-235
    ISBN (Print)978-3-642-34358-2
    DOIs
    Publication statusPublished - 1 Jun 2012

    Publication series

    NameLecture Notes in Geoinformation and Cartography
    PublisherSpringer

    Keywords

    • Spatial logic
    • Qualitative spatial reasoning
    • Artificial Intelligence

    Fingerprint

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

    Cite this