@inbook{76bd71a9bfa041d9b954ea8614a55e15,
title = "Twenty Years of Topological Logic",
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.",
keywords = "Spatial logic, Qualitative spatial reasoning, Artificial Intelligence",
author = "Ian Pratt-Hartmann and M. Raubal and D.M. Mark and A.U. Frank",
year = "2012",
month = jun,
day = "1",
doi = "10.1007/978-3-642-34359-9_12",
language = "English",
isbn = "978-3-642-34358-2",
series = "Lecture Notes in Geoinformation and Cartography",
publisher = "Springer Nature",
pages = "217--235",
booktitle = "Cognitive and Linguistic Aspects of Geographic Space",
address = "United States",
}