<!DOCTYPE html>
<!-- CEURVERSION=2020-07-09 -->
<html lang="en">
<head>
<meta http-equiv="Content-type" content="text/html;charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<link rel="stylesheet" type="text/css" href="../aixia.css">
<title>CEUR-WS.org/Vol-4003 - Italian Conference on Computational Logic 2025</title>
</head>
<!--CEURLANG=eng -->
<body>


<table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
<tbody><tr>
<td style="text-align: left; vertical-align: middle">
<a href="http://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">
<a href="http://ceur-ws.org/aixia.html"><div id="AIXIALOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">
<div style="float:left" id="CEURCCBY"></div>
<span class="CEURVOLNR">Vol-4003</span> <br>
<span class="CEURURN">urn:nbn:de:0074-4003-X</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 2025 for 
the individual papers by the papers' authors. 
Copyright &copy; <span class="CEURPUBYEAR">2025</span> 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
<A HREF="https://creativecommons.org/licenses/by/4.0/">(<span class="CEURLIC">CC BY 4.0</span>)</A>.</p>
</td>
</tr>
</tbody></table>

<hr>

<br><br><br>

<h1><a href="https://cilc2025.github.io"><span class="CEURVOLACRONYM">CILC 2025</span></a><br>
<span class="CEURVOLTITLE">Italian Conference on Computational Logic 2025</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Proceedings of the 40th Italian Conference on Computational Logic</span><br>
</h3>
<h3><span class="CEURLOCTIME">Alghero, Italy, June 25-27, 2025</span>.</h3>

<br>
<b> Edited by </b>
<p>

</p><h3>
   <a href="https://aimet-lab.github.io/dario/"><span class="CEURVOLEDITOR">Dario Guidotti</span></a> <sup>*</sup><br>
   <a href="https://aimet-lab.github.io/laura/"><span class="CEURVOLEDITOR">Laura Pandolfo</span></a> <sup>*</sup><br>
    <a href="https://aimet-lab.github.io/luca/"><span class="CEURVOLEDITOR">Luca Pulina</span></a> <sup>*</sup><br>
</h3>

<sup>*</sup> <a href="https://www.uniss.it/it">University of Sassari</a>,
  DUMAS, Via Roma 151, Sassari, Italy<br>
  <br>

<hr>

<br><br><br>

<div class="CEURTOC">
<h2> Table of Contents </h2>

<ul>
<li id="preface">
<A href="preface.pdf">Preface</A><BR>
Summary: There were <span class="CEURSUBMITTEDPAPERS">32</span> papers submitted for peer-review to this workshop. Out of these,
<span class="CEURACCEPTEDPAPERS">22</span> papers appears in this volume,
<span class="CEURACCEPTEDREGULARPAPERS">20</span> as regular papers,
<span class="CEURACCEPTEDSHORTPAPERS">2</span> as short papers, respectively, while 10 papers were only presented at the conference, having already been published elsewhere.
</li>
</ul>
<BR>

<h3><span class="CEURSESSION">Invited Talks</span></h3>

<ul>

<li id="invited1"><a href="invited1.pdf">
<span>Arguing Together: The Evolution of a Concurrent and Timed Argumentation Language</span></a>
<br>
<span>Stefano Bistarelli</span>
</li>

<li id="invited2"><a href="invited2.pdf">
<span>Rough Knowledge and its Refinement</span></a>
<br>
<span>Rafael Pe&ntilde;aloza</span>
</li>

<li id="tutorial1"><a href="tutorial1.pdf">
<span>ASP with Quantifiers: A Natural and Efficient Way to Tackle Problems Beyond NP (Tutorial)</span></a>
<br>
<span>Giuseppe Mazzotta</span>
</li>

</ul>

<h3><span class="CEURSESSION">Regular Papers</span></h3>

<ul>

<li id="paper1"><a href="paper01.pdf">
<span class="CEURTITLE">ASP Chef for Water Waste Monitoring</span></a>
<br>
<span class="CEURAUTHOR">Mario Alviano</span>,
<span class="CEURAUTHOR">Luis Angel Rodriguez Reiners</span>
</li>

<li id="paper2"><a href="paper02.pdf">
<span class="CEURTITLE">Querying and Visualizing Digital Twins with ASP and ASP Chef: Preliminary Report</span></a>
<br>
<span class="CEURAUTHOR">Mario Alviano</span>,
<span class="CEURAUTHOR">Paola Guarasci</span>
</li>

<li id="paper3"><a href="paper03.pdf">
<span class="CEURTITLE">An Evaluation of Open Source LLMs for Neuro-Symbolic Integration</span></a>
<br>
<span class="CEURAUTHOR">Stefano Sambri</span>,
<span class="CEURAUTHOR">Atefeh Ghanbari</span>,
<span class="CEURAUTHOR">Fabrizio Riguzzi</span>
</li>

<li id="paper4"><a href="paper08.pdf">
<span class="CEURTITLE">A Study on Contradiction Detection Using a Neuro-Symbolic Approach</span></a>
<br>
<span class="CEURAUTHOR">Alessia Donata Camarda</span>,
<span class="CEURAUTHOR">Giovambattista Ianni</span>
</li>

<li id="paper5"><a href="paper09.pdf">
<span class="CEURTITLE">Proof Search and Countermodel Construction for iCK4</span></a>
<br>
<span class="CEURAUTHOR">Mauro Ferrari</span>,
<span class="CEURAUTHOR">Camillo Fiorentini</span>,
<span class="CEURAUTHOR">Paolo Giardini</span>
</li>

<li id="paper6"><a href="paper11.pdf">
<span class="CEURTITLE">TOLC-ASP: a Tool for Training Students for Admission Tests</span></a>
<br>
<span class="CEURAUTHOR">Edda Dal Santo</span>,
<span class="CEURAUTHOR">Agostino Dovier</span>,
<span class="CEURAUTHOR">Talissa Dreossi</span>
</li>

<li id="paper7"><a href="paper12.pdf">
<span class="CEURTITLE">Explainable AI for Sperm Morphology: Integrating YOLO with FastLAS</span></a>
<br>
<span class="CEURAUTHOR">Talissa Dreossi</span>,
<span class="CEURAUTHOR">Agostino Dovier</span>,
<span class="CEURAUTHOR">Susy Urli</span>,
<span class="CEURAUTHOR">Francesca Corte Pause</span>,
<span class="CEURAUTHOR">Martina Crociati</span>
</li>

<li id="paper8"><a href="paper13.pdf">
<span class="CEURTITLE">Diophantine Modeling of Provability in Algebraic Logic</span></a>
<br>
<span class="CEURAUTHOR">Andrea Formisano</span>,
<span class="CEURAUTHOR">Isacco Gavazzi</span>,
<span class="CEURAUTHOR">Eugenio G. Omodeo</span>
</li>

<li id="paper9"><a href="paper14.pdf">
<span class="CEURTITLE">GPU-Accelerated Propagation for the Stable Marriage Constraint</span></a>
<br>
<span class="CEURAUTHOR">Stefano Travasci</span>,
<span class="CEURAUTHOR">Fabio Tardivo</span>,
<span class="CEURAUTHOR">Andrea Formisano</span>
</li>

<li id="paper10"><a href="paper15.pdf">
<span class="CEURTITLE">Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals</span></a>
<br>
<span class="CEURAUTHOR">Carmine Dodaro</span>,
<span class="CEURAUTHOR">Marco Maratea</span>,
<span class="CEURAUTHOR">Nicola Ramacciati</span>
</li>

<li id="paper11"><a href="paper16.pdf">
<span class="CEURTITLE">Answer Set Programming for Feature-Based Explanation of Malware Prediction</span></a>
<br>
<span class="CEURAUTHOR">Alessio Russo</span>,
<span class="CEURAUTHOR">Eleonora Iotti</span>,
<span class="CEURAUTHOR">Alessandro Dal Pal&ugrave;</span>
</li>

<li id="paper12"><a href="paper18.pdf">
<span class="CEURTITLE">Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP Chef</span></a>
<br>
<span class="CEURAUTHOR">Mario Alviano</span>,
<span class="CEURAUTHOR">Pietro Macr&igrave;</span>
</li>

<li id="paper13"><a href="paper20.pdf">
<span class="CEURTITLE">Probabilistic Compliance of Uncertain Traces in Declarative Process Mining</span></a>
<br>
<span class="CEURAUTHOR">Michela Vespa</span>,
<span class="CEURAUTHOR">Elena Bellodi</span>
</li>

<li id="paper14"><a href="paper21.pdf">
<span class="CEURTITLE">From Blueprint Personas to Epistemic Agents: A Comparative Study of ASP-Based and L-DINF-Based Approaches to Medical Appointment Scheduling</span></a>
<br>
<span class="CEURAUTHOR">Valentina Pitoni</span>,
<span class="CEURAUTHOR">Stefania Costantini</span>,
<span class="CEURAUTHOR">Andrea Monaldini</span>,
<span class="CEURAUTHOR">Alina Vozna</span>
</li>

<li id="paper15"><a href="paper24.pdf">
<span class="CEURTITLE">An Application of the TCL Logic to Aerospace Missions</span></a>
<br>
<span class="CEURAUTHOR">Antonio Lieto</span>,
<span class="CEURAUTHOR">Marco Orusa</span>,
<span class="CEURAUTHOR">Gian Luca Pozzato</span>,
<span class="CEURAUTHOR">Stefano Zoia</span>
</li>

<li id="paper16"><a href="paper25.pdf">
<span class="CEURTITLE">Toward Executing Datalog on Big Data Platforms</span></a>
<br>
<span class="CEURAUTHOR">Andrea Cuteri</span>,
<span class="CEURAUTHOR">Giuseppe Mazzotta</span>,
<span class="CEURAUTHOR">Francesco Ricca</span>
</li>

<li id="paper17"><a href="paper27.pdf">
<span class="CEURTITLE">Weighted Assumption Based Argumentation to reason about ethical principles and actions</span></a>
<br>
<span class="CEURAUTHOR">Paolo Baldi</span>,
<span class="CEURAUTHOR">Fabio Aurelio D'Asaro</span>,
<span class="CEURAUTHOR">Abeer Dyoub</span>,
<span class="CEURAUTHOR">Francesca A. Lisi</span>
</li>

<li id="paper18"><a href="paper31.pdf">
<span class="CEURTITLE">Verification of Coverability in Positive Interactive Datalog Programs</span></a>
<br>
<span class="CEURAUTHOR">Francesco Di Cosmo</span>
</li>

<li id="paper19"><a href="paper32.pdf">
<span class="CEURTITLE">An ASP Translation for Non-Monotonic Reasoning on DL-Lite_R with Prototype Descriptions</span></a>
<br>
<span class="CEURAUTHOR">Gabriele Sacco</span>,
<span class="CEURAUTHOR">Loris Bozzato</span>,
<span class="CEURAUTHOR">Oliver Kutz</span>
</li>

<li id="paper20"><a href="paper33.pdf">
<span class="CEURTITLE">Key Metalogical Propositions on a Variant of Hilbert’s Epsilon-Calculus</span></a>
<br>
<span class="CEURAUTHOR">Domenico Cantone</span>,
<span class="CEURAUTHOR">Marianna Nicolosi-Asmundo</span>,
<span class="CEURAUTHOR">Eugenio G. Omodeo</span>
</li>

</ul>

<h3><span class="CEURSESSION">Short Papers</span></h3>

<ul>

<li id="short1"><a href="short04.pdf">
<span class="CEURTITLE">An ASP-based Approach to UAM Strategic Deconfliction: preliminary results</span></a>
<br>
<span class="CEURAUTHOR">Gioacchino Sterlicchio</span>,
<span class="CEURAUTHOR">Angelo Oddi</span>,
<span class="CEURAUTHOR">Riccardo Rasconi</span>,
<span class="CEURAUTHOR">Francesca A. Lisi</span>
</li>

<li id="short2"><a href="short23.pdf">
<span class="CEURTITLE">ALIGHIERoo: Advanced Literary and Iconographic Graph for Hermeneutics of Interconnected Editions and Resources - Object Oriented</span></a>
<br>
<span class="CEURAUTHOR">Domenico Cantone</span>,
<span class="CEURAUTHOR">Marianna Nicolosi-Asmundo</span>,
<span class="CEURAUTHOR">Stefano Angelo Rizzo</span>
</li>

</ul>

<h3><span class="CEURSESSION">Presented papers, published elsewhere</span></h3>

<ul>

<li id="published1">
<span>Probabilistic Traces in Declarative Process Mining</span><br>
<span>Michela Vespa</span>,
<span>Elena Bellodi</span>,
<span>Federico Chesani</span>,
<span>Daniela Loreti</span>,
<span>Paola Mello</span>,
<span>Evelina Lamma</span>,
<span>Anna Ciampolini</span>,
<span>Marco Gavanelli</span>,
<span>Riccardo Zese</span><br>
<a href="https://link.springer.com/chapter/10.1007/978-3-031-80607-0_25">Link to the original publication</a>
</li>

<li id="published2">
<span>Probabilistic Compliance in Declarative Process Mining</span><br>
<span>Michela Vespa</span>,
<span>Elena Bellodi</span>,
<span>Federico Chesani</span>,
<span>Daniela Loreti</span>,
<span>Paola Mello</span>,
<span>Evelina Lamma</span>,
<span>Anna Ciampolini</span><br>
<a href="https://ceur-ws.org/Vol-3779/paper1.pdf">Link to the original publication</a>
</li>

<li id="published3">
<span>Discovery of logic-probabilistic rules from COVID-19 vaccine antibody response in older people: results from the GeroCovid VAX Study</span><br>
<span>Michela Vespa</span>,
<span>Francesca Remelli</span>,
<span>Elena Bellodi</span>,
<span>Raffaele Antonelli Incalzi</span><br>
</li>

<li id="published4">
<span>Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem</span><br>
<span>Alessandro Bertagnon</span>,
<span>Marco Gavanelli</span><br>
<a href="https://ceur-ws.org/Vol-3883/paper2_RCRA7.pdf">Link to the original publication</a>
</li>

<li id="published5">
<span>Blending grounding and compilation for efficient ASP solving</span><br>
<span>Carmine Dodaro</span>,
<span>Giuseppe Mazzotta</span>,
<span>Francesco Ricca</span><br>
<a href="https://dl.acm.org/doi/10.24963/kr.2024/30">Link to the original publication</a>
</li>

<li id="published6">
<span>Improving ASP-based ORS Schedules through Machine Learning Predictions</span><br>
<span>Pierangela Bruno</span>,
<span>Carmine Dodaro</span>,
<span>Giuseppe Galata</span>,
<span>Marco Maratea</span>,
<span>Marco Mochi</span><br>
<!--<a href="https://dl.acm.org/doi/10.24963/kr.2024/30">Link to the original publication</a>-->
</li>

<li id="published7">
<span>Temporal Many-valued Conditional Logics: an Abridged Report</span><br>
<span>Mario Alviano</span>,
<span>Laura Giordano</span>,
<span>Daniele Theseider Dupr&eacute;</span><br>
<a href="https://ceur-ws.org/Vol-3904/paper4.pdf">Link to the original publication</a>
</li>

<li id="published8">
<span>Learning Brave Assumption-Based Argumentation Frameworks via ASP</span><br>
<span>Emanuele De Angelis</span>,
<span>Maurizio Proietti</span>,
<span>Francesca Toni</span><br>
<a href="https://ebooks.iospress.nl/doi/10.3233/FAIA240896">Link to the original publication</a>
</li>

<li id="published9">
<span>Greedy ABA Learning for Case-Based Reasoning</span><br>
<span>Emanuele De Angelis</span>,
<span>Maurizio Proietti</span>,
<span>Francesca Toni</span><br>
<a href="https://www.ifaamas.org/Proceedings/aamas2025/pdfs/p556.pdf">Link to the original publication</a>
</li>

<li id="published10">
<span>An LBBD approach for Solving the Chemotherapy Treatment Scheduling Problem</span><br>
<span>Simone Caruso</span>,
<span>Carmine Dodaro</span>,
<span>Marco Maratea</span>,
<span>Cinzia Marte</span>,
<span>Marco Mochi</span><br>
</li>

</ul>

</div>


<hr>
<span class="unobtrusive">
2025-07-07: submitted by Dario Guidotti,
            metadata incl. bibliographic data published under <A HREF="https://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</A><br>
<span class="CEURPUBDATE">2025-07-28</span>: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073)
	|<a href="https://validator.w3.org/nu/?doc=https%3A%2F%2Fceur-ws.org%2FVol-4003%2F">valid HTML5</a>|
</span>
</body></html>
