|
|
||||||||||||||||||
GULP - Gruppo Ricercatori e Utenti Logic
Programming, of the
AI*IA - Associazione Italiana per
l'Intelligenza Artificiale Her research activity has
focussed and focuses around:
Most recent recerch
activity is done at the Department of Engineering of the University
of Ferrara. It
concerns the exploitation of Computational logic for modeling and verifying
multi-agent systems (in the context of the UE Project SOCS, and national projects COFIN2003 and
COFIN2005).
Her research has covered
implementation, application and theoretical aspects. She also works to the
development of Artificial Intelligence applications in various fields, and also
to the application of data mining and machine learning techniques for medical
and genomic data.
For her research results in
the logic programming and artificial intelligence areas, she was invited to give
the following tutorials:
She was visiting researcher
at the Computer Science Department della Brown University, Providence, RI (USA)
in 1994 and at the Swedish Institute of Computer Science, Kista (S) in 1990 and
1991.
She was co-organiser of the
3rd International Workshop on Extensions of Logic Programming, held in Bologna
(Italy) on February 1992, and took part to the Organizing Committee of the 8th
European Conference on Object-Oriented Programming ECOOP94, held in Bologna
1994.
She was co-chair of the
Italian Conference on Artificial Intelligence, held in Bologna on September
1999.
She took part to several
national and international research projects. She was scientific responsible of
the research group at the Dipartimento di Ingegneria of the University of
Ferrara in the UE ITS-2001-32530 Project (SOCS), in the context of the UE V Framework
Programme - Global Computing Action.
On
her research topics, she is the author of several papers, published on international
journals and international conference proceedings. See:
She teaches the following courses
at the FAculty of Engineering, University of Ferrara: