Stephan Mäs. Reasoning on Spatial Semantic Integrity Constraints. In Stephan Winter, Matt Duckham, Lars Kulik, Benjamin Kuipers, editors, Spatial Information Theory, 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings. Volume 4736 of Lecture Notes in Computer Science, pages 285-302, Springer, 2007. [doi]
Abstract is missing.