Multi-dimensional modal logic as a framework for spatio-temporal reasoning. (2002)

by B Bennett, A Cohn, F Wolter, M Zakharyaschev
Venue:Applied Intelligence,