Logics in Artificial Intelligence - Francesco Calimeri, Nicola Leone, Marco Manna (Springer, 2019)