Logics in Artificial Intelligence - Loizos Michael, Antonis Kakas (Springer, 2016)