Nicola Olivetti's Home Page 

     
LSIS Address :
LSIS - UMR CNRS 7296
Aix-Marseille University

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

e-mail :
nicola.olivetti@lsis.org
nicola.olivetti@univ-amu.fr

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
Responsibilities (in French)
  • Adjoint au directeur du LSIS
  • Responsable de l'équipe INCA du LISIS (Head of LSIS INCA) jusqu'à novembre 2015
  • Co-Responsable du pôle Calcul du nouveau laboratoire LIS
  • Responsable du Parcours Informatique du Master Recherche LSIS
  • Responable de la Licence Informatique Miage
  • Member of Conseil de La Faculté d'Economie et Gestion (FEG)


 

   LSIS-INCA Personal Page (search the directory)

   List of Publications in DBLP

   Curriculum Vitae

   My publications (to be updated)

   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

   ANR FWF Project TICAMORE

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
http://www.di.unito.it/~pozzato/csllean/index.html


logo du LSIS U3 : Université Aix-Marseille

Last update: July 20, 2006