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

Vol-4244
urn:nbn:de:0074-4244-x

Copyright © 2026 for the individual papers by the papers' authors. Copyright © 2026 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 2026

Proceedings of the 41th Italian Conference on Computational Logic

Ferrara, Italy, June 23-25, 2026.

Edited by

Damiano Azzolini
Alessandro Bertagnon
Marco Gavanelli
Fabrizio Riguzzi
Michela Vespa

Table of Contents

PDF
PDF
PDF
PDF
Interactive Clinical Validation with ASP Chef in the RADIOAMICA Project PDF
Mario Alviano, Pietro Macrì, Luis Angel Rodriguez Reiners, Pierpaolo Sestito
A proof-search procedure for Kuznetsov-Muravitski Logic PDF
Mauro Ferrari, Camillo Fiorentini, Paolo Giardini
Collaborative Neural-Symbolic Rule Generation for Explainable Data-to-Text Systems PDF
Gian Marco Simonazzi, Alessandro Dal Palù
A Trust Extension of L-DINF for Explainable Multi-Agent Decision Making PDF
Stefania Costantini, Valentina Pitoni
Formally Verifying the Absence of Overloading in Apache Storm PDF
Elena Pagani, Marcello M. Bersani, Mădălina Eraşcu, Matteo G. Rossi, Silvio Ghilardi
A Numeric PDDL Representation of the Good Snowman Planning Problem PDF
Matteo Paparo, Francesco Doria, Marco Maratea, Mauro Vallati
A Declarative Framework for Constrained Clique Detection in Heterogeneous Knowledge Graphs via ASP PDF
Mario Alviano, Eleonora Bilotta, Pierpaolo Sestito
CUD@ILP: a GPU based, massively scalable Inductive Learning Algorithm PDF
Enrico Santi, Agostino Dovier, Andrea Formisano
Solving and Visualizing ASP(Q) programs in ASP Chef PDF
Mario Alviano, Andrea Cuteri, Marco Duca, Giuseppe Mazzotta, Francesco Ricca
AMO-Aware Optimization in Answer Set Programming PDF
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino
Extending Structured Declarative Language with Constraint Programming via MiniZinc PDF
Mario Alviano, Carmine Dodaro, Thomas Eiter, Tobias Geibinger, Ilaria Raffaela Vasile
An Overview of Neuro-Symbolic Frameworks for Software Development PDF
Luca Ferrante, Stefano Forti, Jacopo Soldani
Detecting Emotions for Preventing Aggression, Bullying, and Femicide: A Description Logic based Approach PDF
Alessandra Cincotti, Antonio Lieto, Gian Luca Pozzato, Stefano Zoia
The Interpreter as Teacher: GRPO with Execution Feedback for Prolog Code Generation PDF
Federico Pennino, Bianca Raimondi, Massimo Rondelli, Andrea Gurioli, Maurizio Gabbrielli
Talk2Prolog: the Context, the Dataset, and the Methodology through the Lens of Computational Linguistics PDF
Laura Fuciarelli, Angelo Ferrando, Andrea Gatti, Viviana Mascardi
Recursive Self-Identification at the $\Sigma_1/\Pi_{1}$ Boundary PDF
Domenico Cantone, Eugenio Omodeo, Stefano Savino
EI-TWIN: Energy Digital Twins for Renewable Energy Communities (Project Report) PDF
Antonio Ielo, Francesco Ricca, Simone Ventrici, Michele Vitale
GameL: a Neuro-Symbolic Agentic Architecture Toward Autonomous and Resilient Energy Communities PDF
Erica Ambrosino, Amedeo Andreotti, Marco Aruta, Gabriel Ballot, Andrea Capone, Giulio de Notaristefani di Vastogirardi, Sara Ferrigno, Francesco Improta, Ciro Listone, Vadim Malvone, Bastien Maubert, Floriana Nappi, Salvatore Romano, Aniello Murano
Embedding Safe AI Assistants into Web Apps with LLMASP PDF
Mario Alviano, Matteo Capalbo, Georg Gottlob, Irfan Kareem
A Preliminary Approach to Probabilistic Process Discovery PDF
Michela Vespa, Elena Bellodi, Daniela Loreti, Federico Chesani
Hierarchy Guided eXtraction with Answer Set Programming and Large Language Models PDF
Lorenzo Grillo, Mario Alviano, Massimo Busiello
Combining Prototypes in Description Logics with Prototype Descriptions: First Steps PDF
Gabriele Sacco, Loris Bozzato, Oliver Kutz
A tableau for Many-Valued Multi-Modal Logic PDF
Guillermo Badia, Riccardo Monego, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan
PDF
PDF
PDF
PDF
PDF
PDF
PDF
PDF
PDF
PDF
PDF
PDF

2026-08-24: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|