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