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

Research

AAAI@AQ: Autonomous Agents and Artificial Intelligence at L'AQuila

Research work of this group concerns on the one hand computational logic, non-monotonic reasoning and meta-reasoning and knowledge representation, and on the other hand various forms of machine learning and data science applications. A main research-and-development result is the new agent-oriented logic programming language DALI, which is a “Prolog for agents” equipped with many advanced features for Complex Event Processing (CEP). Research work on Complex Event Processing includes improving the definition of what a complex event is, exploiting reinforcement learning in order to learn and rate new definitions, exploiting CEP for agents’ run-time self-checking and self-improvement. The group has also contributed to the theory and practice and of Answer Set Programming (ASP), which is a relatively recent though well-established and successful logic programming paradigm, able to cope with uncertainty by producing all consistent alternative answers, and to the theory and practice of Multi-Context Systems, which is an architecture to integrate distributed heterogeneous sources. The group has contributed to define RASP, which extends ASP with resources and preferences. DALI features plugins to invoke ASP and RASP modules for planning and reasoning. The group is also studying Epistemic Logics to model Multi-Agent Systems behavior, also representing aspects of the “Thery of Mind” in order to be able to reason about own and others’ mental states. Some of the applications of research results are in the fields of Machine Ethics, energy-saving in Smart Buildings, personal assistants for user-centered planning in Smart Cities, fault-detection in integrated circuits manufacturing, cognitive robotics, integrated systems for eHealth and assistive robotics, Digital Forensics. Group members are involved in several international projects and partnerships with other Universities, and in mentoring and teaching young people in these topics.

Group Members:

Stefania Costantini, leader, Full Professor

Giovanni Stilo, Associate Professor

Fabio Persia RTD-B

Pasquale Caianiello, Assistant Professor

Giovanni De Gasperis, Assistant Professor

Abeer Dyoub, RTD-A

Valentina Pitoni, Post-doc researcher

Ph.D. students: Andrea Rafanelli, Andrea Monaldini

Former Ph.D. Students: Domenico Bertoncelli, Raffaele Olivieri, Giulio Nazzicone, Arianna Tocchio, Panagiota Tsintza, Alessio Paolucci, Valentina Pitoni, Lorenzo De Lauretis.

"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 ...

Utilizziamo i cookie per offrirti il ​​nostro servizio. Continuando a utilizzare questo sito acconsenti al nostro utilizzo dei cookie come descritto nella nostra policy.