Speakers

Invited Talks

Serena Villata

Serena Villata is Research Director at CNRS. She is a research fellow of the Institut 3IA Côte d'Azur since 2019 and the Scientific Director of the institute since 2025. She is the head of the MARIANNE research team at Inria. In November 2021, she has been awarded with the Prix "Jeunes chercheurs et jeunes chercheuses" from Inria – Académie des Sciences. She received in 2010 the Ph.D. degree from the University of Turin (Italy) for her work on computational argumentation in Artificial Intelligence. Her research area is Artificial Intelligence (AI), and her current work focuses on computational argumentation, with a specific focus on legal and medical texts, political debates and social network harmful content (abusive language, disinformation). Her work conjugates argument-based reasoning frameworks with natural language arguments extracted from text.

Eleonora Giunchiglia

Tutorial

Efficient Evaluation of Logic Programs

Giuseppe Mazzotta, Francesco Ricca

Answer Set Programming (ASP) combines an expressive declarative language with efficient solving technology, making it suitable for modeling complex combinatorial problems. State-of-the-art ASP systems based on Ground&Solve approach suffer from the grounding bottleneck, which can limit applicability. Recently, different alternative evaluation techniques have been introduced, including compilation-based ASP solving, which has emerged as a promising approach to overcome the grounding bottleneck. In this tutorial we provide an overview of compilation-based techniques by showing how logical rules can be compiled into customized propagators and present the proasp system, the first compilation-based ASP solver which integrate grounding and compilation within a unified framework.

Giuseppe Mazzotta

Giuseppe Mazzotta is a Researcher in Computer Science at the Department of Mathematics, University of Calabria, Italy. He obtained his MSc Degree in Computer Science in 2020 and completed his PhD in Computer Science and Mathematics in 2023 at the same institution. Giuseppe research focuses on knowledge representation and reasoning, particularly in Answer Set Programming (ASP). During his PhD, he specialized in developing efficient techniques for evaluating ASP programs affected by the grounding bottleneck problem. His work has been published in international conferences, earning him recognition such as the ”AAAI Outstanding Student Paper Honorable Mention” at the 36th AAAI Conference on Artificial Intelligence. He has been the Organizing Chair of ICLP 2025. A list of his publications can be found at https://dblp.org/pid/277/2609.

Francesco Ricca

Francesco Ricca (www.mat.unical.it/ricca) is Full Professor of Computer Science at the Department of Mathematics of the University of Calabria, Italy. He received his Laurea Degree in Computer Science Engineering (2002) and a PhD in Computer Science and Mathematics (2006) from the University of Calabria, Italy. Francesco Ricca research interests belong tothe AI area of knowledge representation and reasoning. His particular research focus lies on Answer Set Programming. He is member of the Executive Board of the Association for Logic Programming, member of the steering committee of the Rule and Reasoning Association (RRA), and member of the Steering Committee of the Italian Association for Computational Logic (GULP). He was program (co-)chair of ICLP20, RuleML+RR18 and is general chair of ICLP25 He was a lecturer in many editions (2023-2024-2025) of the ESSAI Summer school. Francesco Ricca is co-author of more than 150 refereed research articles published in international journals (40+), collections, and conference proceedings. A list of Francesco Ricca’s scientific publications can be found at https://dblp.org/pid/r/FrancescoRicca.

Page updated

Report abuse