DIPARTIMENTO   DI   INFORMATICA
Università di Torino

THE GROUP'S LOGO

Pozzato's publications

The documents distributed by this server have been provided by thecontributing authors as a means to ensure timely dissemination ofscholarly and technical work on a noncommercial basis.Copyright and all rights therein are maintained by the authors orby other copyright holders, notwithstanding that they haveoffered their works here electronically.It is understood that all persons copying this informationwill adhere to the terms and constraints invoked by each author'scopyright.These works may not be reposted without the explicit permission of thecopyright holder.
[2017][2016][2015][2014][2013][2012][2011][2010][2009][2008][2007][2006][2005][2004][2003]

2017

2016

2015

  • L. Giordano, V. Gliozzi, N. Olivetti, and Pozzato G. L. Semantic characterization of Rational Closure: from Propositional Logic to Description Logics. Artificial Intelligence, (226):1-33, 2015.

  • L. Giordano, V. Gliozzi, N. Olivetti, Pozzato G. L., and Violanti L. DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. In Proc. of the 28th International Workshop on Description Logics (DL2015). CEUR Workshop Proceedings, 2015.

2014

  • V. Genovese, L. Giordano, V. Gliozzi, and Pozzato G. L. Logics in access control: a conditional approach. Journal of Logic and Computation 24(4), pages 705-762, 2014.

  • L. Giordano, V. Gliozzi, N. Olivetti, and Pozzato G. L. Minimal models for rational closure in SHIQ. In Proc. of the 15th Italian Conference on Theoretical Computer Science (ICTCS 2014), pages 271-277. CEUR Workshop Proceedings, 2014.

  • L. Giordano, V. Gliozzi, N. Olivetti, and Pozzato G. L. Rational Closure in SHIQ. In Proc. of the 27th International Workshop on Description Logics (DL2014), pages 1-13. CEUR Workshop Proceedings, 2014.

2013

  • R. Alenda, N. Olivetti, and G. L. Pozzato. Nested Sequents Calculi for Normal Conditional Logics. Journal of Logic and Computation, to appear:1-48, 2013.

  • L. Giordano, V. Gliozzi, A. Jalal, N. Olivetti, and Pozzato G. L. Minimal models for rational closure in SHIQ. In Proc. of AI*IA 2013, Lecture Notes in Artificial Intelligence, LNAI 8249, pages 60 -- 72. Springer, 2013.

  • L. Giordano, V. Gliozzi, N. Olivetti, and Pozzato G. L. A semantics for Rational Closure: Preliminary Results. In Proc. of CILC 2013, pages 99-113. CEUR Workshop Proceedings 1068, 2013.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A NonMonotonic Description Logic for Reasoning About Typicality. Artificial Intelligence, 195:165-202, 2013. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Minimal Model Semantics and Rational Closure in Description Logics. In Yevgeny Kazakov and Birte Glimm, editors, Proceedings of the 26th International Workshop on Description Logics (DL 2013), volume -- of CEUR, page to appear, Ulm, Germany, July 2013. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Rational closure for description logics of typicality. In Sébastien Konieczny and Nicolas Maudet, editors, Proceedings of IAF 13: Journées d'Intelligence Artificielle Fondamentale, page to appear, Aix en Provence, France, June 12-14 2013. (PDF)

2012

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A NonMonotonic Description Logic for Reasoning About Typicality. Artificial Intelligence, 195:165-202, 2013. (PDF)

  • R. Alenda, N. Olivetti, and G. L. Pozzato. Nested Sequent Calculi for Conditional Logics. In Jérôme Mengin Luis Fariñas del Cerro, Andreas Herzig, editor, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, volume 7519 of LNAI, pages 14-27, Toulouse, France, Sptember 2012. Springer-Verlag. (PDF)

  • R. Alenda, N. Olivetti, and G. L. Pozzato. Nested Sequent Calculi for Conditional Logics: Preliminary Results. Technical Report --, Dipartimento di Informatica, Università degli Studi di Torino, Italy, July 2012. (PDF)

  • D. D'Aprile, L. Giordano, A. Martelli, G. L. Pozzato, D. Rognone, and D. Theseider Dupré. Business Process Compliance Verification: an Annotation Based Approach with Commitments. In M. De Marco, D. Te'eni, V. Albano, and S. Za, editors, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pages 563-571. Physica-Verlag, A Springer Company, 2012.

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. Logics in access control: A conditional approach. Journal of Logic and Computation, pages 1-58, 2012. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A minimal model semantics for nonmonotonic reasoning. In Jérôme Mengin Luis Fariñas del Cerro, Andreas Herzig, editor, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, volume 7519 of LNAI, pages 228-241, Toulouse, France, Sptember 2012. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A modal reconstruction of Rational Closure. In Francesca Alessandra Lisi and Fabio Patrizi, editors, Proceedings of CILC 2012 (9th Convegno Italiano di Logica Computazionale), volume 857 of CEUR, pages 161-175, Roma, Italy, June 2012. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A minimal model semantics for rational closure. In Riccardo Rosati and Stefan Woltran, editors, Proceedings of NMR 2012: 14th International Workshop on Non-Monotonic Reasoning, pages 1-10, Roma, Italy, June 8-10 2012. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. In Yevgeny Kazakov and Frank Wolter, editors, Proceedings of the 25th International Workshop on Description Logics (DL 2012), volume 846 of CEUR, pages 180-190, Roma, Italy, June 2012. (PDF)

2011

  • D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. L. Pozzato, and D. Theseider Dupré. Verifying Compliance of Business Processes with Temporal Answer Sets. In F. Fioravanti, editor, Proceedings of CILC 2011 (8th Convegno Italiano di Logica Computazionale), volume 810 of CEUR, pages 147-161, Pescara, Italy, August 2011. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. A conditional constructive logic for access control and its sequent calculus. In K. Brünnler and G. Metcalfe, editors, Proceedings of TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), volume 6793 of LNAI, pages 164-179, Bern, Switzerland, July 2011. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A tableau calculus for a nonmonotonic extension of EL^ bot . In K. Brünnler and G. Metcalfe, editors, Proceedings of TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), volume 6793 of LNAI, pages 180-195, Bern, Switzerland, July 2011. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A tableau calculus for a nonmonotonic extension of the Description Logic DL-Lite_core. In R. Pirrone and F. Sorbello, editors, AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings, volume 6934 of LNAI, pages 164-176, Palermo, Italy, Sptember 2011. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. In F. Fioravanti, editor, Proceedings of CILC 2011 (8th Convegno Italiano di Logica Computazionale), volume 810 of CEUR, pages 41-55, Pescara, Italy, August 2011. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning about typicality in low complexity DLs: the logics EL bot tip mbox min and DL-litec tip mbox min. In Toby Walsh, editor, Proceedings of IJCAI 2011 (22nd International Joint Conference on Artificial Intelligence), pages 894-899, Barcelona, Spain, July 2011. AAAI. (PDF)

  • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, and Camilla Schwind. Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale, 5(1):127-131, 2011. (PDF)

2010

  • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, and Camilla Schwind. Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale, 5(1):127-131, 2011. (PDF)

  • R. Alenda, N. Olivetti, and G. L. Pozzato. CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity. Electronic Notes in Theoretical Computer Science, 262:3-16, 2010. (PDF)

  • D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. L. Pozzato, and D. Theseider Dupré. Verifying Business Process Compliance by Reasoning about Actions. In Jürgen Dix, João Leite, Guido Governatori, and Wojtek Jamroga, editors, CLIMA XI (Computational Logic in Multi-Agent Systems, 11th International Workshop), special session in Norms and Normative Multi-Agent Systems, volume 6245 of LNAI, pages 99-116, Lisbon, Portugal, August 16-17 2010. Springer-Verlag. (PDF)

  • D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. L. Pozzato, and D. Theseider Dupré. Verifying Business Process Compliance by Reasoning about Actions. In Angelo Susi, editor, First Workshop on Law Compliancy Issues in Organisational Systems and Strategies (iComply 2010), Firenze, Italy, July 6 2010. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. A constructive conditional logic for access control: a completeness result. Technical Report 125/2010, Dipartimento di Informatica, Università degli Studi di Torino, Italy, February 2010. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. A constructive conditional logic for access control: a completeness result and a sequent calculus. In W. Faber and N. Leone, editors, Proceedings of CILC 2010 (7th Convegno Italiano di Logica Computazionale), volume CEUR Workshop Proceedings. Vol. 598, pages 1-15, Rende (CS), Italy, July 2010. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. A constructive conditional logic for access control: a preliminary report. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of ECAI 2010 (19th European Conference on Artificial Intelligence), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 1073-1074 (short paper), Lisbon, Portugal, August 16-20 2010. IOS Press. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. CondACL: a Constructive Conditional Logic for Access Control - Semantics and Proof Theory. Technical Report 127/2010, Dipartimento di Informatica, Università degli Studi di Torino, Italy, February 2010. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. Logics in Access Control: A Conditional Approach. In D. Gabbay and L. van der Torre, editors, Proceedings of LIS2010 (1st Workshop of Logics in Security), page to appear, 2010. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A nonmonotonic extension of KLM Preferential Logic P. In Christian G. Fermüller and Andrei Voronkov, editors, Proceedings of LPAR 2010 (17th Conference on Logic for Programming, Artificial Intelligence, and Reasoning), volume 6397 of ARCoSS LNCS, pages 317-332, Yogyakarta, Indonesia, October 10-15 2010. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Preferential vs Rational Description Logics: which one for Reasoning About Typicality? In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of ECAI 2010 (19th European Conference on Artificial Intelligence), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 1069-1070 (short paper), Lisbon, Portugal, August 16-20 2010. IOS Press. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. In W. Faber and N. Leone, editors, Proceedings of CILC 2010 (7th Convegno Italiano di Logica Computazionale), volume CEUR Workshop Proceedings. Vol. 598, pages 1-15, Rende (CS), Italy, July 2010. (PDF)

  • G. L. Pozzato. Conditional and Preferential Logics: Proof Methods and Theorem Proving, volume 208 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2010.

2009

  • R. Alenda, N. Olivetti, and G. L. Pozzato. CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity. In Thomas AND Bolander, editor, Proceedings of the 6th International Workshop on Methods for Modalities (M4M-6), pages 163-175, University of Copenaghen, Denmark, December 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A Non-monotonic Description Logic of Typicality. In M. Gavanelli and F. Riguzzi, editors, Proceedings of CILC 2009 (6th Convegno Italiano di Logica Computazionale), pages 5/1-5/13, Ferrara, Italy, June 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. ALC+T: a preferential extension of description logics. Fundamenta Informaticae, 96:341-372, 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. ACM Transactions on Computational Logic (ToCL), 10(3), 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. On Extending Description Logics for Reasoning About Typicality: a First Step. Technical Report 116/09, Dipartimento di Informatica, Università degli Studi di Torino, Italy, December 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Preferential Extensions of Lightweight Description Logics. In M. Gavanelli and T. Mancini, editors, Proceedings of R.i.C.e.R.c.A 2009: RCRA incontri e confronti, Reggio Emilia, Italy, December 2009.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Prototypical reasoning with low complexity description logics: preliminary results. In F. Lin, T. Schaub, and E. Erdem, editors, Proceedings of LPNMR 2009 (10th International Conference on Logic Programming and Nonmonotonic Reasoning), volume 5753 of LNAI, pages 430-436, Potsdam, Germany, September 2009. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning About Typicality in Low Complexity Description Logics: Preliminary Results. Technical Report 121/09, Dipartimento di Informatica, Università degli Studi di Torino, Italy, December 2009.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning about typicality in ALC and EL. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 22nd International Workshop on Description Logics (DL 2009), volume CEUR Workshop Proceedings. Vol. 477, pages 24/1-24/13, Oxford, United Kindgom, July 27-30 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning about typicality with low complexity description logics: the logic EL^+^ bot t. In R. Serra and R. Cucchiara, editors, AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XI Conference of the Italian Association for Artificial Intelligence, volume 5883 of LNAI, pages 62-71, Reggio Emilia, Italy, December 9-12 2009. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, G. L. Pozzato, and C. B. Schwind. Non-Classical Logics for Knowledge Representation and Reasoning. In Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, volume 487, pages 76-81. CEUR Workshop Proceedings, Turin, Italy, 2009. (PDF)

2008

  • L. Giordano, V. Gliozzi, N. Olivetti, G. L. Pozzato, and C. B. Schwind. Non-Classical Logics for Knowledge Representation and Reasoning. In Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, volume 487, pages 76-81. CEUR Workshop Proceedings, Turin, Italy, 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. ALC+T: Reasoning About Typicality in Description Logics. In A. Formisano, editor, Proceedings of CILC 2008 (5th Convegno Italiano di Logica Computazionale), Perugia, Italy, July 2008. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning About Typicality in Description Logics: the Logic ALC+Tmin. In M. Gavanelli and T. Mancini, editors, Proceedings of R.i.C.e.R.c.A 2008: RCRA incontri e confronti, Udine, Italy, December 2008.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning About Typicality in Preferential Description Logics. In S. Hólldobler, C. Lutz, and H. Wansing, editors, Proceedings of JELIA 2008 (11th European Conference on Logics in Artificial Intelligence), volume 5293 of LNAI, pages 192-205, Dresden, Germany, September 2008. Springer-Verlag. (PDF)

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

  • G. L. Pozzato. Proof Methods for Conditional and Preferential Logics of Nonmonotonic Reasoning. In A. Formisano, editor, Proceedings of CILC 2008 (5th Convegno Italiano di Logica Computazionale), Perugia, Italy, July 2008. (PDF)

2007

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

  • M. Porzio, G.L. Pozzato, and M. Vigilante. Publication Platform for the Results of Digitization and Documentation. Technical Report D18.2, PrestoSpace project, Italy, May 2007.

  • M. Porzio, G.L. Pozzato, and M. Vigilante. The Documentation Platform for the MAD Factory. Technical Report D18.1, PrestoSpace project, Italy, May 2007.

  • M. Porzio, G.L. Pozzato, and M. Vigilante. The Prestospace Orchestrator (PSO). Technical Report D19.0.1, PrestoSpace project, Italy, May 2007.

  • M. Porzio, G.L. Pozzato, and M. Vigilante. The Turnkey System for the MAD Factory. Technical Report D18.3, PrestoSpace project, Italy, May 2007.

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

2006

  • 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.

2005

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

2004

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

2003

  • 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).