Spatio-temporal representation and reasoning based on RCC-8 (2000)
Cached
Download Links
- [www.dcs.kcl.ac.uk]
- [www.informatik.uni-leipzig.de]
- DBLP
Other Repositories/Bibliography
by
Frank Wolter
,
Michael Zakharyaschev
| Venue: | In Proceedings of the seventh Conference on Principles of Knowledge Representation and Reasoning, KR2000 |
| Citations: | 51 - 10 self |
BibTeX
@INPROCEEDINGS{Wolter00spatio-temporalrepresentation,
author = {Frank Wolter and Michael Zakharyaschev},
title = {Spatio-temporal representation and reasoning based on RCC-8},
booktitle = {In Proceedings of the seventh Conference on Principles of Knowledge Representation and Reasoning, KR2000},
year = {2000},
pages = {3--14},
publisher = {Morgan Kaufmann}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper is to introduce a hierarchy of languages intended for qualitative spatio-temporal representation and reasoning, provide these languages with topological temporal semantics, construct effective reasoning algorithms, and estimate their computational complexity.
