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, 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.
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)
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
Programming Rational
Agents in a Modal Action Logic.
Annals of Mathematics and Artificial Intelligence, Special issue on
Logic-Based Agent Implementation, 41(2-4):207-257, 2004.
(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)
- C. Schifanella, L. Lusso, M. Baldoni, and C. Baroglio.
Design and development of a visual environment
for writing DyLOG programs.
In M. Baldoni, F. De Paoli, A. Martelli, and A. Omicini, editors,
Proc. of WOA 2004: Dagli Oggetti agli Agenti, Sistemi Complessi e
Agenti Razionali, pages 43-50, Torino, Italy, November 2004. Pitagora
Editrice Bologna.
(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.
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
Reasoning
about Complex Actions with Incomplete Knowledge: A Modal
Approach.
In A. Restivo, S. Ronchi Della Rocca, and L. Roversi, editors, Proc.
of Theoretical Computer Science, 7th Italian Conference,
ICTCS'2001, volume 2202 of Lecture Notes in Computer
Science, pages 405-425, Turin, Italy, 2001. Springer.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
Modeling Agents in a Logic Action Language.
In W. van der Hock and J.-J. Meyer, editors, Proc. of Workshop on
Practical Reasoning Agents, FAPR2000, 2000.
(PostScript)
(PDF)
- M. Baldoni.
Normal Multimodal Logics: Automatic Deduction and Logic
Programming Extension.
PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino,
Italy, 1998.
(PostScript)
- M. Baldoni,
L. Giordano, and A. Martelli.
A Modal Extention of Logic Programming: Modularity, Beliefs and
Hypothetical Reasoning.
Journal of Logic and Computation, 8(5):597-635, 1998.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
A Modal Programming Language for Representing Complex Actions.
In A. Bonner, B. Freitag, and L. Giordano, editors, Proc. 1998 JICSLP'98
Post-Conference Workshop on Transactions and Change in Logic Databases,
DYNAMICS'98, pages 1-15, Manchester, UK, June 1998.
Technical Report MPI-9808.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
An
Abductive Procedure for Reasoning about Actions in Modal Logic
Programming.
In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Proc. of the
2nd International Workshop on Non-Monotonic Extentions of Logic Programming,
NMELP'96, volume 1216 of LNAI, pages 132-150.
Springer-Verlag, 1997.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, and A. Martelli.
A Framework for
Modal Logic Programming.
In M. Maher, editor, Proc. of the Joint International Conference and
Symposium on Logic Programming, JICSLP'96, pages 52-66, Bonn, 1996.
The MIT Press.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, and A. Martelli.
Translating
a Modal Language with Embedded Implications into Horn Clause
Logic.
In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proc. of
the 5th International Workshop on Extensions of Logic Programming,
ELP'96, volume 1050 of LNAI, pages 19-33.
Springer-Verlag, 1996.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, and A. Martelli.
A Modal Extention of Logic Programming.
In M. Alpuente, R. Barbuti, and I. Ramos, editors, Proc. 1994 Joint
Conference on Declarative Programming GULP-PRODE'94, volume 2, pages
324-335, Peñiscola, Spain, September 1994.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, and A. Martelli.
A Multimodal Logic to define Modules in Logic Programming.
In D. Miller, editor, Proc. of the International Logic Programming
Symposium, ILPS'93, pages 473-487, Vancouver, 1993. The MIT Press.
(PDF)
|