Logics in Artificial Intelligence - Wolfgang Faber (Springer International Publishing, 2021)