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