Spatial Cognition II : Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications - Christian Freksa, Christopher Habel, Wilfried Brauer, Karl F. Wender ((Lecture Notes in Computer Science))