Nicola Olivetti

2007
40		Nicola Olivetti: Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings Springer 2007
39	EE	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
38	EE	Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Description Logics. LPAR 2007: 257-272
37	EE	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)
2006
36		Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Automated Deduction for Logics of Default Reasoning. ECAI 2006: 757-758
35	EE	Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202
34	EE	Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning CoRR abs/cs/0611046: (2006)
2005
33	EE	Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681
32	EE	Nicola Olivetti, Gian Luca Pozzato: CondLean 3.0: Improving CondLean for Stronger Conditional Logics. TABLEAUX 2005: 328-332
31		George Metcalfe, Nicola Olivetti: Goal-Directed Methods for Fuzzy Logics. We Will Show Them! (2) 2005: 307-330
30	EE	George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Sequent and hypersequent calculi for abelian and łukasiewicz logics. ACM Trans. Comput. Log. 6(3): 578-613 (2005)
29	EE	Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168(1-2): 1-37 (2005)
28	EE	George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Lukasiewicz Logic: From Proof Systems To Logic Programming. Logic Journal of the IGPL 13(5): 561-585 (2005)
2004
27	EE	George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Methods for Lukasiewicz Logic. CSL 2004: 85-99
26	EE	George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Analytic Calculi for Product Logics. Arch. Math. Log. 43(7): 859-890 (2004)
25	EE	Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind: A Sequent Calculus and a Theorem Prover for Standard Conditional Logics CoRR cs.LO/0407064: (2004)
2003
24	EE	George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Calculli for Gödel-Dummett Logics. CSL 2003: 413-426
23	EE	Nicola Olivetti, Gian Luca Pozzato: CondLean: A Theorem Prover for Conditional Logics. TABLEAUX 2003: 264-270
22	EE	Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind: Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101
21		Nicola Olivetti: Tableaux for Lukasiewicz Infinite-valued Logic. Studia Logica 73(1): 81-111 (2003)
2002
20	EE	George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX 2002: 191-205
19	EE	Piero A. Bonatti, Nicola Olivetti: Sequent calculi for propositional nonmonotonic logics. ACM Trans. Comput. Log. 3(2): 226-278 (2002)
18	EE	George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics CoRR cs.LO/0211021: (2002)
17		Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Iterated Belief Revision and Conditional Logic. Studia Logica 70(1): 23-47 (2002)
2001
16	EE	Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Belief Revision and the Ramsey Test: A Solution. AI*IA 2001: 165-175
15	EE	Nicola Olivetti, Camilla Schwind: A Calculus and Complexity Bound for Minimal Conditional Logic. ICTCS 2001: 384-404
2000
14		Laura Giordano, Valentina Gliozzi, Nicola Olivetti: A Conditional Logic for Iterated Belief Revision. ECAI 2000: 28-32
13		Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino: Conditional reasoning in logic programming. J. Log. Program. 44(1-3): 37-74 (2000)
1998
12	EE	Laura Giordano, Valentina Gliozzi, Nicola Olivetti: A Conditional Logic for Belief Revision. JELIA 1998: 294-308
11		Laura Giordano, Nicola Olivetti: Combining Negation as Failure and Embedded Implications in Logic Programs. J. Log. Program. 36(2): 91-147 (1998)
10	EE	Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti: Cut-free proof systems for logics of weak excluded middle. Soft Comput. 2(4): 147-156 (1998)
9		Dov M. Gabbay, Nicola Olivetti: Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Studia Logica 61(2): 237-280 (1998)
8	EE	Daniele Mundici, Nicola Olivetti: Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz. Theor. Comput. Sci. 200(1-2): 335-366 (1998)
1997
7		Piero A. Bonatti, Nicola Olivetti: A Sequent Calculus for Circumscription. CSL 1997: 98-114
6		Piero A. Bonatti, Nicola Olivetti: A Sequent Calculus for Skeptical Default Logic. TABLEAUX 1997: 107-121
1996
5	EE	Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: A Language for Handling Hypothetical Updates and Inconsistency. Logic Journal of the IGPL 4(3): 385-416 (1996)
1995
4		Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR 1995: 203-216
1994
3		Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Conditonal Logic Programming. ICLP 1994: 272-289
1992
2		Laura Giordano, Nicola Olivetti: Negation as Failure in Intuitionistic Logic Programming. JICSLP 1992: 431-445
1		Nicola Olivetti: Tableaux and Sequent Calculus for Minimal Entailment. J. Autom. Reasoning 9(1): 99-139 (1992)

Coauthor Index

1	Piero A. Bonatti	[6] [7] [19]
2	Agata Ciabattoni	[10]
3	Dov M. Gabbay	[3] [4] [5] [9] [10] [13] [18] [20] [24] [26] [27] [28] [30]
4	Laura Giordano	[2] [3] [4] [5] [11] [12] [13] [14] [16] [17] [22] [29] [33] [34] [35] [36] [38] [39]
5	Valentina Gliozzi	[12] [14] [16] [17] [22] [29] [33] [34] [35] [36] [38] [39]
6	Alberto Martelli	[3] [4] [5] [13]
7	George Metcalfe	[18] [20] [24] [26] [27] [28] [30] [31]
8	Daniele Mundici	[8]
9	Gian Luca Pozzato	[23] [25] [32] [33] [34] [35] [36] [37] [38] [39]
10	Maria Luisa Sapino	[13]
11	Camilla Schwind	[15] [22] [25] [37]

Colors in the list of coauthors