Publications

• L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. An Implmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0. In R. Basili and M.T. Pazienza, editors, Proceedings of AI*IA 2007 (10th Congress of Italian Association for Artificial Intelligence), volume 4733 of LNAI, pages 84-96, Roma, Italy, September 2007. Springer-Verlag. (PDF)

• N. Olivetti and G. L. Pozzato. KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning. In Holger Schlingloff, editor, Proceedings of the 4th International Workshop on Methods for Modalities (M4M-4), pages 235-245, Fraunhofer Institute FIRST, Berlin, Germany, December 2005. Informatik-Bericht 194. (PDF)