Hans Jürgen Ohlbach. GeTS - A Specification Language for Geo-Temporal Notions. In Christian Freksa, Michael Kohlhase, Kerstin Schill, editors, KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings. Volume 4314 of Lecture Notes in Computer Science, pages 214-228, Springer, 2006. [doi]
Abstract is missing.