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, 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,
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)
|