Original: https://ceur-ws.org/Vol-4003/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-4003/ | Year: 2025

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 https://creativecommons.org/licenses/by/4.0/.

CILC 2025

Proceedings of the 40th Italian Conference on Computational Logic

Alghero, Italy, June 25-27, 2025.

Edited by

Dario Guidotti
Laura Pandolfo
Luca Pulina

Table of Contents

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

2028-07-28: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|