KI 2007: Advances in Artificial Intelligence : 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings - Joachim Hertzberg, Michael Beetz, Roman Englert ((Lecture Notes in Computer Science))