Author

Nicola Olivetti

Observed names: N. OLIVETTI, N. Olivetti, NICOLA OLIVETTI, Nicolas Olivetti, Olivetti N., Olivetti Nicola, Olivetti, N, Olivetti, Nicola

Institutions: Centre National de la Recherche Scientifique, Aix-Marseille Université, Laboratoire d’Informatique et Systèmes

Observed institutions: Centre National de la Recherche Scientifique, University of Vienna, Université de Toulon, Universidade de Brasília, King's College London, Arts et Métiers, Vanderbilt University, Aix-Marseille Université, Laboratoire d’Informatique et Systèmes, Université Aix-Marseille-III, Université de Provence Aix-Marseille I, University College London, Imperial College London, University of Turin

ORCID: 0000-0001-6254-3754

Observed ORCID: 0000-0001-6254-3754

OpenAlex ID: A5000093016

Proof Theory for Fuzzy Logics

2008 · George Metcalfe, Nicola Olivetti, et al. · Applied logic series · 204

Semantic characterization of rational closure: From propositional logic to description logics

2015 · L. Giordano, V. Gliozzi, et al. · Artificial Intelligence · 152

A non-monotonic Description Logic for reasoning about typicality

2012 · L. Giordano, V. Gliozzi, et al. · Artificial Intelligence · 142

ALC + T: a Preferential Extension of Description Logics

2009 · Laura Giordano, Nicola Olivetti, et al. · Fundamenta Informaticae · 111

Sequent and hypersequent calculi for abelian and łukasiewicz logics

2005 · George Metcalfe, Nicola Olivetti, et al. · ACM Transactions on Computational Logic · 78

PDF

Preferential Description Logics

2007 · Laura Giordano, Valentina Gliozzi, et al. · Springer eBooks · 77

A sequent calculus and a theorem prover for standard conditional logics

2007 · Nicola Olivetti, Gian Luca Pozzato, et al. · ACM Transactions on Computational Logic · 56

PDF

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

2016 · Olivetti, Nicola, Tiwari, Ashish · Lecture notes in computer science · 55

Sequent calculi for propositional nonmonotonic logics

2002 · Piero Andrea Bonatti, Nicola Olivetti · ACM Transactions on Computational Logic · 52

Goal-Directed Proof Theory

2000 · Dov M. Gabbay, Nicola Olivetti · Applied logic series · 50

Reasoning about Typicality in Preferential Description Logics

2008 · Laura Giordano, Valentina Gliozzi, et al. · Lecture notes in computer science · 46

Tableaux and sequent calculus for minimal entailment

1992 · Nicola Olivetti · Journal of Automated Reasoning · 40

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

2009 · Laura Giordano, Valentina Gliozzi, et al. · ACM Transactions on Computational Logic · 35

PDF

Resolution and model building in the infinite-valued calculus of L̵ukasiewicz

1998 · Daniele Mundici, Nicola Olivetti · Theoretical Computer Science · 33

Analytic Tableaux for KLM Preferential and Cumulative Logics

2005 · Laura Giordano, Valentina Gliozzi, et al. · Lecture notes in computer science · 31

Minimal Model Semantics and Rational Closure in Description Logics

2013 · Laura Giordano, Valentina Gliozzi, et al. · 29

A Minimal Model Semantics for Nonmonotonic Reasoning

2012 · Laura Giordano, Valentina Gliozzi, et al. · Lecture notes in computer science · 29

Proof Systems for a Gödel Modal Logic

2009 · George Metcalfe, Nicola Olivetti · Lecture notes in computer science · 29

Towards a Proof Theory of G\"odel Modal Logics

2011 · George Metcalfe, Nicola Olivetti · Logical Methods in Computer Science · 27

PDF

Intuitionistic Non-normal Modal Logics: A General Framework

2020 · Tiziano Dalmonte, Charles Grellois, et al. · Journal of Philosophical Logic · 25

PDF

Preferential vs Rational Description Logics: which one for Reasoning About Typicality?

2010 · Giordano Laura, Gliozzi Valentina, et al. · Frontiers in artificial intelligence and applications · 25

Weak AGM postulates and strong Ramsey Test: A logical formalization

2005 · Laura Giordano, Valentina Gliozzi, et al. · Artificial Intelligence · 25

PDF

Analytic Calculi for Product Logics

2004 · George Metcalfe, Nicola Olivetti, et al. · Archive for Mathematical Logic · 24

A sequent calculus for skeptical Default Logic

1997 · P. A. Bonatti, N. Olivetti · Lecture notes in computer science · 24

Reasoning about typicality in low complexity DLs: the logics EL ⊥ T min and DL-Lite c T min

2011 · Laura Giordano, Valentina Gliozzi, et al. · 23

Works count: 210

Citation count: 2,207

H-index: 24

I10-index: 62