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)
- 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)
- L. Giordano,
V. Gliozzi, N. Olivetti, and G. L. Pozzato.
Extension of Description Logics for Reasoning About Typicality.
In Carlos Areces and Stéphane Demri, editors, Proceedings of the 5th
International Workshop on Methods for Modalities (M4M-5), pages
239-254, Ecole Normale Supérieure de Cachan, France, November 2007.
(PDF)
- L. Giordano,
V. Gliozzi, N. Olivetti, and G. L. Pozzato.
KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations.
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)
- L. Giordano,
V. Gliozzi, N. Olivetti, and G. L. Pozzato.
Preferential Description Logics.
In Nachum Dershowitz and Andrei Voronkov, editors, Proceedings of LPAR
2007 (14th Conference on Logic for Programming, Artificial Intelligence, and
Reasoning), volume 4790 of LNAI, pages 257-272, Yerevan,
Armenia, October 2007. Springer-Verlag.
(PDF)
- L. Giordano,
V. Gliozzi, N. Olivetti, and G. L. Pozzato.
Tableau Calculi for KLM Logics: extended version.
Technical Report 102/07, Dipartimento di Informatica, Università degli Studi
di Torino, Italy, December 2007.
(PDF)
- L. Giordano,
V. Gliozzi, and G. L. Pozzato.
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic
Reasoning.
In N. Olivetti, editor, Proceedings of TABLEAUX 2007 (16th International
Conference on Automated Reasoning with Analytic Tableaux and Related
Methods), volume 4548 of LNAI, pages 238-244, Aix En
Provence, France, July 2007. Springer-Verlag.
(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.
- 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.
- L. Giordano,
V. Gliozzi, N. Olivetti, and G. L. Pozzato.
A Tableaux Calculus for KLM Preferential and Cumulative Logics.
In Bernhard Beckert, editor, Position Papers and Tutorial Description of
TABLEAUX 2005, volume 12/2005, pages 11-26, Koblenz, Germany,
September 2005. Fachberichte INFORMATIK.
(PDF)
- L. Giordano,
V. Gliozzi, N. Olivetti, and G. L. Pozzato.
Analytic Tableaux for KLM Preferential and Cumulative Logics.
In Geoff Sutcliffe and Andrei Voronkov, editors, Proceedings of LPAR 2005
(12th Conference on Logic for Programming, Artificial Intelligence, and
Reasoning), volume 3835 of LNAI, pages 666-681, Montego
Bay, Jamaica, December 2005. Springer-Verlag.
- 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 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)
- 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.
|