KI 2017: Advances in Artificial Intelligence - Kern-Isberner, Gabriele (Springer International Publishing, 2020)