Home

Stefania Costantini. MSc “cum Laude”, University of Pisa (1983). From 2005, Full Professor at the DISIM Department, University of L’Aquila. Research Interests: Artificial Intelligence. Head of Research Group AAAI@AQ (Artificial Agents and Artificial Intelligence.

Keywords: Computational Logic, Logic Programming, Metaprogramming and Meta-Reasoning, Automated Reasoning (Answer Set Programming and its extensions/applications), Intelligent Autonomous Agents, Epistemic Logic, Graph Analysis.

(Co-)Author of about 150 International publications. Member of the Program Committee of the most important conferences in the fields, three times (Co-)Chair, General Chair of PAAMS2020, member of the Editorial Board of the journal “Theory and Practice of Logic Programming”. President of GULP (Italian Association of Computational Logic). Member of the Steering Committee of AIxIA (Italian Association of Artificial Intelligence). Coordinator for L’Aquila of the National Lab CINI AIIS (Artificial Intelligence and Intelligent Systems). Evaluator for EU, Italian Ministry, Italian and foreign Universities and Institutions. 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).

Projects: 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, IST-FET-2001-37004)
and CUSPIS (a Cultural Heritage Space Identification System, GJU/05/2412/CTR/CUSPIS). Participant in several European, Italian and industrial projects. At the University of L’Aquila: member of the Steering Committee of the PhD Program in ICT; member of the Quality Assurance Committee; 2011-2014, Coordinator of the PhD Program in Computer Science; 2013-2015, Director of BSc and MSC tracks in Computer Science; 2009-2011, vice-Director of the Computer Science Department. Lecturer for courses: Intelligent Artificial Agents, Ontologies for Data Representation: Methods and Applications, Automated Reasoning, in the MSc track in Computer Science.

The AAAI@AQ research group has produced the following free software packages:

• RASP Inference Engine, Raspberry: http://www.dmi.unipg.it/ formis/raspberry/
• DALI Interpreter and Framework: https://github.com/AAAI-DISIM-UnivAQ/DALI