KI 2017: advances in artificial intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017 : proceedings - Kern-Isberner, Gabriele 1956-; Fürnkranz, Johannes; Thimm, Matthias (Lecture notes in artificial intelligence, 2017)