KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings - Kern-Isberner, Gabriele. (Springer International Publishing : Imprint: Springer, 2017)