DMCA
A Spatial Logic based on Regions and Connection (1992)
Cached
Download Links
- [agora.leeds.ac.uk]
- [www.cs.ust.hk]
- CiteULike
- DBLP
Other Repositories/Bibliography
by
David A. Randell
,
Zhan Cui
,
Anthony G. Cohn
| Venue: | PROCEEDINGS 3RD INTERNATIONAL CONFERENCE ON KNOWLEDGE REPRESENTATION AND REASONING |
| Citations: | 745 - 32 self |
BibTeX
@INPROCEEDINGS{Randell92aspatial,
author = {David A. Randell and Zhan Cui and Anthony G. Cohn},
title = {A Spatial Logic based on Regions and Connection},
booktitle = {PROCEEDINGS 3RD INTERNATIONAL CONFERENCE ON KNOWLEDGE REPRESENTATION AND REASONING},
year = {1992},
publisher = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We describe an interval logic for reasoning about space. The logic simplifies an earlier theory developed by Randell and Cohn, and that of Clarke upon which the former was based. The theory supports a simpler ontology, has fewer defined functions and relations, yet does not suffer in terms of its useful expressiveness. An axiomatisation of the new theory and a comparison with the two original theories is given.
