Academic Staff
Jessica Zangari
Email: zangari[AT]mat.unical.it
Web:
Expertise:
Artificial Intelligence, Logic Programming, Nonmonotonic reasoning, Answer Set Programming, Instantiation, Grounding
Research:
Her scientific activities are mainly focused on Artificial Intelligence and especially on Answer Set Programming (ASP). Her research interests range from practical to theoretical aspects of reasoning over incomplete knowledge and dynamic data. She is the main developer of I-DLV, a state-of-the-art ASP grounder and deductive database engine, integrated into the version 2 of the system ASP system DLV. She proposed several efficient grounding techniques for ASP as well as incremental grounding strategies, linguistic extensions for ASP, methods and systems for data-intensive Logic Programming applications. She is Chair of the 13th Workshop on Answer Set Programming and Other Computing Paradigms and PC Member of international conferences including the International Joint Conference on Artificial Intelligence (IJCAI) and the European Conference on Artificial Intelligence (ECAI).
Awards and Honors:
In 2016, she was co-author of the paper "I-DLV: the new Intelligent Grounder of DLV", awarded as the best paper of the International Conference of the Italian Association for Artificial Intelligence (AI*IA).
In 2017, I-DLV coupled with different solvers achieved both the first and second place in the ASP Competition co-located with the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR).
In 2018, she was co-author of the paper "Optimizing Answer Set Computation via Heuristic-Based Decomposition", awarded as the best paper of the International Symposium on Practical Aspects of Declarative Languages (PADL).
In 2019, she received a special mention for her Ph.D Thesis "Design and Implementation of a Modern ASP Grounder" from GULP (Gruppo Ricercatori e Utenti di Logic Programming).
In 2020, the extended version of the paper "I-DLV: the new Intelligent Grounder of DLV" resulted as the most cited paper of the official journal of the Italian Association for Artificial Intelligence (AI*IA) since 2017.
Publications:
Teaching - Academic Year 2019/2020:
- FONDAMENTI DI INFORMATICA - Sdoppiamento di laboratorio (CdS LT in Informatica)
- PROGRAMMAZIONE AD OGGETTI - Corso di affiancamento e tutoraggio (CdS LT in Informatica)