- 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
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.
- 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.