Nicola Olivetti's Home Page 

LSIS Address :
Aix-Marseille University

Campus de Saint Jérôme
Avenue Escadrille Normandie-Niemen
13397 Marseille Cedex 20 (France)

e-mail :

Phone .:     ++33 (0)49128 9094
Fax .:          ++33 (0) 49128 8334

Faculty Address : Faculté d'Economie et Gestion (FEG), Espace Forbin 15-19 Allée Claude Forbin, 13627 Aix-en-provence, (France)

I am Professor of Computer Science at Aix-Marseille University (AMU) in the Faculté d'Economie et Gestion (FEG) and I am a member of the CNRS Laboratory LSIS .

My main research interests are:

  • automated deduction for non-classical logics (conditional, substructural, and many-valued logics)
  • foundation and proof-theory of nonmonotonic reasoning
  • description logics
  • belief revision


   LSIS-INCA Personal Page (search the directory)

   List of Publications in DBLP

   Curriculum Vitae

   My publications

   Teaching Activity (in French)

   Old Home Page at the University of Turin

   IJCAR 2016

   Book: Proof Theory for Fuzzy Logics
(by G. Metcalfe, N. Olivetti, and D. Gabbay) Springer's webpage

Theorem Provers

   NESCOND: a Theorem Prover for Conditional Logic based on Nested Sequent Calculi

   CSLLean 1.0: a Theorem Prover for the Logic of Comparative Concept Similarity

   CONDLean: a Theorem Prover for Conditional Logic based on Labelled Calculi

   Technical Reports

logo du LSIS U3 : Université Aix-Marseille

Last update: July 20, 2006