KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings - Kern-Isberner, Gabriele.; Fürnkranz, Johannes.; Thimm, Matthias. (Lecture Notes in Artificial Intelligence ;, 2017)