Valentina Gliozzi

	2009
18		Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning About Typicality in ALC and EL. Description Logics 2009
17		Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436
16		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)
15		Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind: Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Log. 10(3): (2009)
	2008
14		Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205
	2007
13		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
12		Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Description Logics. LPAR 2007: 257-272
11		Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX 2007: 238-244
	2006
10		Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Automated Deduction for Logics of Default Reasoning. ECAI 2006: 757-758
9		Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202
8		Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning CoRR abs/cs/0611046: (2006)
	2005
7		Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681
6		Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168(1-2): 1-37 (2005)
	2003
5		Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind: Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101
	2002
4		Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Iterated Belief Revision and Conditional Logic. Studia Logica 70(1): 23-47 (2002)
	2001
3		Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Belief Revision and the Ramsey Test: A Solution. AI*IA 2001: 165-175
	2000
2		Laura Giordano, Valentina Gliozzi, Nicola Olivetti: A Conditional Logic for Iterated Belief Revision. ECAI 2000: 28-32
	1998
1		Laura Giordano, Valentina Gliozzi, Nicola Olivetti: A Conditional Logic for Belief Revision. JELIA 1998: 294-308

Coauthor Index

1	Laura Giordano	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
2	Nicola Olivetti	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [18]
3	Gian Luca Pozzato	[7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18]
4	Camilla Schwind	[5] [15]