Reasoning Web. Declarative Artificial IntelligenceMarco Manna, Andreas Pieris · First published 2020Open the Tome
Logics in Artificial IntelligenceFrancesco Calimeri, Nicola Leone, Marco Manna · First published 2019Open the Tome
