LDK R Logics for Data and Knowledge Representation First Order Logics (FOL) Originally by Alessandro Agostini and Fausto Giunchiglia Modified by Fausto.
L ogics for D ata and K nowledge R epresentation
Logics for Data and Knowledge Representation Exercises of Propositional Logic Vincenzo Maltese.