A Spatial Logic based on Regions and Connection.

David A. Randell, Zhan Cui, Anthony G. Cohn

Browse the full KR paper archive.