Research Funding

She has held grants for the following research projects:

MURST (Ministry of University, Research and Technology)

• 1982 - 1984 Metodi e Tecniche dell'Intelligenza Artificiale (National Project; Chairperson; 12 groups in Italian Universities).

• 1985 - 1987 Intelligenza Artificiale: Architetture Software per Sistemi Intelligenti (ASSI) (National Project; Chairperson; 17 groups in Italian Universities).

• 1990 - 1993 Sistemi Intelligenti (National Project; participating group).

• 1993 - 1996 Sistemi Intelligenti (National Project; participating group).

• 1982 - Present Grants from the Università di Roma ```La Sapienza" for researches in various topics in Artificial Intelligence.

• 1999 - 2001 Model checking and satisfiability: development of novel decision procedures and comparative validation and experimental analysis in significant application areas. (National Project; chairperson; 3 groups in Italian Universities).

CNR (Italian National Research Council)

• 1982 - Present Grants for researches in various topics in Artificial Intelligence.

EU (European Union)

• COST13 Action 21: Advanced Issues in Knowledge Representation.

• ESPRIT ALPES: Advanced Logic Programming Environments.

• ESPRIT COMPULOG 1: Computational Logic.

• ESPRIT COMPULOG 2: Computational Logic.

• ESPRIT MEDLAR 2.

• ESPRIT Working Group LAC: Logics for Action and Change.

• ESPRIT COMPUNET 1 (Chaiperson) Network of Excellence on Computational Logic.

• ESPRIT COMPUNET 2 (Chaiperson) Network of Excellence on Computational Logic.

• HCM Group Fellowship of Human Capital and Mobility: COMPUNET (Chaiperson).

Others:

Over the years, she has had donations and research contracts from the following institutions and companies: ENEA, ENIDATA, ALENIA, UNYSIS and Olivetti.