Logics in Artificial Intelligence - Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak (Springer, 2021)