DIPARTIMENTO   DI   INFORMATICA
Università di Torino

Nicola Olivetti's Home Page 

     
 Current address :
Dipartimento di Informatica
Universita' degli Studi di Torino
Corso Svizzera, 185
I-10149 Torino (ITALY)

e-mail : olivetti at di.unito.it
Tel .:      +39 011 670 67 69
Fax .:     +39 011 75 16 03

Nicola Olivetti received the degree in Philosophy from the University of Torino in 1989 and the PhD in Computer Science from the same university in 1995.
He is currently Associate Professor of Computer Science at the Dipartimento di Informatica,  Universita` di Torino.
His research interests include: automated deduction in non-classical logics (modal, substructural, and many-valued logics), foundation and proof-theory of nonmonotonic reasoning,   hypothetical reasoning,  logic programming (negation as failure and  extensions of LP based on intuitionistic and conditional logic), and belief revision.
He is a member of the Program Committee of the conference TABLEAUX 2005.  

New Home Page at LSIS (Marseille)


 
   My publications

   Theorem Prover for Conditional Logics

   Teaching Activity (in Italian)

   Laurea Specialistica in Logica Computazionale (in Italian)


[Group's HOME] [Department's HOME]
Last update: Jul 26, 2006