Joachim Hertzberg Michael Beetz Roman Englert KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings KI Lecture Notes in Computer Science 4667 Springer 2007 978-3-540-74564-8 db/conf/ki/ki2007.html