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 (Springer International Publishing : Imprint: Springer, 2017)