Introduction to Artificial Intelligence - Wolfgang Ertel (Springer, 2017)