Spatio-temporal representation and reasoning based on RCC-8 (2000)

by F Wolter, M Zakharyaschev
Venue:In Proceedings of the seventh Conference on Principles of Knowledge Representation and Reasoning