September 13, 2025
Room: TBA
Opening 15:00 - 15:10
Session 1 Chair: Brais Muñiz
15:10 - 15:35 Andreas Stadelmeier
Global Type Inference for Java using Answer Set Programming
15:35 - 16:00 Andrea Cuteri, Giuseppe Mazzotta and Francesco Ricca
Toward Executing Datalog on Big Data Platforms
16:00 - 16:25 Simone Caruso, Carmine Dodaro and Marco Maratea
Representing and Evaluating SBVR Specification via ASP
Coffe break 16:30 - 17:00
Session 2 Chair: Alice Tarzariol
17:00 - 18:20 Mario Alviano
Invited Talk Teaching ASP (and Its Users) to Share Code
Abstract: Answer Set Programming (ASP) is a robust and expressive tool for modeling and solving combinatorial problems. However, it lacks essential features for modularity, reuse, and testing. These are features that modern developers, especially newcomers, increasingly expect. Without built-in mechanisms for isolation or encapsulation, sharing ASP code often means copying and pasting entire programs, understanding every detail, and manually checking for compatibility.
This talk presents a new approach to code reuse in logic programming through ASP templates, now integrated into the ASP Chef platform. Templates provide a lightweight yet powerful way to encapsulate common reasoning patterns, with support for parameterization, inline documentation, and guided instantiation. With templates, developers can write once and reuse confidently.
ASP Chef enables:
- Templates with global predicates that can be renamed and local predicates that remain hidden
- Embedded documentation with interactive instantiation
- Template expansion for rapid prototyping and debugging
In the final part of the talk, I will introduce a new mechanism for integrating ASP with third-party frameworks. Instead of relying on fragile mappings defined through sets of facts, ASP Chef now supports Mustache templates that transform answer sets directly into structured JSON configuration objects. This approach offers a practical, maintainable, and intuitive way to connect ASP with external systems, using ASP queries to drive configuration generation.
18:20 - 18:45 Mario Alviano, Davide Cirimele and Luis Angel Rodriguez Reiners
ASP Chef creates surveys
18:45 - 19:10 Mario Alviano, Matteo Capalbo, Georg Gottlob, Irfan Kareem, Fabrizio Lo Scudo and Sebastiano Piccolo
A Preliminary Evaluation of Open-Source LLMs for Datalog-Based Semantic Parsing in the ASVIN Project
Closing 19:10 - 19:20