KI 2001: Advances in Artificial Intelligence - Baader, Franz (Springer Berlin Heidelberg, 2020)