Gian Luca Pozzato

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195: 165-202 (2013)

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Modal Reconstruction of Rational Closure. CILC 2012: 161-175

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics 2012

Régis Alenda, Nicola Olivetti, Gian Luca Pozzato: Nested Sequent Calculi for Conditional Logics. JELIA 2012: 14-27

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA 2012: 228-241

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

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. AI*IA 2011: 164-176

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC 2011: 41-55

Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré: Verifying Compliance of Business Processes with Temporal Answer Sets. CILC 2011: 147-161

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning about Typicality in Low Complexity DLs: The Logics EL^⊥T_min and DL-Lite_c T_min. IJCAI 2011: 894-899

Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX 2011: 164-179

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Tableau Calculus for a Nonmonotonic Extension of EL^{^}\mathcal{EL}^\bot. TABLEAUX 2011: 180-195

Gian Luca Pozzato: Conditional and Preferential Logics: Proof Methods and Theorem Proving. Frontiers in Artificial Intelligence and Applications 208, IOS Press 2010, isbn 978-1-60750-094-0, pp. 1-200

Régis Alenda, Nicola Olivetti, Gian Luca Pozzato: CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. Electr. Notes Theor. Comput. Sci. 262: 3-16 (2010)

Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: A Constructive Conditional Logic for Access Control. CILC 2010

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC 2010

Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré: Verifying Business Process Compliance by Reasoning about Actions. CLIMA 2010: 99-116

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI 2010: 1069-1070

Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: A constructive conditional logic for access control: a preliminary report. ECAI 2010: 1073-1074

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) 2010: 317-332

Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato: ALC + T: a Preferential Extension of Description Logics. Fundam. Inform. 96(3): 341-372 (2009)

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3) (2009)

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning about Typicality with Low Complexity Description Logics: The Logic EL^{+^}T. AI*IA 2009: 62-71

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning About Typicality in ALC and EL. Description Logics 2009

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205

Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind: A sequent calculus and a theorem prover for standard conditional logics. ACM Trans. Comput. Log. 8(4) (2007)

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. AI*IA 2007: 84-96

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Description Logics. LPAR 2007: 257-272

Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX 2007: 238-244

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Automated Deduction for Logics of Default Reasoning. ECAI 2006: 757-758

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. CoRR abs/cs/0611046 (2006)

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681

Nicola Olivetti, Gian Luca Pozzato: CondLean 3.0: Improving CondLean for Stronger Conditional Logics. TABLEAUX 2005: 328-332

Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind: A Sequent Calculus and a Theorem Prover for Standard Conditional Logics. CoRR cs.LO/0407064 (2004)

Nicola Olivetti, Gian Luca Pozzato: CondLean: A Theorem Prover for Conditional Logics. TABLEAUX 2003: 264-270