Spatial cognition II : integrating abstract theories, empirical studies, formal methods, and practical applications - Freksa, C. (Lecture notes in computer science ;, 2000)