CILC 2025
Italian Conference on Computational Logic 2025

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