Nicola Olivetti's Home Page

Current address :
LSIS - UMR CNRS 6168
Université Paul Cézanne (Aix-Marseille 3)

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

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

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

I am Professor of Computer Science at the Paul Cézanne University (Aix-Marseille, France), and I am a member of the equipe INCA of the CNRS 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
extensions of logic programming
belief revision

LSIS-INCA Personal Page

Curriculum Vitae (In French)

My publications (to be updated)

Teaching Activity (in French)

Old Home Page at the University of Turin

TABLEAUX 2007

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

Laboratoire des Sciences de l'Information et des Systèmes


	Last update: July 20, 2006