A Logical Approach to Representing and Reasoning About Space

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 13-17
https://doi.org/10.1007/978-94-009-1639-5_2

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Exploiting lattices in a theory of space and time
Computers & Mathematics with Applications, 1992
Individuals and points.
Notre Dame Journal of Formal Logic, 1985
Maintaining knowledge about temporal intervals
Communications of the ACM, 1983
A calculus of individuals based on ``connection''.
Notre Dame Journal of Formal Logic, 1981