×

zbMATH — the first resource for mathematics

Olivetti, Nicola

Compute Distance To:
Author ID: olivetti.nicola Recent zbMATH articles by "Olivetti, Nicola"
Published as: Olivetti, N.; Olivetti, Nicola
Documents Indexed: 74 Publications since 1989, including 6 Books

Publications by Year

Citations contained in zbMATH

55 Publications have been cited 290 times in 161 Documents Cited by Year
Proof theory for fuzzy logics. Zbl 1168.03002
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
52
2009
A non-monotonic description logic for reasoning about typicality. Zbl 1270.68281
Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G. L.
17
2013
Semantic characterization of rational closure: from propositional logic to description logics. Zbl 1346.68186
Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G. L.
15
2015
A sequent calculus and a theorem prover for standard conditional logics. Zbl 1367.68253
Olivetti, Nicola; Pozzato, Gian Luca; Schwind, Camilla B.
13
2007
\({\mathcal{ALC}}+T\): a preferential extension of description logics. Zbl 1207.68369
Giordano, Laura; Gliozzic, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
11
2009
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
11
2005
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. Zbl 1351.03004
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
9
2009
Preferential description logics. Zbl 1137.68590
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
9
2007
Resolution and model building in the infinite-valued calculus of Łukasiewicz. Zbl 0921.03013
Mundici, Daniele; Olivetti, Nicola
9
1998
Towards a proof theory of Gödel modal logics. Zbl 1266.03044
Metcalfe, George; Olivetti, Nicola
8
2011
Analytic calculi for product logics. Zbl 1066.03036
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
8
2004
Tableaux and sequent calculus for minimal entailment. Zbl 0795.03033
Olivetti, Nicola
8
1992
A minimal model semantics for nonmonotonic reasoning. Zbl 1361.68228
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
7
2012
Analytic sequent calculi for Abelian and Łukasiewicz logics. Zbl 1016.03058
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
7
2002
Tableau calculus for preference-based conditional logics, PCL and its extensions. Zbl 1351.03019
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Schwind, Camilla
6
2009
Comparative concept similarity over minspaces: axiomatisation and tableaux calculus. Zbl 1260.68386
Alenda, Régis; Olivetti, Nicola; Schwind, Camilla
6
2009
Reasoning about typicality in preferential description logics. Zbl 1178.68561
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
6
2008
Nested sequent calculi for normal conditional logics. Zbl 1444.03102
Alenda, Régis; Olivetti, Nicola; Pozzato, Gian Luca
5
2016
Sequent calculi for propositional nonmonotonic logics. Zbl 1365.03023
Bonatti, Piero Andrea; Olivetti, Nicola
5
2002
Goal-directed proof theory. Zbl 0992.03004
Gabbay, Dov M.; Olivetti, Nicola
5
2000
A nonmonotonic extension of KLM preferential logic P. Zbl 1307.03018
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
4
2010
Proof systems for a Gödel modal logic. Zbl 1260.03053
Metcalfe, George; Olivetti, Nicola
4
2009
Weak AGM postulates and strong Ramsey test: A logical formalization. Zbl 1132.03320
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola
4
2005
Hypersequents and fuzzy logic. Zbl 1070.03012
Gabbay, Dov; Metcalfe, George; Olivetti, Nicola
4
2004
Tableaux for Łukasiewicz infinite-valued logic. Zbl 1015.03032
Olivetti, Nicola
4
2003
Towards a rational closure for expressive description logics: the case of \(\mathcal{SHIQ}\). Zbl 1408.68137
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola
3
2018
A standard internal calculus for lewis’ counterfactual logics. Zbl 06519948
Olivetti, Nicola; Pozzato, Gian Luca
3
2015
Prototypical reasoning with low complexity description logics: preliminary results. Zbl 1258.68140
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
3
2009
Analytic tableau calculi for KLM rational logic R. Zbl 1152.03313
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
3
2006
Goal-directed calculi for Gödel-Dummett logics. Zbl 1116.03309
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
3
2003
Combining negation as failure and embedded implications in logic programs. Zbl 0911.68027
Giordano, Laura; Olivetti, Nicola
3
1998
A sequent calculus for skeptical default logic. Zbl 1415.03054
Bonatti, P. A.; Olivetti, N.
3
1997
Conditional beliefs: from neighbourhood semantics to sequent calculus. Zbl 1445.03015
Girlando, Marianna; Negri, Sara; Olivetti, Nicola; Risch, Vincent
2
2018
A sequent calculus for preferential conditional logic based on neighbourhood semantics. Zbl 06519938
Negri, Sara; Olivetti, Nicola
2
2015
CSL-lean: a theorem-prover for the logic of comparative concept similarity. Zbl 1345.68253
Alenda, Régis; Olivetti, Nicola; Pozzato, Gian Luca
2
2010
Tableau calculus for the logic of comparative similarity over arbitrary distance spaces. Zbl 1306.68178
Alenda, Régis; Olivetti, Nicola
2
2010
Tableau calculi for \(\mathcal{CSL}\) over minspaces. Zbl 1287.68158
Alenda, Régis; Olivetti, Nicola; Schwind, Camilla; Tishkovsky, Dmitry
2
2010
Theorem proving for conditional logics: CondLean and GoalD\(\mathcal U\)CK. Zbl 1180.03014
Olivetti, Nicola; Pozzato, Gian Luca
2
2008
Analytic tableaux for KLM preferential and cumulative logics. Zbl 1143.68599
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
2
2005
Łukasiewicz logic: from proof systems to logic programming. Zbl 1091.03008
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
2
2005
CondLean: a theorem prover for conditional logics. Zbl 1274.68414
Olivetti, Nicola; Pozzato, Gian Luca
2
2003
Standard sequent calculi for Lewis’ logics of counterfactuals. Zbl 06658166
Girlando, Marianna; Lellmann, Björn; Olivetti, Nicola; Pozzato, Gian Luca
1
2016
NESCOND: an implementation of nested sequent calculi for conditional logics. Zbl 1425.68378
Olivetti, Nicola; Pozzato, Gian Luca
1
2014
Preferential semantics for the logic of comparative similarity over triangular and metric models. Zbl 1361.68212
Alenda, Régis; Olivetti, Nicola
1
2012
A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\). Zbl 1332.68209
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
1
2011
Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3–6, 2007. Proceedings. Zbl 1121.68006
Olivetti, Nicola (ed.)
1
2007
CondLean 3.0: Improving CondLean for stronger conditional logics. Zbl 1142.68501
Olivetti, Nicola; Pozzato, Gian Luca
1
2005
Tableau calculi for preference-based conditional logics. Zbl 1274.03021
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Schwind, Camilla
1
2003
Iterated belief revision and conditional logic. Zbl 0997.03016
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola
1
2002
A calculus and complexity bound for minimal conditional logic. Zbl 1042.03023
Olivetti, Nicola; Schwind, Camilla B.
1
2001
Belief revision and the Ramsey test: A solution. Zbl 1007.03013
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola
1
2001
Conditional reasoning in logic programming. Zbl 0957.68014
Gabbay, D.; Giordano, L.; Martelli, A.; Olivetti, N.; Sapino, M. L.
1
2000
Tableaux for nonmonotonic logics. Zbl 0972.03532
Olivetti, Nicola
1
1999
A conditional logic for belief revision. Zbl 0928.03015
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola
1
1998
A language for handling hypothetical updates and inconsistency. Zbl 0853.68074
Gabbay, Dov M.; Giordano, Laura; Martelli, Alberto; Olivetti, Nicola
1
1996
Towards a rational closure for expressive description logics: the case of \(\mathcal{SHIQ}\). Zbl 1408.68137
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola
3
2018
Conditional beliefs: from neighbourhood semantics to sequent calculus. Zbl 1445.03015
Girlando, Marianna; Negri, Sara; Olivetti, Nicola; Risch, Vincent
2
2018
Nested sequent calculi for normal conditional logics. Zbl 1444.03102
Alenda, Régis; Olivetti, Nicola; Pozzato, Gian Luca
5
2016
Standard sequent calculi for Lewis’ logics of counterfactuals. Zbl 06658166
Girlando, Marianna; Lellmann, Björn; Olivetti, Nicola; Pozzato, Gian Luca
1
2016
Semantic characterization of rational closure: from propositional logic to description logics. Zbl 1346.68186
Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G. L.
15
2015
A standard internal calculus for lewis’ counterfactual logics. Zbl 06519948
Olivetti, Nicola; Pozzato, Gian Luca
3
2015
A sequent calculus for preferential conditional logic based on neighbourhood semantics. Zbl 06519938
Negri, Sara; Olivetti, Nicola
2
2015
NESCOND: an implementation of nested sequent calculi for conditional logics. Zbl 1425.68378
Olivetti, Nicola; Pozzato, Gian Luca
1
2014
A non-monotonic description logic for reasoning about typicality. Zbl 1270.68281
Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G. L.
17
2013
A minimal model semantics for nonmonotonic reasoning. Zbl 1361.68228
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
7
2012
Preferential semantics for the logic of comparative similarity over triangular and metric models. Zbl 1361.68212
Alenda, Régis; Olivetti, Nicola
1
2012
Towards a proof theory of Gödel modal logics. Zbl 1266.03044
Metcalfe, George; Olivetti, Nicola
8
2011
A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\). Zbl 1332.68209
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
1
2011
A nonmonotonic extension of KLM preferential logic P. Zbl 1307.03018
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
4
2010
CSL-lean: a theorem-prover for the logic of comparative concept similarity. Zbl 1345.68253
Alenda, Régis; Olivetti, Nicola; Pozzato, Gian Luca
2
2010
Tableau calculus for the logic of comparative similarity over arbitrary distance spaces. Zbl 1306.68178
Alenda, Régis; Olivetti, Nicola
2
2010
Tableau calculi for \(\mathcal{CSL}\) over minspaces. Zbl 1287.68158
Alenda, Régis; Olivetti, Nicola; Schwind, Camilla; Tishkovsky, Dmitry
2
2010
Proof theory for fuzzy logics. Zbl 1168.03002
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
52
2009
\({\mathcal{ALC}}+T\): a preferential extension of description logics. Zbl 1207.68369
Giordano, Laura; Gliozzic, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
11
2009
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. Zbl 1351.03004
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
9
2009
Tableau calculus for preference-based conditional logics, PCL and its extensions. Zbl 1351.03019
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Schwind, Camilla
6
2009
Comparative concept similarity over minspaces: axiomatisation and tableaux calculus. Zbl 1260.68386
Alenda, Régis; Olivetti, Nicola; Schwind, Camilla
6
2009
Proof systems for a Gödel modal logic. Zbl 1260.03053
Metcalfe, George; Olivetti, Nicola
4
2009
Prototypical reasoning with low complexity description logics: preliminary results. Zbl 1258.68140
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
3
2009
Reasoning about typicality in preferential description logics. Zbl 1178.68561
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
6
2008
Theorem proving for conditional logics: CondLean and GoalD\(\mathcal U\)CK. Zbl 1180.03014
Olivetti, Nicola; Pozzato, Gian Luca
2
2008
A sequent calculus and a theorem prover for standard conditional logics. Zbl 1367.68253
Olivetti, Nicola; Pozzato, Gian Luca; Schwind, Camilla B.
13
2007
Preferential description logics. Zbl 1137.68590
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
9
2007
Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3–6, 2007. Proceedings. Zbl 1121.68006
Olivetti, Nicola (ed.)
1
2007
Analytic tableau calculi for KLM rational logic R. Zbl 1152.03313
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
3
2006
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
11
2005
Weak AGM postulates and strong Ramsey test: A logical formalization. Zbl 1132.03320
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola
4
2005
Analytic tableaux for KLM preferential and cumulative logics. Zbl 1143.68599
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
2
2005
Łukasiewicz logic: from proof systems to logic programming. Zbl 1091.03008
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
2
2005
CondLean 3.0: Improving CondLean for stronger conditional logics. Zbl 1142.68501
Olivetti, Nicola; Pozzato, Gian Luca
1
2005
Analytic calculi for product logics. Zbl 1066.03036
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
8
2004
Hypersequents and fuzzy logic. Zbl 1070.03012
Gabbay, Dov; Metcalfe, George; Olivetti, Nicola
4
2004
Tableaux for Łukasiewicz infinite-valued logic. Zbl 1015.03032
Olivetti, Nicola
4
2003
Goal-directed calculi for Gödel-Dummett logics. Zbl 1116.03309
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
3
2003
CondLean: a theorem prover for conditional logics. Zbl 1274.68414
Olivetti, Nicola; Pozzato, Gian Luca
2
2003
Tableau calculi for preference-based conditional logics. Zbl 1274.03021
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Schwind, Camilla
1
2003
Analytic sequent calculi for Abelian and Łukasiewicz logics. Zbl 1016.03058
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
7
2002
Sequent calculi for propositional nonmonotonic logics. Zbl 1365.03023
Bonatti, Piero Andrea; Olivetti, Nicola
5
2002
Iterated belief revision and conditional logic. Zbl 0997.03016
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola
1
2002
A calculus and complexity bound for minimal conditional logic. Zbl 1042.03023
Olivetti, Nicola; Schwind, Camilla B.
1
2001
Belief revision and the Ramsey test: A solution. Zbl 1007.03013
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola
1
2001
Goal-directed proof theory. Zbl 0992.03004
Gabbay, Dov M.; Olivetti, Nicola
5
2000
Conditional reasoning in logic programming. Zbl 0957.68014
Gabbay, D.; Giordano, L.; Martelli, A.; Olivetti, N.; Sapino, M. L.
1
2000
Tableaux for nonmonotonic logics. Zbl 0972.03532
Olivetti, Nicola
1
1999
Resolution and model building in the infinite-valued calculus of Łukasiewicz. Zbl 0921.03013
Mundici, Daniele; Olivetti, Nicola
9
1998
Combining negation as failure and embedded implications in logic programs. Zbl 0911.68027
Giordano, Laura; Olivetti, Nicola
3
1998
A conditional logic for belief revision. Zbl 0928.03015
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola
1
1998
A sequent calculus for skeptical default logic. Zbl 1415.03054
Bonatti, P. A.; Olivetti, N.
3
1997
A language for handling hypothetical updates and inconsistency. Zbl 0853.68074
Gabbay, Dov M.; Giordano, Laura; Martelli, Alberto; Olivetti, Nicola
1
1996
Tableaux and sequent calculus for minimal entailment. Zbl 0795.03033
Olivetti, Nicola
8
1992
all top 5

Cited by 193 Authors

14 Olivetti, Nicola
12 Metcalfe, George
10 Pozzato, Gian Luca
9 Giordano, Laura
8 Varzinczak, Ivan Jóse
7 Wang, Sanmin
6 Bonatti, Piero Andrea
6 Britz, Katarina
6 Ciabattoni, Agata
6 Indrzejczak, Andrzej
5 Cintula, Petr
5 Gliozzi, Valentina
5 Pattinson, Dirk
4 Alenda, Régis
4 Baldi, Paolo
4 Gabbay, Dov M.
4 Lellmann, Björn
4 Meyer, Thomas Andreas
3 Caicedo, Xavier
3 Esteva, Francesc
3 Godo, Lluís
3 Montagna, Franco
3 Noguera, Carles
3 Schröder, Lutz
3 Terui, Kazushige
2 Avron, Arnon
2 Baaz, Matthias
2 Benzmüller, Christoph Ewald
2 Beyersdorff, Olaf
2 Bofill, Miquel
2 Booth, Richard F.
2 Bry, François
2 Casini, Giovanni
2 Eiter, Thomas
2 Fermüller, Christian G.
2 Ferrari, Mauro
2 Fiorentini, Camillo
2 Fiorino, Guido
2 Galatos, Nikolaos
2 Genovese, Valerio
2 Gerasimov, Aleksandr Sergeevich
2 Gottwald, Siegfried
2 Koutras, Costas D.
2 Lahav, Ori
2 Liu, Jun
2 Manyà, Felip
2 Negri, Sara
2 Paoli, Francesco
2 Ramanayake, Revantha
2 Rantsoudis, Christos
2 Rodríguez, Ricardo Oscar
2 Sauro, Luigi
2 Schaub, Torsten H.
2 Schwind, Camilla B.
2 Theseider Dupré, Daniele
2 Vetterlein, Thomas
2 Villaret, Mateu
2 Xu, Yang
2 Yang, Eunsuk
1 À. García-Cerdaña, Àngel
1 Abbasi, Mohsin Manshad
1 Aguilera, Juan Pablo
1 Aguzzoli, Stefano
1 Ansótegui, Carlos
1 Armengol, Eva
1 Baldi, Michele Pra
1 Bednarska, Kaja
1 Bedregal, Benjamín Callejas
1 Beierle, Christoph
1 Belle, Vaishak
1 Bel’tyukov, Anatoliĭ Petrovich
1 Biskup, Joachim
1 Bongini, Mattia
1 Bozzato, Loris
1 Brewka, Gerhard
1 Brüning, Stefan
1 Cabrer, Leonardo Manuel
1 Calin, Georgel
1 Cerami, Marco
1 Chen, Shuwei
1 Cornelis, Chris
1 Cruz, Anderson Paiva
1 Deschrijver, Glad
1 Diaconescu, Denisa
1 Dicher, Bogdan
1 Didehvar, Farzad
1 Donini, Francesco M.
1 Dubois, Didier
1 Dyckhoff, Roy
1 Endriss, Ulle
1 Faella, Marco
1 Falke, Tobias
1 Fan, Tuan-Fang
1 Fasching, Oliver
1 Fink, Michael
1 Fjellstad, Andreas
1 Flaminio, Tommaso
1 Gabbay, Murdoch James
1 Galmiche, Didier
1 García-Cerdaña, Àngel
...and 93 more Authors

Citations by Year