Program

Time	Wednesday (25/05/2025)
09:30-10:30	Registration
10:30-10:35	Opening
10:35-13:00	Session I: Application (Part I) Chair: TBD 10:35-11:00 Luis Angel Rodriguez Reiners, Mario Alviano ASP Chef for Water Waste Monitoring 11:00-11:20 Gioacchino Sterlicchio, Angelo Oddi, Riccardo Rasconi, Francesca Alessandra Lisi An ASP based approach to UAM Strategic Deconfliction: Preliminary Results 11:20-11:45 Edda Dal Santo, Agostino Dovier, Talissa Dreossi TOLC-ASP: a Tool for Training Students for Admission Tests 11:45-12:10 Stefano Travasci, Fabio Tardivo, Andrea Formisano GPU-Accelerated Propagation for the Stable Marriage Constraint 12:10-12:35 Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi Improving ASP-based ORS Schedules through Machine Learning Predictions 12:35-13:00 Mario Alviano, Pietro Marcrì Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP Chef
13:00-14:00	Lunch
14:00-15:00	Invited Talk Chair: TBD Stefano Bistarelli, University of Perugia, Italy TBA
15:00-16:15	Session II: Neuro-Symbolic Learning and Explainability Chair: TBD 15:00-15:25 Stefano Sambri, Atefeh Ghanbari, Fabrizio Riguzzi An Evaluation of Open Source LLMs for Neuro-Symbolic Integration 15:25-15:50 Alessia Donata Camarda, Giovambattista Ianni A Study on Contradiction Detection using a Neuro-Symbolic Approach 15:50-16:15 Talissa Dreossi, Agostino Dovier, Francesca Corte Pause, Susy Urli, Martina Crociati Explainable AI for Sperm Morphology: Integrating YOLO with FastLAS
16:15-16:35	Coffee Break
16:35-17:50	Session III: Application (Part II) Chair: TBD 16:35-17:00 Carmine Dodaro, Marco Maratea, Nicola Ramacciati Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals 17:00-17:25 Simone Caruso, Carmine Dodaro, Marco Maratea, Cinzia Marte, Marco Mochi An LBBD Approach for Solving the Chemotherapy Treatment Scheduling Problem 17:25-17:50 Antonio Lieto, Marco Orusa, Gian Luca Pozzato, Stefano Zoia An Application of the TCL Logic to Aerospace Missions
17:50-18:50	Direttivo

Time	Thursday (26/06/2025)
09:00-10:00	Invited Talk Chair: TBD Rafael Penaloza Nyssen, University of Milano-Bicocca, Italy Rough Knowledge and its Refinement
10:00-10:50	Session IV: Analysis & Verification Chair: TBD 10:00-10:25 Francesco Di Cosmo Verification of Coverability in Positive Interactive Datalog Programs 10:25-10:50 Alessandro Bertagnon, Marco Gavanelli Stronger Integration of Circuit and All Different Propagators for the Hamiltonian Cycle Problem
10:50-11:15	Coffee Break
11:15-12:50	Session V: Probabilistic Logic Programming and Process Mining Chair: TBD 11:15-11:40 Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini, Marco Gavanelli, Riccardo Zese Probabilistic Traces in Declarative Process Mining 11:40-12:05 Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini Probabilistic Compliance in Declarative Process Mining 12:05-12:30 Michela Vespa, Francesca Remelli, Elena Bellodi, Raffaele Antonelli Incalzi Discovery of logic-probabilistic rules from COVID-19 vaccine antibody response in older people: results from the GeroCovid VAX Study 12:30-12:50 Michela Vespa, Elena Bellodi Probabilistic compliance of uncertain traces in Declarative Process Mining
13:00-14:00	Lunch
14:00-15:00	Tutorial Chair: TBD Giuseppe Mazzotta, University of Calabria, Italy ASP with Quantifiers: A Natural and Efficient Way to Tackle Problems Beyond NP
15:00-16:15	Session VI: Answer Set Programming & Natural Language Processing Chair: TBD 15:00-15:25 Mario Alviano, Paola Guarasci Querying and Visualizing Digital Twins with ASP and ASP Chef: Preliminary Report 15:25-15:50 Alessio Russo, Eleonora Iotti, Alessandro Dal Palù Answer Set Programming for Feature-Based Explanation of Malware Prediction 15:50-16:15 Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca Blending grounding and compilation for efficient ASP solving
16:15-16:30	Coffee Break
16:30-17:30	Assemblea Soci
19:15	Social Dinner

Time	Friday (27/06/2025)
09:00-10:35	Session VII: Knowledge Representation (Part I) Chair: TBD 09:00-09:25 Valentina Pitoni, Stefania Costantini, Andrea Monaldini, Alina Vozna From Blueprint Personas to Epistemic Agents: A Comparative Study of ASP-Based and L-DINF-Based Approaches to Medical Appointment Scheduling 09:25-09:45 Stefano Angelo Rizzo, Domenico Cantone, Marianna Nicolosi-Asmundo ALIGHIERoo: Advanced Literary and Iconographic Graph for Hermeneutics of Interconnected Editions and Resources - Object Oriented 09:45-10:10 Gabriele Sacco, Loris Bozzato, Oliver Kutz An ASP translation for non-monotonic reasoning on DL-LiteR with Prototype Descriptions 10:10-10:35 Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca Toward Executing Datalog on Big Data Platforms
10:35-10:50	Coffee Break
10:50-12:25	Session IX: Logic Chair: TBD 10:50-11:15 Andrea Formisano, Isacco Gavazzi, Eugenio G. Omodeo Diophantine modeling of provability in algebraic logic 11:15-11:35 Mario Alviano, Laura Giordano, Daniele Theseider Dupré Temporal Many-valued Conditional Logics: an Abridged Report 11:35-12:00 Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo Key Metalogical Propositions on a Variant of Hilbert’s Epsilon-Calculus 12:00-12:25 Mauro Ferrari, Camillo Fiorentini, Paolo Giardini Proof search and countermodel construction for iCK4
12:25-13:25	Lunch
13:25-14:40	Session X: Argumentation Chair: TBD 13:30-13:55 Paolo Baldi, Fabio Aurelio D'Asaro, Abeer Dyoub, Francesca Alessandra Lisi Weighted Assumption Based Argumentation to reason about ethical principles and actions 13:55-14:15 Emanuele De Angelis, Maurizio Proietti, Francesca Toni Learning Brave Assumption-Based Argumentation Frameworks via ASP 14:15-14:40 Emanuele De Angelis, Maurizio Proietti, Francesca Toni Greedy ABA Learning for Case-Based Reasoning
14:40-14:45	Closing