Graduated with honors at the University of Pisa, Italy, in 1983. She worked at Italtel SIT (a telecommunications company) in Milan, Italy. In 1986 she became research associate and then (in 1990) Assistant Professor of Computer Science at the University of Milan, Italy. In 2001 she became Associate Professor at the University of L’Aquila (Italy) where, since 2005, she is Full Professor in Computer Science at the Department of Computer Science and Engineering and Mathematics (DISIM). She is the Head of the research group AAAI@AQ (Autonomous Agents and Artificial Intelligence at L’Aquila).
BIBLIOMETRIC DATA: H-INDEX Scopus 13, Google Scholar 19. Publications (in English): more than 20 International Journals; 7 International Book Chapters and one Essay; more than 50 International Conferences and more than 20 Italian Conferences.
RESEARCH INTERESTS: Artificial Intelligence, Computational Logic, Intelligent Software Agents and Multi-Agent Systems, Non-Monotonic Reasoning, Knowledge Representation, Cognitive Robotics.
PERIODS ABROAD: Invited Visiting Professor: Univ. of Texas at El Paso (1999); Imperial College London, UK (2004 and 2010); Univ. Politécnica de Madrid, Spain (2010); Corunna Univ., Spain (2010); Fundación Univ. de las Américas, Puebla. México (2012). Invited Speaker at ASPOCP 2016 (Answer Set Programming and Other Computing Paradigms), New York, October 16, 2016, and at LA-NMR Workshop on Logic, Languages, Algorithms and New Methods of Reasoning (Mexico City, 2012).
COOPERATIONS (Joint Papers, Projects and Activities) • University of Perugia, Italy (Prof. Andrea Formisano) • University of Messina, Italy (Prof. Pasquale De Meo) • Imperial College and Birkbeck College London, UK (Prof. Francesca Toni, Prof. Fariba Sadri, Prof. Alessandro Provetti) • Linkoping University, Sweden (Prof. Pierangelo Dell’Acqua) • Universidade Nova de Lisboa, Portugal (Prof. Luıs Moniz Pereira) • University of Corunna, Spain (Prof. Pedro Cabalar) • Universidad Politecnica de Madrid, Spain (Prof. David Pearce)
EUROPEAN PROJECTS COORDINATION: Vice-Coordinator of Action COST CA17124 “DIGital FORensics: evidence Analysis via intelligent Systems and Practices”, UNIVAQ Node Coordinator in WASP (Working Group on Answer Set Programming) and CUSPIS (a Cultural Heritage Space Identification System, GJU/05/2412/CTR/CUSPIS).
EUROPEAN PROJECTS PARTICIPATION: COST action IC0801 “Agreement Technologies”, SINTELNET European Network for Social Intelligence (recently completed projects), Esprit P283 FOR-ME-TOO.
NATIONAL PROJECTS PARTICIPATION: 1999-2000 PRIN “Intelligent Agents for Information Extraction”, 2000-2001 PRIN “Aggregate- and number-reasoning for computing: from decision algorithms to constraint programming with multisets, sets, and maps”.
INDUSTRIAL (MISE) PROJECTS UNIVAQ UNIT COORDINATION: With CIRA (Centro Italiano di Ricerche Aerospaziali, 2014) and SPEE (2015-2020).
PROFESSIONAL ACTIVITIES: 2018-now Member of the University of L’Aquila internal Evaluation Committee. 2016-2018 Member of the University of L’Aquila Quality Assurance Committee. 2012-15: Chairperson of the Bachelor and Master Programs in Computer Science at the University of L’Aquila. Previously, Vice-Director of the Dept. of Computer Science, and Chairperson of the Ph.D. Program, Director of the CampusOne Program. Member and past President of Department Committees on Quality of teaching and research. Reviewer for the most relevant journals and Conferences related to research interests.
PROGRAM COMMITTEE PARTICIPATION AND CHAIRING: General Chair PAAMS 2020, Co-Chair of RuleML+RR 2017, Co-Chair and JLC (Journal of Logic and Computation) Special Issue Editor ASP’07, Chair of GULP92. PC Member of about 100 editions of International Conferences, including (among the best rated ones) recent editions, often including 2018/2019/2020, of IJCAI (International Joint Conference on Artificial Intelligence), ECAI (European Conference on Artificial Intelligence), ICLP (International Conference on Logic Programming), KR (Knowledge Representation and Reasoning), AAMAS (Agents and Multi-Agent Systems), AAAI Conferences on Artificial Intelligence, LPNMR (International Workshop on Logic Programming and Non-Monotonic Reasoning), JELIA (Joint European Conference of Logics in AI), RuleML (Symposium on Rule Technologies, Research, Tools, and Applications), CLIMA (Computational Logic in Multi-Agent Systems), PRIMA (Principles and Practice of Multi-Agent Systems) and others.
PUBLICLY AVAILABLE SOFTWARE
The AAAI@AQ Research Group has produced the following freely available software packages: RASP inference engine Raspberry: http://www.dmi.unipg.it/formis/raspberry/ DALI interpreter: DALI GitHub Software Repository: http://github.com/AAAIDISIM-UnivAQ/DALI