Next: Partecipazione a Comitati Scientifici
Up: Attività Scientifiche e Professionali
Previous: Attività Scientifiche e Professionali
- 2002: collaboratore della Divisione di Sistemi per il
Ragionamento Automomatico dell'Istituto per la Ricerca
Scientifica e Tecnologica (ITC-IRST) di Trento.
- 1998 - presente: collaboratore del Laboratorio di Scienze
Cognitive di Rovereto (Università di Trento).
- 1991-2001: attività di ricerca in Intelligenza Artificiale
presso il Mechanized Reasoning Group (ITC-IRST e Università di
Trento).
- Agosto - Dicembre 1998: European Visiting Fellow presso
il Philosophy Department della University of Dundee (Scozia).
- Gennaio - Maggio 1995: visita presso il Logical Foundation
of Artificial Intelligence Group presso il Computer Science
Department della University of Texas at Austin, su invito del
Prof. Vladimir Lifschitz. Frequenza al corso su Declarative
Logic Programming del Prof. Lifschitz.
- Gennaio - Marzo 1994: periodo di studio presso il Formal
Reasoning Group del Computer Science Department della Stanford University, su invito del Prof. John McCarthy. Frequenza
al corso su Nonmonotonic Reasoning del Prof. McCarthy.
Paolo Bouquet
2003-06-26