Publications

• L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Analytic Tableaux Calculi for KLM Rational Logic R. In M. Fisher, W. van der Hoek, B. Konev, and A. Lisitsa, editors, Proceedings of JELIA 2006 (10th European Conference on Logics in Artificial Intelligence), volume 4160 of LNAI, pages 190-202, Liverpool, England, September 2006. Springer-Verlag.

• L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Automated Deduction for Logics of Default Reasoning. In G. Brewka, S. Coradeschi, A. Perini, and P. Traverso, editors, Proceedings of ECAI 2006 (17th European Conference on Artificial Intelligence), pages 757-758 (short paper), Riva del Garda, Italy, August-September 2006. IOS Press.