Logics in Artificial Intelligence - Calimeri (Springer International Publishing, 2019)