KI 2013: Advances in Artificial Intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings - Ingo J. Timm, Matthias Thimm ((Lecture Notes in Computer Science))