Nicola Olivetti's Home Page
Faculty Address : Faculté d'Economie et Gestion (FEG), Espace Forbin 15-19 Allée Claude Forbin,
13627 Aix-en-provence, (France)
Warning! Page under maintenance
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 LIS .
My main research interests are in the area of logic and automated reasoning:
- Modal, Deontic and Conditional Logic
- Proof-theory and automated Deduction
- Description logics
Current Responsabilities (in French)
- Co-Responsable du pôle Calcul du laboratoire LIS
Past Responsabilities
Adjoint au directeur du LSIS jusqu'au 31/12 2017
Responsable de l'équipe INCA du LISIS (Head of LSIS INCA) jusqu'à novembre 2015
Responsable du Parcours Informatique du Master Recherche LSIS
Responable de la Licence Informatique Miage
Membre du Conseil de La Faculté d'Economie et Gestion (FEG) jusqu'au 2019
Membre de la Commission ATER/CME de la FEG
Membre de la Commission CVEC de Aix en Provence jusqu'au 2020
Personal Page (search the directory)
List of Publications in DBLP
Curriculum Vitae (to be updated!)
My publications (to be updated!)
Teaching Activity (in French)
IJCAR 2016
Book: Proof Theory for Fuzzy Logics
(by G. Metcalfe, N. Olivetti, and D. Gabbay)
Springer's webpage
ANR FWF Project TICAMORE
AIML 2020
Proceedings of AIML 2020
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
|