dblp.uni-trier.dewww.uni-trier.de

Nicola Olivetti Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
48EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning About Typicality in ALC and EL. Description Logics 2009
47EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436
46EERégis Alenda, Nicola Olivetti, Camilla Schwind: Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. TABLEAUX 2009: 17-31
45EEGeorge Metcalfe, Nicola Olivetti: Proof Systems for a Gödel Modal Logic. TABLEAUX 2009: 265-279
44EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3): (2009)
43EELaura 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)
42EERégis Alenda, Nicola Olivetti, Camilla Schwind: Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus CoRR abs/0902.0899: (2009)
2008
41EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205
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
39EELaura 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
38EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Description Logics. LPAR 2007: 257-272
37EENicola 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
35EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202
34EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning CoRR abs/cs/0611046: (2006)
2005
33EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681
32EENicola 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
30EEGeorge Metcalfe, Nicola Olivetti, Dov M. Gabbay: Sequent and hypersequent calculi for abelian and łukasiewicz logics. ACM Trans. Comput. Log. 6(3): 578-613 (2005)
29EELaura Giordano, Valentina Gliozzi, Nicola Olivetti: Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168(1-2): 1-37 (2005)
28EEGeorge 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
27EEGeorge Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Methods for Lukasiewicz Logic. CSL 2004: 85-99
26EEGeorge Metcalfe, Nicola Olivetti, Dov M. Gabbay: Analytic Calculi for Product Logics. Arch. Math. Log. 43(7): 859-890 (2004)
25EENicola Olivetti, Gian Luca Pozzato, Camilla Schwind: A Sequent Calculus and a Theorem Prover for Standard Conditional Logics CoRR cs.LO/0407064: (2004)
2003
24EEGeorge Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Calculli for Gödel-Dummett Logics. CSL 2003: 413-426
23EENicola Olivetti, Gian Luca Pozzato: CondLean: A Theorem Prover for Conditional Logics. TABLEAUX 2003: 264-270
22EELaura 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
20EEGeorge Metcalfe, Nicola Olivetti, Dov M. Gabbay: Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX 2002: 191-205
19EEPiero A. Bonatti, Nicola Olivetti: Sequent calculi for propositional nonmonotonic logics. ACM Trans. Comput. Log. 3(2): 226-278 (2002)
18EEGeorge 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
16EELaura Giordano, Valentina Gliozzi, Nicola Olivetti: Belief Revision and the Ramsey Test: A Solution. AI*IA 2001: 165-175
15EENicola 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
12EELaura 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)
10EEAgata 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)
8EEDaniele Mundici, Nicola Olivetti: Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz. Theor. Comput. Sci. 200(1-2): 335-366 (1998)
1997
7EEPiero 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
5EEDov 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)