icona publicationsPublications

List of publications:

Journals


  1. Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato, Preface, Fundamenta Informaticae 150(1), IOS Press, pp. 5 - 6, 2017. icona file pdf
  2. Gian Luca Pozzato, Reasoning About Plausible Scenarios in Description Logics of Typicality, Intelligenza Artificiale 11(1), IOS Press, pp. 25 - 45, 2017. icona file pdf
  3. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, Nested Sequent Calculi for Normal Conditional Logics, Journal of Logic and Computation 26(1), Oxford University Press, pp. 7 - 50, 2016. icona file pdf
  4. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Semantic characterization of Rational Closure: from Propositional Logic to Description Logics, Artificial Intelligence 226, Elsevier, pp. 1 - 33, 2015. icona file pdf
  5. Nicola Olivetti, Gian Luca Pozzato, Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND, Intelligenza Artificiale 9(2), IOS Press, pp. 109 - 125, 2015. icona file pdf
  6. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Logics in access control: a conditional approach, Journal of Logic and Computation 24(4), Oxford University Press, pp. 705 - 762, 2014. icona file pdf
  7. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A NonMonotonic Description Logic for Reasoning About Typicality, Artificial Intelligence 195(1), Elsevier, pp. 165 - 202, 2013. icona file pdf
  8. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind, Non-classical logics for knowledge representation and reasoning, Intelligenza Artificiale 5(1), IOS Press, pp. 127 - 131, 2011. icona file pdf
  9. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity, Electronic Notes in Theoretical Computer Science (ENTCS) 262, Elsevier, pp. 3 - 16, 2010. icona file pdf
  10. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning, ACM Transactions on Computational Logic (ToCL) 10(3), ACM, pp. 1 - 47, 2009. icona file pdf
  11. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, ALC+T: a preferential extension of description logics, Fundamenta Informaticae 96(3), IOS Press, pp. 341 - 372, 2009. icona file pdf
  12. Nicola Olivetti, Gian Luca Pozzato, Theorem Proving for Conditional Logics: CondLean and GoalDuck, Journal of Applied Non-Classical Logics 18(4), Taylor & Francis Online, pp. 427 - 473, 2008. icona file pdf
  13. Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind, A sequent calculus and a theorem prover for standard conditional logics, ACM Transactions on Computational Logic (ToCL) 8(4), ACM, pp. 1 - 51, 2007. icona file pdf


Proceedings of conferences


  1. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli, RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality, In Dario Della Monica, Nello Murano, Luigi Sauro, Eds, Proceedings of CILC 2017 - 32nd Italian Conference on Computational Logic, CEUR Workshop Proceedings 0. To appear, in press.
  2. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli, An Efficient Reasoner for Description Logics of Typicality and Rational Closure, In Alessandro Artale, Birte Glimm, Roman Kontchakov, Eds, Proceedings of Description Logics DL 2017 , CEUR Workshop Proceedings 1879, pp. 1 - 13, 2017. icona file pdf
  3. Gian Luca Pozzato, Reasoning in Description Logics with Typicalities and Probabilities of Exceptions, In Alessandro Antonucci, Laurence Cholvy, Odile Papini, Eds, Proceedings of ECSQARU 2017 - 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Lecture Notes in Artificial Intelligence LNAI 10369, Springer, pp. 409 - 420, 2017. icona file pdf
  4. Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato, Hypersequent Calculi for Lewis Conditional Logics with Uniformity, In Claudia Nalon and Renate Schmidt, Eds, Proceedings of TABLEAUX 2017 - 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence LNAI 10501, Springer, pp. 131 - 148, 2017. icona file pdf
  5. Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis, VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning, In Claudia Nalon and Renate Schmidt, Eds, Proceedings of TABLEAUX 2017 - 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence LNAI 10501, Springer, pp. 149 - 159, 2017. icona file pdf
  6. Gian Luca Pozzato, Reasoning About Surprising Scenarios in Description Logics of Typicality, In Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea, Eds, Advances in Artificial Intelligence: Proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, Lecture Notes in Artificial Intelligence LNAI 10037, Springer, pp. 418 - 432, 2016. icona file pdf
  7. Roberto Micalizio, Gian Luca Pozzato, A Typicality-based Revision to Handle Exceptions in Description Logics, In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, Eds, Proceedings of ECAI 2016 - 22nd European Conference on Artificial Intelligence, FAIA (Frontiers in Artificial Intelligence and Applications) 285, IOS Press, pp. 1650 - 1651, 2016. icona file pdf
  8. Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato, Standard Sequent Calculi for Lewis' Logics of Counterfactuals, In Loizos, A. and Kakas, A. C., Eds, Proceedings of JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence, Lecture Notes in Artificial Intelligence LNAI 10021, Springer, pp. 272 - 287, 2016. icona file pdf
  9. Gian Luca Pozzato, ALC + Texp: beyond most likely scenarios in preferential Description Logics of typicality, In Camillo Fiorentini, Alberto Momigliano, Eds, Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016), CEUR Workshop Proceedings 1645, pp. 37 - 52, 2016. icona file pdf
  10. Roberto Micalizio, Gian Luca Pozzato, Typicality-based revision for handling exceptions in Description Logics, In Camillo Fiorentini, Alberto Momigliano, Eds, Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016), CEUR Workshop Proceedings 1645, pp. 158 - 173, 2016. icona file pdf
  11. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti, DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics, In Diego Calvanese, Boris Konev, Eds, Proceedings of the 28th International Workshop on Description Logics (DL2015), CEUR Workshop Proceedings 1350, pp. 1 - 13, 2015. icona file pdf
  12. Nicola Olivetti, Gian Luca Pozzato, A natural sequent calculus for Lewis counterfactual logic V, In René Quiniou, Thomas Guye, Eds, Eds, Proceedings of of IAF 15: Journées d Intelligence Artificielle Fondamentale, 0, pp. 133 - 141, 2015. icona file pdf
  13. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti, A Multi-Engine Theorem Prover for a Description Logic of Typicality, In Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Eds, Proceedings the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Lecture Notes in Artificial Intelligence LNAI 9336, Springer, pp. 1 - 15, 2015. icona file pdf
  14. Gian Luca Pozzato, Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match, In Davide Ancona, Marco Maratea, Viviana Mascardi, Eds, Proceedings of the 30th Convegno Italiano di Logica Computazionale (CILC 2015), CEUR Workshop Proceedings 1459, pp. 159 - 174, 2015. icona file pdf
  15. Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Gian Luca Pozzato, Exploring new Frontiers of Social Computing with AThOS and ExceptionOWL, In , Eds, I-Cities 2015, 0, pp. 1 - 2, 2015. icona file pdf
  16. Nicola Olivetti, Gian Luca Pozzato, A standard and internal calculus for Lewis counterfactual logics, In Hans de Nivelle, Eds, Eds, Proceedings of the 22nd Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2015), Lecture Notes in Artificial Intelligence LNAI 9323, Springer, pp. 270 - 286, 2015. icona file pdf
  17. Nicola Olivetti, Gian Luca Pozzato, A natural sequent calculus for Lewis logic of counterfactuals, In Davide Ancona, Marco Maratea, Viviana Mascardi, Eds, Proceedings of the 30th Convegno Italiano di Logica Computazionale (CILC 2015), CEUR Workshop Proceedings 1459, pp. 13 - 18, 2015. icona file pdf
  18. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Rational Closure in SHIQ, In Meghyn Bienvenu, Riccardo Rosati, Eds, Proceedings of the 27th International Workshop on Description Logics (DL2014), CEUR Workshop Proceedings 1193, pp. 1 - 13, 2014. icona file pdf
  19. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Minimal models for rational closure in SHIQ, In Stefano Bistarelli, Andrea Formisano, Eds, Proceedings of the 15th Italian Conference on Theoretical Computer Science (ICTCS 2014), CEUR Workshop Proceedings 1231, pp. 271 - 277, 2014. icona file pdf
  20. Nicola Olivetti, Gian Luca Pozzato, NESCOND: an Implementation of Nested Sequent Calculi for Conditional Logics, In Stephane Demri, Deepak Kapur, Christoph Weidenbach, Eds, Proceedings of IJCAR 2014 (7th International Joint Conference on Automated Reasoning), Lecture Notes in Artificial Intelligence LNAI 8562, Springer, pp. 511 - 518, 2014. icona file pdf
  21. Roberto Micalizio, Gian Luca Pozzato, Revising Description Logic Terminologies to Handle Exceptions: a First Step, In Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Eds, CILC 2014 - 29o convegno italiano di logica computazionale, CEUR Workshop Proceedings 1195, pp. 225 - 240, 2014. icona file pdf
  22. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Rational closure for description logics of typicality, In Sébastien Konieczny, Nicolas Maudet, Eds, Proceedings of IAF 13: Journées d Intelligence Artificielle Fondamentale, 0, pp. 155 - 163, 2013.
  23. Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato, PreDeLo 1.0: a Theorem Prover for Preferential Description Logics, In Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio, Eds, Proceedings of AI*IA 2013, Lecture Notes in Artificial Intelligence LNAI 8249, Springer, pp. 60 - 72, 2013. icona file pdf
  24. Nicola Olivetti, Gian Luca Pozzato, Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics, In Marianna Nicolosi Asmundo, Domenico Cantone, Eds, Proceedings of CILC 2013, CEUR Workshop Proceedings 1068, pp. 49 - 63, 2013. icona file pdf
  25. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A semantics for Rational Closure: Preliminary Results, In Marianna Nicolosi Asmundo, Domenico Cantone, Eds, Proceedings of CILC 2013, CEUR Workshop Proceedings 1068, pp. 99 - 113, 2013. icona file pdf
  26. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Minimal Model Semantics and Rational Closure in Description Logics, In Thomas Eiter, Birte Glim, Yevgeny Kazakov, Markus Krötzsch, Eds, Informal Proceedings of the 26th International Workshop on Description Logics (DL 2013), CEUR Workshop Proceedings 1014, pp. 168 - 180, 2013. icona file pdf
  27. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A minimal model semantics for rational closure, In Riccardo Rosati, Stefan Woltran, Eds, Proceedings of NMR 2012: 14th International Workshop on Non-Monotonic Reasoning, 0, pp. 1 - 10, 2012. icona file pdf
  28. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A Modal Reconstruction of Rational Closure, In Francesca A. Lisi, Eds, Proceedings of the 9th Italian Convention on Computational Logic (CILC 2012), CEUR Workshop Proceedings 857, pp. 161 - 175, 2012. icona file pdf
  29. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, Nested Sequent Calculi for Conditional Logics, In Luis Farinas del Cerro, Andreas Herzig, Jéròme Mengin, Eds, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Lecture Notes in Artificial Intelligence LNAI 7519, Springer, pp. 14 - 27, 2012. icona file pdf
  30. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A minimal model semantics for nonmonotonic reasoning, In Luis Farinas del Cerro, Andreas Herzig, Jéròme Mengin, Eds, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Lecture Notes in Artificial Intelligence LNAI 7519, Springer, pp. 228 - 241, 2012. icona file pdf
  31. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A tableau calculus for a nonmonotonic extension of the Description Logic DL-Lite core, In Roberto Pirrone, Filippo Sorbello, Eds, AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Lecture Notes in Artificial Intelligence LNAI 6934, Springer, pp. 164 - 176, 2011. icona file pdf
  32. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning about typicality in low complexity DLs: the logics ELbottomTm box min and DL-litec T box m, In Toby Walsh, Eds, Proceedings of IJCAI 2011 (22nd International Joint Conference on Artificial Intelligence), 0, pp. 894 - 899, 2011. icona file pdf
  33. Davide D Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré, Verifying Compliance of Business Processes with Temporal Answer Sets, In Fabio Fioravanti, Eds, Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011), CEUR Workshop Proceedings 810, pp. 147 - 161, 2011. icona file pdf
  34. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods, In Fabio Fioravanti, Eds, Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011), CEUR Workshop Proceedings 810, pp. 41 - 55, 2011. icona file pdf
  35. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, A conditional constructive logic for access control and its sequent calculus, In Kai Brunnler, George Metcalfe, Eds, Automated Reasoning with Analytic Tableaux and Related Methods - Proceedings of TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Lecture Notes in Artificial Intelligence LNAI 6793, Springer, pp. 164 - 179, 2011. icona file pdf
  36. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A tableau calculus for a nonmonotonic extension of EL bottom, In Kai Brunnler, George Metcalfe, Eds, Automated Reasoning with Analytic Tableaux and Related Methods - Proceedings of TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Lecture Notes in Artificial Intelligence LNAI 6793, Springer, pp. 180 - 195, 2011. icona file pdf
  37. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A nonmonotonic extension of KLM Preferential Logic P, In Christian G. Fermüller, Andrei Voronkov, Eds, Logic for Programming, Artificial Intelligence, and Reasoning - Proceedings of LPAR 2010 (17th Conference on Logic for Programming, Artificial Intelligence, and Reasoning), ARCoSS LNCS 6397, Springer, pp. 317 - 332, 2010. icona file pdf
  38. Davide D Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Rognone, and Daniele Theseider Dupré, Verifying Business Process Compliance by Reasoning about Actions, In Jürgen Dix, João Leite, Guido Governatori, and Wojtek Jamroga, Eds, Computational Logic in Multi-Agent Systems - Proceedings of the 11th International Workshop CLIMA XI, special session in Norms and Normative Multi-Agent Systems, Lecture Notes in Artificial Intelligence LNAI 6245, Springer, pp. 99 - 116, 2010. icona file pdf
  39. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus, In Wolfgang Faber, Nicola Leone, Eds, Proceedings of the 25th Italian Conference on Computational Logic (CILC 2010), CEUR Workshop Proceedings 598, pp. 1 - 15, 2010. icona file pdf
  40. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment, In Wolfgang Faber, Nicola Leone, Eds, Proceedings of the 25th Italian Conference on Computational Logic (CILC 2010), CEUR Workshop Proceedings 598, pp. 1 - 15, 2010. icona file pdf
  41. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, A constructive conditional logic for access control: a preliminary report, In Helder Coelho, Rudi Studer, Michael Wooldridge, Eds, Proceedings of ECAI 2010 (19th European Conference on Artificial Intelligence), FAIA (Frontiers in Artificial Intelligence and Applications) 215, IOS Press, pp. 1073 - 1074, 2010. icona file pdf
  42. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Preferential vs Rational Description Logics: which one for Reasoning About Typicality?, In Helder Coelho, Rudi Studer, Michael Wooldridge, Eds, Proceedings of ECAI 2010 (19th European Conference on Artificial Intelligence), FAIA (Frontiers in Artificial Intelligence and Applications) 215, IOS Press, pp. 1069 - 1070, 2010. icona file pdf
  43. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity, In Thomas Bolander, Eds, Proceedings of the 6th International Workshop on Methods for Modalities (M4M-6), 0, pp. 163 - 175, 2009. icona file pdf
  44. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning about typicality in ALC and EL, In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, Eds, Proceedings of the 22nd International Workshop on Description Logics (DL 2009), CEUR Workshop Proceedings 477, pp. 1 - 13, 2009. icona file pdf
  45. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning about typicality with low complexity description logics: the logic EL+bottom T, In Roberto Serra, Rita Cucchiara, Eds, AI*IA 2009: Emergent Perspectives in Artificial Intelligence: : XI Conference of the Italian Association for Artificial Intelligence, Lecture Notes in Artificial Intelligence LNAI 5883, Springer, pp. 62 - 71, 2009. icona file pdf
  46. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A Non-monotonic Description Logic of Typicality, In Marco Gavanelli, Fabrizio Riguzzi, Eds, Proceedings of the 24th Italian Conference on Computational Logic (CILC 2009), 0, pp. 1 - 13, 2009. icona file pdf
  47. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Prototypical reasoning with low complexity description logics: preliminary results, In Fangzhen Lin, Torsten Schaub, Esra Erdem, Eds, Logic Programming and Nonmonotonic Reasoning - Proceedings of LPNMR 2009 (10th International Conference on Logic Programming and Nonmonotonic Reasoning), Lecture Notes in Artificial Intelligence LNAI 5753, Springer, pp. 430 - 436, 2009. icona file pdf
  48. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla B. Schwind, Non-Classical Logics for Knowledge Representation and Reasoning, In Matteo Baldoni, Cristina Baroglio, Eds, Il Milione (i.e. 2?6, June 3rd 2008) A Journey in the Computational Logic in Italy - Proceedings of the Day Dedicated to Prof. Alberto Martelli, CEUR Workshop Proceedings 487, pp. 76 - 81, 2008. icona file pdf
  49. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning About Typicality in Preferential Description Logics, In Steffen Hólldobler, Carsten Lutz, Heinrich Wansing, Eds, Logics in Artificial Intelligence: Proceedings of JELIA 2008 (11th European Conference on Logics in Artificial Intelligence), Lecture Notes in Artificial Intelligence LNAI 5293, Springer, pp. 192 - 205, 2008. icona file pdf
  50. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, ALC+T: Reasoning About Typicality in Description Logics, In Andrea Formisano, Eds, Proceedings of the 23rd Italian Conference on Computational Logic (CILC 2008), 0, pp. 1 - 15, 2008.
  51. Gian Luca Pozzato, Proof Methods for Conditional and Preferential Logics of Nonmonotonic Reasoning, In Andrea Formisano, Eds, Proceedings of the 23rd Italian Conference on Computational Logic (CILC 2008), 0, pp. 1 - 5, 2008.
  52. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Extension of Description Logics for Reasoning About Typicality, In Carlos Areces, Stéphane Demri, Eds, Proceedings of the 5th International Workshop on Methods for Modalities (M4M-5), 0, pp. 239 - 254, 2007. icona file pdf
  53. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, An Impelmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning, In Roberto Basili, Maria Teresa Pazienza, Eds, AI*IA 2007: Artificial Intelligence and Human-Oriented Computing - Proceedings of AI*IA 2007 (10th Congress of Italian Association for Artificial Intelligence), Lecture Notes in Artificial Intelligence LNAI 4733, Springer, pp. 84 - 96, 2007. icona file pdf
  54. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Preferential Description Logics, In Nachum Dershowitz, Andrei Voronkov, Eds, Logic for Programming, Artificial Intelligence, and Reasoning - Proceedings of LPAR 2007 (14th Conference on Logic for Programming, Artificial Intelligence, and Reasoning), Lecture Notes in Artificial Intelligence LNAI 4790, Springer, pp. 257 - 272, 2007. icona file pdf
  55. Nicola Olivetti, Gian Luca Pozzato, A Goal-Directed Calculus for Standard Conditional Logics, In Giacomo Fiumara, Marco Marchi, Alessandro Provetti, Eds, Proceedings of the 22nd Italian Conference on Computational Logic (CILC 2007), 0, pp. 1 - 16, 2007. icona file pdf
  56. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning, In Nicola Olivetti, Eds, Automated Reasoning with Analytic Tableaux and Related Methods - Proceedings of TABLEAUX 2007 (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Lecture Notes in Artificial Intelligence LNAI 4548, Springer, pp. 238 - 244, 2007. icona file pdf
  57. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations, In Giacomo Fiumara, Marco Marchi, Alessandro Provetti, Eds, Proceedings of the 22nd Italian Conference on Computational Logic (CILC 2007), 0, pp. 1 - 15, 2007. icona file pdf
  58. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Automated Deduction for Logics of Default Reasoning, In Gerard Brewka, Silvia Coradeschi, S., Perini, A., Traverso, P., Eds, ECAI 2006 - Proceedings of ECAI 2006 (17th European Conference on Artificial Intelligence), FAIA (Frontiers in Artificial Intelligence and Applications) 141, IOS Press, pp. 757 - 758, 2006. icona file pdf
  59. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Analytic Tableaux Calculi for KLM Rational Logic R, In Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa, Eds, Logics in Artificial Intelligence - Proceedings of JELIA 2006 (10th European Conference on Logics in Artificial Intelligence), Lecture Notes in Artificial Intelligence LNAI 4160, Springer, pp. 190 - 202, 2006. icona file pdf
  60. Nicola Olivetti, Gian Luca Pozzato, KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning, In Holger Schlingloff, Eds, Proceedings of the 4th International Workshop on Methods for Modalities (M4M-4), 0, pp. 235 - 245, 2005. icona file pdf
  61. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Analytic Tableaux for KLM Preferential and Cumulative Logics, In Geoff Sutcliff, Andrei Voronkov, Eds, Logic for Programming, Artificial Intelligence, and Reasoning - Proceedings of LPAR 2005 (12th Conference on Logic for Programming, Artificial Intelligence, and Reasoning), Lecture Notes in Artificial Intelligence LNAI 3835, Springer, pp. 666 - 681, 2005.
  62. Nicola Olivetti, Gian Luca Pozzato, CondLean 3.0: Improving Condlean for Stronger Conditional Logics, In Bernhard Beckert, Eds, Automated Reasoning with Analytic Tableaux and Related Methods - Proceedings of TABLEAUX 2005 (14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Lecture Notes in Artificial Intelligence LNAI 3702, Springer, pp. 328 - 332, 2005.
  63. Nicola Olivetti, Gian Luca Pozzato, CondLean: A Theorem Prover for Conditional Logics, In Marta Cialdea Mayer, Fiora Pirri, Eds, Automated Reasoning with Analytic Tableaux and Related Methods - Proceedings of TABLEAUX 2003 (12th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Lecture Notes in Artificial Intelligence LNAI 2796, Springer, pp. 264 - 270, 2003.


Books and Chapters


  1. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Preferential Tableau Calculi TPT, Towards an Encyclopaedia of Proof Systems, College Publications, pp. 61 - 62, 2017. icona file pdf
  2. Nicola Olivetti, Gian Luca Pozzato, Camilla B. Schwind, Conditional Labelled Sequent Calculi SeqS, Towards an Encyclopaedia of Proof Systems, College Publications, pp. 60 - 60, 2017. icona file pdf
  3. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, Conditional Nested Sequents NS, Towards an Encyclopaedia of Proof Systems, College Publications, pp. 75 - 75, 2017. icona file pdf
  4. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, CILC 2014 - 29o convegno italiano di logica computazionale, 0, pp. 1 - 404, 2014. icona file pdf
  5. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Proceedings of the 29th Italian Conference on Computational Logic, CEUR Workshop Proceedings 1195, pp. 1 - 346, 2014. icona file pdf
  6. Davide D Aprile, Laura Giordano, Alberto Martelli, Gian Luca Pozzato, Daniele Rognone, and Daniele Theseider Dupré, Business Process Compliance Verification: An Annotation Based Approach with Commitments, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, , pp. 563 - 570, 2012. icona file pdf
  7. Gian Luca Pozzato, Conditional and preferential logics: Proof methods and theorem proving, FAIA (Frontiers in Artificial Intelligence and Applications) 208, IOS Press, pp. 1 - 216, 2010. icona file pdf
  8. Nicola Olivetti, Gian Luca Pozzato, Automated Reasoning for Conditional Logics: the Theorem Prover CondLean 3.1, Perspectives on Universal Logic, , pp. 395 - 415, 2007. icona file pdf


Thesis


  1. Gian Luca Pozzato, Proof Methods for Conditional and Preferential Logics, PhD Thesis, Università degli Studi di Torino, 2007 icona file pdf
  2. Gian Luca Pozzato, Deduzione automatica per logiche condizionali: analisi e sviluppo di un theorem prover, Tesi di Laurea in Informatica, Università degli Studi di Torino, 2003 icona file pdf


Other works

  1. Nicola Olivetti, Gian Luca Pozzato, A sequent calculus for Lewis logic V: preliminary results, Technical report Dipartimento di Informatica, Università degli Studi di Torino 1, , pp. 1 - 32, 2015. icona file pdf
  2. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Preliminary result on the definition of a minimal model semantics for Rational Closure, Technical report Dipartimento di Informatica, Università degli Studi di Torino 0, , pp. 1 - 0, 2013.
  3. Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato, A tableaux calculus for ALC+TminR, Technical report Dipartimento di Informatica, Università degli Studi di Torino 0, , pp. 1 - 31, 2013. icona file pdf
  4. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, Nested Sequent Calculi for Conditional Logics: Preliminary Results, Technical report Dipartimento di Informatica, Università degli Studi di Torino 1, , pp. 1 - 43, 2012. icona file pdf
  5. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, CondACL: a Constructive Conditional Logic for Access Control - Semantics and Proof Theory, Technical report Dipartimento di Informatica, Università degli Studi di Torino 127, , pp. 1 - 19, 2010. icona file pdf
  6. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, A constructive conditional logic for access control: a completeness result, Technical report Dipartimento di Informatica, Università degli Studi di Torino 125, , pp. 1 - 7, 2010. icona file pdf
  7. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, On Extending Description Logics for Reasoning About Typicality: a First Step, Technical report Dipartimento di Informatica, Università degli Studi di Torino 116, , pp. 1 - 27, 2009. icona file pdf
  8. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning About Typicality in Low Complexity Description Logics: Preliminary Results, Technical report Dipartimento di Informatica, Università degli Studi di Torino 121, , pp. 1 - 19, 2009.
  9. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Tableau Calculi for KLM Logics: extended version, Technical report Dipartimento di Informatica, Università degli Studi di Torino 102, , pp. 1 - 82, 2007. icona file pdf
  10. Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind, A Sequent Calculus and a Theorem Prover for Standard Conditional Logics: Extended version, Technical report Dipartimento di Informatica, Università degli Studi di Torino 87, , pp. 1 - 77, 2005. icona file pdf
  11. Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind, A Sequent Calculus and a Theorem Prover for Standard Conditional Logics: Extended version, Technical report Dipartimento di Informatica, Università degli Studi di Torino 81, , pp. 1 - 45, 2004. icona file pdf


By year

2017

  1. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli, An Efficient Reasoner for Description Logics of Typicality and Rational Closure, In Alessandro Artale, Birte Glimm, Roman Kontchakov, Eds, Proceedings of Description Logics DL 2017 , CEUR Workshop Proceedings 1879, pp. 1 - 13, 2017. icona file pdf
  2. Gian Luca Pozzato, Reasoning in Description Logics with Typicalities and Probabilities of Exceptions, In Alessandro Antonucci, Laurence Cholvy, Odile Papini, Eds, Proceedings of ECSQARU 2017 - 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Lecture Notes in Artificial Intelligence LNAI 10369, Springer, pp. 409 - 420, 2017. icona file pdf
  3. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, Conditional Nested Sequents NS, Towards an Encyclopaedia of Proof Systems, College Publications, pp. 75 - 75, 2017. icona file pdf
  4. Nicola Olivetti, Gian Luca Pozzato, Camilla B. Schwind, Conditional Labelled Sequent Calculi SeqS, Towards an Encyclopaedia of Proof Systems, College Publications, pp. 60 - 60, 2017. icona file pdf
  5. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Preferential Tableau Calculi TPT, Towards an Encyclopaedia of Proof Systems, College Publications, pp. 61 - 62, 2017. icona file pdf
  6. Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato, Preface, Fundamenta Informaticae 150(1), IOS Press, pp. 5 - 6, 2017. icona file pdf
  7. Gian Luca Pozzato, Reasoning About Plausible Scenarios in Description Logics of Typicality, Intelligenza Artificiale 11(1), IOS Press, pp. 25 - 45, 2017. icona file pdf
  8. Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato, Hypersequent Calculi for Lewis Conditional Logics with Uniformity, In Claudia Nalon and Renate Schmidt, Eds, Proceedings of TABLEAUX 2017 - 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence LNAI 10501, Springer, pp. 131 - 148, 2017. icona file pdf
  9. Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis, VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning, In Claudia Nalon and Renate Schmidt, Eds, Proceedings of TABLEAUX 2017 - 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence LNAI 10501, Springer, pp. 149 - 159, 2017. icona file pdf

2016

  1. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, Nested Sequent Calculi for Normal Conditional Logics, Journal of Logic and Computation 26(1), Oxford University Press, pp. 7 - 50, 2016. icona file pdf
  2. Gian Luca Pozzato, Reasoning About Surprising Scenarios in Description Logics of Typicality, In Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea, Eds, Advances in Artificial Intelligence: Proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, Lecture Notes in Artificial Intelligence LNAI 10037, Springer, pp. 418 - 432, 2016. icona file pdf
  3. Gian Luca Pozzato, ALC + Texp: beyond most likely scenarios in preferential Description Logics of typicality, In Camillo Fiorentini, Alberto Momigliano, Eds, Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016), CEUR Workshop Proceedings 1645, pp. 37 - 52, 2016. icona file pdf
  4. Roberto Micalizio, Gian Luca Pozzato, Typicality-based revision for handling exceptions in Description Logics, In Camillo Fiorentini, Alberto Momigliano, Eds, Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016), CEUR Workshop Proceedings 1645, pp. 158 - 173, 2016. icona file pdf
  5. Roberto Micalizio, Gian Luca Pozzato, A Typicality-based Revision to Handle Exceptions in Description Logics, In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, Eds, Proceedings of ECAI 2016 - 22nd European Conference on Artificial Intelligence, FAIA (Frontiers in Artificial Intelligence and Applications) 285, IOS Press, pp. 1650 - 1651, 2016. icona file pdf
  6. Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato, Standard Sequent Calculi for Lewis' Logics of Counterfactuals, In Loizos, A. and Kakas, A. C., Eds, Proceedings of JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence, Lecture Notes in Artificial Intelligence LNAI 10021, Springer, pp. 272 - 287, 2016. icona file pdf

2015

  1. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Semantic characterization of Rational Closure: from Propositional Logic to Description Logics, Artificial Intelligence 226, Elsevier, pp. 1 - 33, 2015. icona file pdf
  2. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti, DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics, In Diego Calvanese, Boris Konev, Eds, Proceedings of the 28th International Workshop on Description Logics (DL2015), CEUR Workshop Proceedings 1350, pp. 1 - 13, 2015. icona file pdf
  3. Nicola Olivetti, Gian Luca Pozzato, Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND, Intelligenza Artificiale 9(2), IOS Press, pp. 109 - 125, 2015. icona file pdf
  4. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti, A Multi-Engine Theorem Prover for a Description Logic of Typicality, In Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Eds, Proceedings the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Lecture Notes in Artificial Intelligence LNAI 9336, Springer, pp. 1 - 15, 2015. icona file pdf
  5. Nicola Olivetti, Gian Luca Pozzato, A natural sequent calculus for Lewis logic of counterfactuals, In Davide Ancona, Marco Maratea, Viviana Mascardi, Eds, Proceedings of the 30th Convegno Italiano di Logica Computazionale (CILC 2015), CEUR Workshop Proceedings 1459, pp. 13 - 18, 2015. icona file pdf
  6. Gian Luca Pozzato, Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match, In Davide Ancona, Marco Maratea, Viviana Mascardi, Eds, Proceedings of the 30th Convegno Italiano di Logica Computazionale (CILC 2015), CEUR Workshop Proceedings 1459, pp. 159 - 174, 2015. icona file pdf
  7. Nicola Olivetti, Gian Luca Pozzato, A natural sequent calculus for Lewis counterfactual logic V, In René Quiniou, Thomas Guye, Eds, Eds, Proceedings of of IAF 15: Journées d Intelligence Artificielle Fondamentale, 0, pp. 133 - 141, 2015. icona file pdf
  8. Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Gian Luca Pozzato, Exploring new Frontiers of Social Computing with AThOS and ExceptionOWL, In , Eds, I-Cities 2015, 0, pp. 1 - 2, 2015. icona file pdf
  9. Nicola Olivetti, Gian Luca Pozzato, A standard and internal calculus for Lewis counterfactual logics, In Hans de Nivelle, Eds, Eds, Proceedings of the 22nd Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2015), Lecture Notes in Artificial Intelligence LNAI 9323, Springer, pp. 270 - 286, 2015. icona file pdf
  10. Nicola Olivetti, Gian Luca Pozzato, A sequent calculus for Lewis logic V: preliminary results, Technical report Dipartimento di Informatica, Università degli Studi di Torino 1, , pp. 1 - 32, 2015. icona file pdf

2014

  1. Nicola Olivetti, Gian Luca Pozzato, NESCOND: an Implementation of Nested Sequent Calculi for Conditional Logics, In Stephane Demri, Deepak Kapur, Christoph Weidenbach, Eds, Proceedings of IJCAR 2014 (7th International Joint Conference on Automated Reasoning), Lecture Notes in Artificial Intelligence LNAI 8562, Springer, pp. 511 - 518, 2014. icona file pdf
  2. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, CILC 2014 - 29o convegno italiano di logica computazionale, 0, pp. 1 - 404, 2014. icona file pdf
  3. Roberto Micalizio, Gian Luca Pozzato, Revising Description Logic Terminologies to Handle Exceptions: a First Step, In Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Eds, CILC 2014 - 29o convegno italiano di logica computazionale, CEUR Workshop Proceedings 1195, pp. 225 - 240, 2014. icona file pdf
  4. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Proceedings of the 29th Italian Conference on Computational Logic, CEUR Workshop Proceedings 1195, pp. 1 - 346, 2014. icona file pdf
  5. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Rational Closure in SHIQ, In Meghyn Bienvenu, Riccardo Rosati, Eds, Proceedings of the 27th International Workshop on Description Logics (DL2014), CEUR Workshop Proceedings 1193, pp. 1 - 13, 2014. icona file pdf
  6. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Minimal models for rational closure in SHIQ, In Stefano Bistarelli, Andrea Formisano, Eds, Proceedings of the 15th Italian Conference on Theoretical Computer Science (ICTCS 2014), CEUR Workshop Proceedings 1231, pp. 271 - 277, 2014. icona file pdf
  7. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Logics in access control: a conditional approach, Journal of Logic and Computation 24(4), Oxford University Press, pp. 705 - 762, 2014. icona file pdf

2013

  1. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A NonMonotonic Description Logic for Reasoning About Typicality, Artificial Intelligence 195(1), Elsevier, pp. 165 - 202, 2013. icona file pdf
  2. Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato, PreDeLo 1.0: a Theorem Prover for Preferential Description Logics, In Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio, Eds, Proceedings of AI*IA 2013, Lecture Notes in Artificial Intelligence LNAI 8249, Springer, pp. 60 - 72, 2013. icona file pdf
  3. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A semantics for Rational Closure: Preliminary Results, In Marianna Nicolosi Asmundo, Domenico Cantone, Eds, Proceedings of CILC 2013, CEUR Workshop Proceedings 1068, pp. 99 - 113, 2013. icona file pdf
  4. Nicola Olivetti, Gian Luca Pozzato, Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics, In Marianna Nicolosi Asmundo, Domenico Cantone, Eds, Proceedings of CILC 2013, CEUR Workshop Proceedings 1068, pp. 49 - 63, 2013. icona file pdf
  5. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Minimal Model Semantics and Rational Closure in Description Logics, In Thomas Eiter, Birte Glim, Yevgeny Kazakov, Markus Krötzsch, Eds, Informal Proceedings of the 26th International Workshop on Description Logics (DL 2013), CEUR Workshop Proceedings 1014, pp. 168 - 180, 2013. icona file pdf
  6. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Rational closure for description logics of typicality, In Sébastien Konieczny, Nicolas Maudet, Eds, Proceedings of IAF 13: Journées d Intelligence Artificielle Fondamentale, 0, pp. 155 - 163, 2013.
  7. Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato, A tableaux calculus for ALC+TminR, Technical report Dipartimento di Informatica, Università degli Studi di Torino 0, , pp. 1 - 31, 2013. icona file pdf
  8. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Preliminary result on the definition of a minimal model semantics for Rational Closure, Technical report Dipartimento di Informatica, Università degli Studi di Torino 0, , pp. 1 - 0, 2013.

2012

  1. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A Modal Reconstruction of Rational Closure, In Francesca A. Lisi, Eds, Proceedings of the 9th Italian Convention on Computational Logic (CILC 2012), CEUR Workshop Proceedings 857, pp. 161 - 175, 2012. icona file pdf
  2. Davide D Aprile, Laura Giordano, Alberto Martelli, Gian Luca Pozzato, Daniele Rognone, and Daniele Theseider Dupré, Business Process Compliance Verification: An Annotation Based Approach with Commitments, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, , pp. 563 - 570, 2012. icona file pdf
  3. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, Nested Sequent Calculi for Conditional Logics, In Luis Farinas del Cerro, Andreas Herzig, Jéròme Mengin, Eds, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Lecture Notes in Artificial Intelligence LNAI 7519, Springer, pp. 14 - 27, 2012. icona file pdf
  4. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A minimal model semantics for nonmonotonic reasoning, In Luis Farinas del Cerro, Andreas Herzig, Jéròme Mengin, Eds, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Lecture Notes in Artificial Intelligence LNAI 7519, Springer, pp. 228 - 241, 2012. icona file pdf
  5. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, Nested Sequent Calculi for Conditional Logics: Preliminary Results, Technical report Dipartimento di Informatica, Università degli Studi di Torino 1, , pp. 1 - 43, 2012. icona file pdf
  6. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A minimal model semantics for rational closure, In Riccardo Rosati, Stefan Woltran, Eds, Proceedings of NMR 2012: 14th International Workshop on Non-Monotonic Reasoning, 0, pp. 1 - 10, 2012. icona file pdf

2011

  1. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A tableau calculus for a nonmonotonic extension of the Description Logic DL-Lite core, In Roberto Pirrone, Filippo Sorbello, Eds, AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Lecture Notes in Artificial Intelligence LNAI 6934, Springer, pp. 164 - 176, 2011. icona file pdf
  2. Davide D Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré, Verifying Compliance of Business Processes with Temporal Answer Sets, In Fabio Fioravanti, Eds, Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011), CEUR Workshop Proceedings 810, pp. 147 - 161, 2011. icona file pdf
  3. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods, In Fabio Fioravanti, Eds, Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011), CEUR Workshop Proceedings 810, pp. 41 - 55, 2011. icona file pdf
  4. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind, Non-classical logics for knowledge representation and reasoning, Intelligenza Artificiale 5(1), IOS Press, pp. 127 - 131, 2011. icona file pdf
  5. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning about typicality in low complexity DLs: the logics ELbottomTm box min and DL-litec T box m, In Toby Walsh, Eds, Proceedings of IJCAI 2011 (22nd International Joint Conference on Artificial Intelligence), 0, pp. 894 - 899, 2011. icona file pdf
  6. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, A conditional constructive logic for access control and its sequent calculus, In Kai Brunnler, George Metcalfe, Eds, Automated Reasoning with Analytic Tableaux and Related Methods - Proceedings of TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Lecture Notes in Artificial Intelligence LNAI 6793, Springer, pp. 164 - 179, 2011. icona file pdf
  7. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A tableau calculus for a nonmonotonic extension of EL bottom, In Kai Brunnler, George Metcalfe, Eds, Automated Reasoning with Analytic Tableaux and Related Methods - Proceedings of TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Lecture Notes in Artificial Intelligence LNAI 6793, Springer, pp. 180 - 195, 2011. icona file pdf

2010

  1. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, A constructive conditional logic for access control: a completeness result, Technical report Dipartimento di Informatica, Università degli Studi di Torino 125, , pp. 1 - 7, 2010. icona file pdf
  2. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus, In Wolfgang Faber, Nicola Leone, Eds, Proceedings of the 25th Italian Conference on Computational Logic (CILC 2010), CEUR Workshop Proceedings 598, pp. 1 - 15, 2010. icona file pdf
  3. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment, In Wolfgang Faber, Nicola Leone, Eds, Proceedings of the 25th Italian Conference on Computational Logic (CILC 2010), CEUR Workshop Proceedings 598, pp. 1 - 15, 2010. icona file pdf
  4. Davide D Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Rognone, and Daniele Theseider Dupré, Verifying Business Process Compliance by Reasoning about Actions, In Jürgen Dix, João Leite, Guido Governatori, and Wojtek Jamroga, Eds, Computational Logic in Multi-Agent Systems - Proceedings of the 11th International Workshop CLIMA XI, special session in Norms and Normative Multi-Agent Systems, Lecture Notes in Artificial Intelligence LNAI 6245, Springer, pp. 99 - 116, 2010. icona file pdf
  5. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, CondACL: a Constructive Conditional Logic for Access Control - Semantics and Proof Theory, Technical report Dipartimento di Informatica, Università degli Studi di Torino 127, , pp. 1 - 19, 2010. icona file pdf
  6. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, A constructive conditional logic for access control: a preliminary report, In Helder Coelho, Rudi Studer, Michael Wooldridge, Eds, Proceedings of ECAI 2010 (19th European Conference on Artificial Intelligence), FAIA (Frontiers in Artificial Intelligence and Applications) 215, IOS Press, pp. 1073 - 1074, 2010. icona file pdf
  7. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Preferential vs Rational Description Logics: which one for Reasoning About Typicality?, In Helder Coelho, Rudi Studer, Michael Wooldridge, Eds, Proceedings of ECAI 2010 (19th European Conference on Artificial Intelligence), FAIA (Frontiers in Artificial Intelligence and Applications) 215, IOS Press, pp. 1069 - 1070, 2010. icona file pdf
  8. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity, Electronic Notes in Theoretical Computer Science (ENTCS) 262, Elsevier, pp. 3 - 16, 2010. icona file pdf
  9. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A nonmonotonic extension of KLM Preferential Logic P, In Christian G. Fermüller, Andrei Voronkov, Eds, Logic for Programming, Artificial Intelligence, and Reasoning - Proceedings of LPAR 2010 (17th Conference on Logic for Programming, Artificial Intelligence, and Reasoning), ARCoSS LNCS 6397, Springer, pp. 317 - 332, 2010. icona file pdf
  10. Gian Luca Pozzato, Conditional and preferential logics: Proof methods and theorem proving, FAIA (Frontiers in Artificial Intelligence and Applications) 208, IOS Press, pp. 1 - 216, 2010. icona file pdf

2009

  1. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning about typicality with low complexity description logics: the logic EL+bottom T, In Roberto Serra, Rita Cucchiara, Eds, AI*IA 2009: Emergent Perspectives in Artificial Intelligence: : XI Conference of the Italian Association for Artificial Intelligence, Lecture Notes in Artificial Intelligence LNAI 5883, Springer, pp. 62 - 71, 2009. icona file pdf
  2. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, A Non-monotonic Description Logic of Typicality, In Marco Gavanelli, Fabrizio Riguzzi, Eds, Proceedings of the 24th Italian Conference on Computational Logic (CILC 2009), 0, pp. 1 - 13, 2009. icona file pdf
  3. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning about typicality in ALC and EL, In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, Eds, Proceedings of the 22nd International Workshop on Description Logics (DL 2009), CEUR Workshop Proceedings 477, pp. 1 - 13, 2009. icona file pdf
  4. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, ALC+T: a preferential extension of description logics, Fundamenta Informaticae 96(3), IOS Press, pp. 341 - 372, 2009. icona file pdf
  5. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Prototypical reasoning with low complexity description logics: preliminary results, In Fangzhen Lin, Torsten Schaub, Esra Erdem, Eds, Logic Programming and Nonmonotonic Reasoning - Proceedings of LPNMR 2009 (10th International Conference on Logic Programming and Nonmonotonic Reasoning), Lecture Notes in Artificial Intelligence LNAI 5753, Springer, pp. 430 - 436, 2009. icona file pdf
  6. Regis Alenda, Nicola Olivetti, Gian Luca Pozzato, CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity, In Thomas Bolander, Eds, Proceedings of the 6th International Workshop on Methods for Modalities (M4M-6), 0, pp. 163 - 175, 2009. icona file pdf
  7. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning, ACM Transactions on Computational Logic (ToCL) 10(3), ACM, pp. 1 - 47, 2009. icona file pdf
  8. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, On Extending Description Logics for Reasoning About Typicality: a First Step, Technical report Dipartimento di Informatica, Università degli Studi di Torino 116, , pp. 1 - 27, 2009. icona file pdf
  9. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning About Typicality in Low Complexity Description Logics: Preliminary Results, Technical report Dipartimento di Informatica, Università degli Studi di Torino 121, , pp. 1 - 19, 2009.

2008

  1. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, ALC+T: Reasoning About Typicality in Description Logics, In Andrea Formisano, Eds, Proceedings of the 23rd Italian Conference on Computational Logic (CILC 2008), 0, pp. 1 - 15, 2008.
  2. Gian Luca Pozzato, Proof Methods for Conditional and Preferential Logics of Nonmonotonic Reasoning, In Andrea Formisano, Eds, Proceedings of the 23rd Italian Conference on Computational Logic (CILC 2008), 0, pp. 1 - 5, 2008.
  3. Nicola Olivetti, Gian Luca Pozzato, Theorem Proving for Conditional Logics: CondLean and GoalDuck, Journal of Applied Non-Classical Logics 18(4), Taylor & Francis Online, pp. 427 - 473, 2008. icona file pdf
  4. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Reasoning About Typicality in Preferential Description Logics, In Steffen Hólldobler, Carsten Lutz, Heinrich Wansing, Eds, Logics in Artificial Intelligence: Proceedings of JELIA 2008 (11th European Conference on Logics in Artificial Intelligence), Lecture Notes in Artificial Intelligence LNAI 5293, Springer, pp. 192 - 205, 2008. icona file pdf
  5. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla B. Schwind, Non-Classical Logics for Knowledge Representation and Reasoning, In Matteo Baldoni, Cristina Baroglio, Eds, Il Milione (i.e. 2?6, June 3rd 2008) A Journey in the Computational Logic in Italy - Proceedings of the Day Dedicated to Prof. Alberto Martelli, CEUR Workshop Proceedings 487, pp. 76 - 81, 2008. icona file pdf

2007

  1. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, An Impelmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning, In Roberto Basili, Maria Teresa Pazienza, Eds, AI*IA 2007: Artificial Intelligence and Human-Oriented Computing - Proceedings of AI*IA 2007 (10th Congress of Italian Association for Artificial Intelligence), Lecture Notes in Artificial Intelligence LNAI 4733, Springer, pp. 84 - 96, 2007. icona file pdf
  2. Nicola Olivetti, Gian Luca Pozzato, A Goal-Directed Calculus for Standard Conditional Logics, In Giacomo Fiumara, Marco Marchi, Alessandro Provetti, Eds, Proceedings of the 22nd Italian Conference on Computational Logic (CILC 2007), 0, pp. 1 - 16, 2007. icona file pdf
  3. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations, In Giacomo Fiumara, Marco Marchi, Alessandro Provetti, Eds, Proceedings of the 22nd Italian Conference on Computational Logic (CILC 2007), 0, pp. 1 - 15, 2007. icona file pdf
  4. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Preferential Description Logics, In Nachum Dershowitz, Andrei Voronkov, Eds, Logic for Programming, Artificial Intelligence, and Reasoning - Proceedings of LPAR 2007 (14th Conference on Logic for Programming, Artificial Intelligence, and Reasoning), Lecture Notes in Artificial Intelligence LNAI 4790, Springer, pp. 257 - 272, 2007. icona file pdf
  5. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Extension of Description Logics for Reasoning About Typicality, In Carlos Areces, Stéphane Demri, Eds, Proceedings of the 5th International Workshop on Methods for Modalities (M4M-5), 0, pp. 239 - 254, 2007. icona file pdf
  6. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning, In Nicola Olivetti, Eds, Automated Reasoning with Analytic Tableaux and Related Methods - Proceedings of TABLEAUX 2007 (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Lecture Notes in Artificial Intelligence LNAI 4548, Springer, pp. 238 - 244, 2007. icona file pdf
  7. Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind, A sequent calculus and a theorem prover for standard conditional logics, ACM Transactions on Computational Logic (ToCL) 8(4), ACM, pp. 1 - 51, 2007. icona file pdf
  8. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Tableau Calculi for KLM Logics: extended version, Technical report Dipartimento di Informatica, Università degli Studi di Torino 102, , pp. 1 - 82, 2007. icona file pdf
  9. Nicola Olivetti, Gian Luca Pozzato, Automated Reasoning for Conditional Logics: the Theorem Prover CondLean 3.1, Perspectives on Universal Logic, , pp. 395 - 415, 2007. icona file pdf

2006

  1. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Automated Deduction for Logics of Default Reasoning, In Gerard Brewka, Silvia Coradeschi, S., Perini, A., Traverso, P., Eds, ECAI 2006 - Proceedings of ECAI 2006 (17th European Conference on Artificial Intelligence), FAIA (Frontiers in Artificial Intelligence and Applications) 141, IOS Press, pp. 757 - 758, 2006. icona file pdf
  2. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Analytic Tableaux Calculi for KLM Rational Logic R, In Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa, Eds, Logics in Artificial Intelligence - Proceedings of JELIA 2006 (10th European Conference on Logics in Artificial Intelligence), Lecture Notes in Artificial Intelligence LNAI 4160, Springer, pp. 190 - 202, 2006. icona file pdf

2005

  1. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Analytic Tableaux for KLM Preferential and Cumulative Logics, In Geoff Sutcliff, Andrei Voronkov, Eds, Logic for Programming, Artificial Intelligence, and Reasoning - Proceedings of LPAR 2005 (12th Conference on Logic for Programming, Artificial Intelligence, and Reasoning), Lecture Notes in Artificial Intelligence LNAI 3835, Springer, pp. 666 - 681, 2005.
  2. Nicola Olivetti, Gian Luca Pozzato, KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning, In Holger Schlingloff, Eds, Proceedings of the 4th International Workshop on Methods for Modalities (M4M-4), 0, pp. 235 - 245, 2005. icona file pdf
  3. Nicola Olivetti, Gian Luca Pozzato, CondLean 3.0: Improving Condlean for Stronger Conditional Logics, In Bernhard Beckert, Eds, Automated Reasoning with Analytic Tableaux and Related Methods - Proceedings of TABLEAUX 2005 (14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Lecture Notes in Artificial Intelligence LNAI 3702, Springer, pp. 328 - 332, 2005.
  4. Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind, A Sequent Calculus and a Theorem Prover for Standard Conditional Logics: Extended version, Technical report Dipartimento di Informatica, Università degli Studi di Torino 87, , pp. 1 - 77, 2005. icona file pdf

2004

  1. Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind, A Sequent Calculus and a Theorem Prover for Standard Conditional Logics: Extended version, Technical report Dipartimento di Informatica, Università degli Studi di Torino 81, , pp. 1 - 45, 2004. icona file pdf

2003

  1. Nicola Olivetti, Gian Luca Pozzato, CondLean: A Theorem Prover for Conditional Logics, In Marta Cialdea Mayer, Fiora Pirri, Eds, Automated Reasoning with Analytic Tableaux and Related Methods - Proceedings of TABLEAUX 2003 (12th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Lecture Notes in Artificial Intelligence LNAI 2796, Springer, pp. 264 - 270, 2003.