Participation to Projects
  • Progetto Finalizzato CNR Sistemi Informatici e Calcolo Parallelo (1989- 1994) subprojects "Linguaggi di nuova generazione" (Responsabile: Prof.ssa B. Demo) and "Sistemi di supporto al lavoro intellettuale" (Responsabile: Prof. A. Martelli);
  • PRIN 95: Rappresentazione della conoscenza e meccanismi di ragionamento (Coordinatore Nazionale Prof. A. Martelli; Responsabile Unità Univ. Torino: Prof. Piero Torasso); Durata: 12 Mesi;
  • PRIN 96: Rappresentazione della conoscenza e meccanismi di ragionamento (Coordinatore Nazionale Prof. A. Martelli; Responsabile Unità Univ. Torino: Prof. Piero Torasso); Durata: 12 Mesi;
  • PRIN 98: Agenti intelligenti: interazione, ragionamento e acquisizione di conoscenza (coordinatore Nazionale: Prof. Franco Turini; Responsabile Unità Univ. Torino: Prof. Alberto Martelli); Durata: 24 mesi;

  • ESPRIT BRA Projects MEDLAR I (1989-91) and MEDLAR II (1992-1995) on ``Mechanising Deduction in the Logics of Practical Reasoning'' (Responsabile: Prof. A. Martelli);
  • Esprit Working Group ``Logic and Change'' (Responsabile: Prof. A. Martelli);
  • Bilateral project of the British Council and Conferenza dei Rettori for a collaboration with Prof. Dov Gabbay (Imperial College, London) on "Non classical Logics, hypothetical and conditional reasoning" (1995-96);
  • Bilateral project Galileo 1995-96 "Reasoning about actions and change";

  • 2013-2015: Progetto della Compagnia di S. Paolo, "GINSENG: Metodologie e strumenti informatici per la gestione integrata di dati e processi clinico-sanitari" (Coordinatore Scientifico: Prof. Paolo Terenziani);
  • Progetto GNCS 2016 "Ragionamento Defeasible nelle Logiche Descrittive" finanziato dall'Istituto Nazionale di Alta Matematica Francesco Severi (INDAM) (Responsabile: Dott.ssa. Valentina Gliozzi);

Project Coordination