|  | Vol-4003 urn:nbn:de:0074-4003-X Copyright © 2025 for the individual papers by the papers' authors. Copyright © 2025 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# CILC 2025
Italian Conference on Computational Logic 2025

### Proceedings of the 40th Italian Conference on Computational Logic

### Alghero, Italy, June 25-27, 2025.

Edited by

### Dario Guidotti *
Laura Pandolfo *
Luca Pulina *

* University of Sassari, DUMAS, Via Roma 151, Sassari, Italy

## Table of Contents

- Preface
  Summary: There were 32 papers submitted for peer-review to this workshop. Out of these, 22 papers appears in this volume, 20 as regular papers, 2 as short papers, respectively, while 10 papers were only presented at the conference, having already been published elsewhere.

### Invited Talks

- Arguing Together: The Evolution of a Concurrent and Timed Argumentation Language
  Stefano Bistarelli
- Rough Knowledge and its Refinement
  Rafael Peñaloza
- ASP with Quantifiers: A Natural and Efficient Way to Tackle Problems Beyond NP (Tutorial)
  Giuseppe Mazzotta

### Regular Papers

- ASP Chef for Water Waste Monitoring
  Mario Alviano, Luis Angel Rodriguez Reiners
- Querying and Visualizing Digital Twins with ASP and ASP Chef: Preliminary Report
  Mario Alviano, Paola Guarasci
- An Evaluation of Open Source LLMs for Neuro-Symbolic Integration
  Stefano Sambri, Atefeh Ghanbari, Fabrizio Riguzzi
- A Study on Contradiction Detection Using a Neuro-Symbolic Approach
  Alessia Donata Camarda, Giovambattista Ianni
- Proof Search and Countermodel Construction for iCK4
  Mauro Ferrari, Camillo Fiorentini, Paolo Giardini
- TOLC-ASP: a Tool for Training Students for Admission Tests
  Edda Dal Santo, Agostino Dovier, Talissa Dreossi
- Explainable AI for Sperm Morphology: Integrating YOLO with FastLAS
  Talissa Dreossi, Agostino Dovier, Susy Urli, Francesca Corte Pause, Martina Crociati
- Diophantine Modeling of Provability in Algebraic Logic
  Andrea Formisano, Isacco Gavazzi, Eugenio G. Omodeo
- GPU-Accelerated Propagation for the Stable Marriage Constraint
  Stefano Travasci, Fabio Tardivo, Andrea Formisano
- Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals
  Carmine Dodaro, Marco Maratea, Nicola Ramacciati
- Answer Set Programming for Feature-Based Explanation of Malware Prediction
  Alessio Russo, Eleonora Iotti, Alessandro Dal Palù
- Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP Chef
  Mario Alviano, Pietro Macrì
- Probabilistic Compliance of Uncertain Traces in Declarative Process Mining
  Michela Vespa, Elena Bellodi
- From Blueprint Personas to Epistemic Agents: A Comparative Study of ASP-Based and L-DINF-Based Approaches to Medical Appointment Scheduling
  Valentina Pitoni, Stefania Costantini, Andrea Monaldini, Alina Vozna
- An Application of the TCL Logic to Aerospace Missions
  Antonio Lieto, Marco Orusa, Gian Luca Pozzato, Stefano Zoia
- Toward Executing Datalog on Big Data Platforms
  Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
- Weighted Assumption Based Argumentation to reason about ethical principles and actions
  Paolo Baldi, Fabio Aurelio D'Asaro, Abeer Dyoub, Francesca A. Lisi
- Verification of Coverability in Positive Interactive Datalog Programs
  Francesco Di Cosmo
- An ASP Translation for Non-Monotonic Reasoning on DL-Lite_R with Prototype Descriptions
  Gabriele Sacco, Loris Bozzato, Oliver Kutz
- Key Metalogical Propositions on a Variant of Hilbert’s Epsilon-Calculus
  Domenico Cantone, Marianna Nicolosi-Asmundo, Eugenio G. Omodeo

### Short Papers

- An ASP-based Approach to UAM Strategic Deconfliction: preliminary results
  Gioacchino Sterlicchio, Angelo Oddi, Riccardo Rasconi, Francesca A. Lisi
- ALIGHIERoo: Advanced Literary and Iconographic Graph for Hermeneutics of Interconnected Editions and Resources - Object Oriented
  Domenico Cantone, Marianna Nicolosi-Asmundo, Stefano Angelo Rizzo

### Presented papers, published elsewhere

- Probabilistic Traces in Declarative Process Mining
  Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini, Marco Gavanelli, Riccardo Zese
  Link to the original publication
- Probabilistic Compliance in Declarative Process Mining
  Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini
  Link to the original publication
- Discovery of logic-probabilistic rules from COVID-19 vaccine antibody response in older people: results from the GeroCovid VAX Study
  Michela Vespa, Francesca Remelli, Elena Bellodi, Raffaele Antonelli Incalzi
- Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem
  Alessandro Bertagnon, Marco Gavanelli
  Link to the original publication
- Blending grounding and compilation for efficient ASP solving
  Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
  Link to the original publication
- Improving ASP-based ORS Schedules through Machine Learning Predictions
  Pierangela Bruno, Carmine Dodaro, Giuseppe Galata, Marco Maratea, Marco Mochi
- Temporal Many-valued Conditional Logics: an Abridged Report
  Mario Alviano, Laura Giordano, Daniele Theseider Dupré
  Link to the original publication
- Learning Brave Assumption-Based Argumentation Frameworks via ASP
  Emanuele De Angelis, Maurizio Proietti, Francesca Toni
  Link to the original publication
- Greedy ABA Learning for Case-Based Reasoning
  Emanuele De Angelis, Maurizio Proietti, Francesca Toni
  Link to the original publication
- An LBBD approach for Solving the Chemotherapy Treatment Scheduling Problem
  Simone Caruso, Carmine Dodaro, Marco Maratea, Cinzia Marte, Marco Mochi

2025-07-07: submitted by Dario Guidotti, metadata incl. bibliographic data published under Creative Commons CC0
2025-07-28: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|