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

Similar works

Full text

thumbnail-image

The University of Manchester - Institutional Repository

redirect
Last time updated on 01/02/2017

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.