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