Logics in Artificial IntelligenceFrancesco Calimeri, Nicola Leone, Marco Manna · First published 2019Open the Tome
Practical Aspects of Declarative LanguagesFrancesco Calimeri, Kevin Hamlen, Nicola Leone · First published 2017Open the Tome
Logic Programming and Nonmonotonic ReasoningFrancesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski · First published 2015Open the Tome
