KI 2012: Advances in Artificial Intelligence: 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings: 7526 (Lecture Notes in Computer Science)