KI 2020: Advances in Artificial Intelligence - Ute Schmid, Franziska Klügl, Diedrich Wolter (Springer, 2020)