KI 2017: advances in artificial intelligence 40th annual German conference on AI, Dortmund, Germany, September 25-29, 2017 : proceedings - Kern-Isberner, Gabriele 1956- (Springer, 2017)