DIPARTIMENTO   DI   INFORMATICA
Università di Torino

THE GROUP'S LOGO

Publications

  • N. Olivetti and G. L. Pozzato. Theorem Proving for Conditional Logics: CondLean and GoalDuck. Journal of Applied Non-Classical Logics (JANCL), 18(4):427-473, 2008. (PDF)

  • N. Olivetti and G. L. Pozzato. A Goal-Directed Calculus for Standard Conditional Logics. In G. Fiumara, M. Marchi, and A. Provetti, editors, Proceedings of CILC 2007 (4th Convegno Italiano di Logica Computazionale), S. Agata di Messina, Italy, June 2007. (PDF)

  • N. Olivetti and G. L. Pozzato. Automated Reasoning for Conditional Logics: the Theorem Prover CondLean 3.1. In Jean-Yves Beziau and Alexandre Costa-Leite, editors, Perspectives on Universal Logic, pages 395-415. Polimetrica International Scientific Publisher, Monza, Italy, 2007. (PDF)

  • N. Olivetti, G. L. Pozzato, and C. B. Schwind. A Sequent Calculus and a Theorem Prover for Standard Conditional Logics. ACM Transactions on Computational Logic (ToCL), 8(4), 2007. (PDF)

  • G. L. Pozzato. Proof Methods for Conditional and Preferential Logics. PhD thesis, Università degli Studi di Torino, February 2007.

  • N. Olivetti and G. L. Pozzato. CondLean 2.0: an Efficient Theorem Prover for Standard Conditional Logics. In Jean-Yves Beziau and Alexandre Costa-Leite, editors, Handbook of the 1st World Congress and School on Universal Logic, pages 89-90. Montreux, Switzerland, 2005.

  • N. Olivetti and G. L. Pozzato. CondLean 3.0: Improving Condlean for Stronger Conditional Logics. In Bernhard Beckert, editor, Proceedings of TABLEAUX 2005 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 3702 of LNAI, pages 328-332, Koblenz, Germany, September 2005. Springer-Verlag.

  • N. Olivetti, G. L. Pozzato, and C. B. Schwind. A Sequent Calculus and a Theorem Prover for Standard Conditional Logics: Extended version. Technical Report 87/05, Dipartimento di Informatica, Università degli Studi di Torino, Italy, April 2005. (PDF)

  • N. Olivetti, G. L. Pozzato, and C. B. Schwind. A Sequent Calculus and a Theorem Prover for Standard Conditional Logics. Technical Report 81/04, Dipartimento di Informatica, Università degli Studi di Torino, Italy, November 2004. (PDF)

  • N. Olivetti and G. L. Pozzato. CondLean: A Theorem Prover for Conditional Logics. In Marta Cialdea Meyer and Fiora Pirri, editors, Proceedings of TABLEAUX 2003 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 2796 of LNAI, pages 264-270, Roma, Italy, September 2003. Springer.



    [Group's HOME] [Department's HOME]

    If you are interested in papers which are not available, please, contact directly the author(s).