Artificial Intelligence, Computational Logic, 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
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:
Epistemic Logic Programs (ELPs) are an extension of Answer Set Programming (ASP) with epistemic operators that allow for a form of meta-reasoning, that is, reasoning over multiple ...
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. ASP is an outgrowth of research on the use of nonmonotonic ...
The previous message must be considered as cancelled. The last two lectures will be held according to the timetable agreed between Prof. Abeer Dyoub and the students attending the ...