Professore Ordinario

Stefania Costantini

0000-0002-5686-6124

Artificial Intelligence (AI), Knowledge Representation and Automated Reasoning, Neurosymbolic AI, Agents and Multi-Agent Systems, Answer Set Programming, Epistemic Logics
07 Algoritmi, Strutture Dati, Ricerca Operativa, Intelligenza Artificiale
INF/01 - Informatica
Computer Science and Operations Research

Curriculum External site   Scholar DBLP Scopus

Home

Stefania Costantini (Full Professor). Born in 1959. Graduated cum laude in Computer Science from the University of Pisa (1983). Since 2005, she has been a Full Professor in Computer Science at the DISIM Department, University of L'Aquila, where she leads the AAAI@AQ research group (Artificial Agents and Artificial Intelligence). Research interests: Artificial Intelligence.

Link to the Lab web site: AI4AQ – Gruppo di Ricerca in Intelligenza Artificiale | UNIVAQ

Link to the personal web site: Stefania Costantini | Professore Ordinario di Informatica — Università dell'Aquila

Included in the 2024 list of most influential women in AI: https://www.repubblica.it/tecnologia/2024/03/08/news/donne_intelligenza_artificiale_italia-422273156/amp/

Included in the 2024 list of most influential Italians in AI: https://www.repubblica.it/tecnologia/dossier/romecup/2024/03/19/news/

intelligenza_artificiale_in_italia_ecco_tutti_nomi_luniversita_e_la_ricerca_

le_startup_e_le_grandi_aziende_larte_e_la_-422332723/

Included in the Stanford University "2% World Top Scientists" list for 2023-26.

Research Topics (keywords): Computational Logic, Logic Programming, Meta-programming and Meta-reasoning, Agents and Multi-Agent Systems, Automated Reasoning, Knowledge Representation, Neuro-symbolic Hybrid Systems, Ethics in Artificial Intelligence.

Main Research achievements: Her work on agent-oriented logic led to the DALI language, enabling reactive and cognitive agents with applications ranging from smart environments to healthcare. She has developed epistemic and temporal logics to model agent behaviour and multi-agent interactions. She has made significant contributions to non-monotonic reasoning through Answer Set Programming (ASP), particularly by incorporating resources, preferences, and epistemic logic. She has advanced the field of metalogic programming by integrating meta-level reasoning and ontological frameworks into logic languages. She has developed formal methods for embedding ethical principles into AI, including runtime verification and transparent machine-learning approaches.

(Co-)Author of over 200 international Scopus publications.

Member of the Program Committee for major conferences and journals in the field; three-time (Co-)Chair, General Chair of PAAMS2020; Editorial Board member of the journal "Theory and Practice of Logic Programming."

Past-President of GULP (Italian Association for Computational Logic - Gruppo programmatori e Utenti di Logic Programming). Member (until December 2025) of the AIxIA Board (Italian Association for Artificial Intelligence). Member (until December 2026) of the Executive Committee of ALP (International Association for Logic Programming).

In 2024-25, Scientific Leader of the PNRR project "Enhanced Network of intelligent Agents for Building Livable Environments - ENABLE"; since 2023, Scientific Leader of the PRIN 2022 project "TrustPACTX - Design of the Hybrid Society Humans-Autonomous Systems: Architecture, Trustworthiness, Trust, EthiCs, and EXplainability (the case of Patient Care)"; since 2023, Local Coordinator of the PRIN PNRR project "ADVISOR - ADaptiVe legIble robotS for trustwORthy health coaching." From 2018 to 2022, Vice-Coordinator of the COST Action CA17124 "DIGital FORensics: evidence Analysis via intelligent Systems and Practices."

Participant and local coordinator in various other Italian and European projects. She directed and collaborated on various industrial projects, especially related to applications of the agent programming language DALI.

Evaluator of Projects and Ph.D. theses for the European Community, ESF, Italian Ministry of University and Research (MUR), public institutions, Italian and international universities, and the Italian Chamber of Deputies.

Invited visiting professor: University of Texas at El Paso; Imperial College London; Universidad Politecnica de Madrid and Corunna University; Fundacion Univ. de las Americas, Puebla (MX).

Member (since 2021) of the Faculty Board of the new National Ph.D. in Artificial Intelligence, area "Society." At the University of L'Aquila: Faculty Board member of the ICT Doctorate since its establishment; member of the Evaluation Committee (2018-2021); Coordinator of the Doctorate in Computer Science (2011-2014); Chair of Computer Science Degree Programs (2013-2015); Deputy Director of the Department of Computer Science (2009-2011).

She has given numerous public seminars on Artificial Intelligence, both in orientation activities and at the invitation of cultural associations.

 

Full CV Download

"Epistemic Logic Programming" for the National PhD in AI "AI for Society"

The next edition of the Course "Epistemic Logic Programming" for the National PhD in AI track "AI for Society" will be held in the second semester (Spring 2024) according to ...

Course "Answer Set Programming" for the National PhD in AI "AI for Society"

The first edition of the Course "Answer Set Programming" for the National PhD in AI "AI for Society" has just started and can be joined by asking the lecturer by email ...

Lectures Automated Reasoning and Ontologies cancelled in days Nov 7-9

Lectures are cancelled next week because I will be at a Conference. Next Automated Reasoning lecture will be on Nov 14, next Ontologies Lecture will be on Nov 16. Thank you for ...