CILC 2026
Italian Conference on Computational Logic 2026

Table of Contents

• Preface
  Summary: There were 35 papers submitted for peer-review to this conference. Out of these, 24 papers appears in this volume, 16 as regular papers, 7 as short papers, while 12 papers were only presented at the conference, having already been published elsewhere.

Invited Talks

• From Whispers to Structures: Computational Argumentation in Politics
  Serena Villata
• Can Requirements Make Machine Learning Safer? From constrained prediction to structured generation
  Eleonora Giunchiglia
• Efficient Evaluation of Logic Programs (Tutorial)
  Giuseppe Mazzotta , Francesco Ricca

Regular Papers

• Interactive Clinical Validation with ASP Chef in the RADIOAMICA Project
  Mario Alviano , Pietro Macrì , Luis Angel Rodriguez Reiners , Pierpaolo Sestito
• A proof-search procedure for Kuznetsov-Muravitski Logic
  Mauro Ferrari , Camillo Fiorentini , Paolo Giardini
• Collaborative Neural-Symbolic Rule Generation for Explainable Data-to-Text Systems
  Gian Marco Simonazzi , Alessandro Dal Palù
• A Trust Extension of L-DINF for Explainable Multi-Agent Decision Making
  Stefania Costantini , Valentina Pitoni
• Formally Verifying the Absence of Overloading in Apache Storm
  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
  Matteo Paparo , Francesco Doria , Marco Maratea , Mauro Vallati
• A Declarative Framework for Constrained Clique Detection in Heterogeneous Knowledge Graphs via ASP
  Mario Alviano , Eleonora Bilotta , Pierpaolo Sestito
• CUD@ILP: a GPU based, massively scalable Inductive Learning Algorithm
  Enrico Santi , Agostino Dovier , Andrea Formisano
• Solving and Visualizing ASP(Q) programs in ASP Chef
  Mario Alviano , Andrea Cuteri , Marco Duca , Giuseppe Mazzotta , Francesco Ricca
• AMO-Aware Optimization in Answer Set Programming
  Mario Alviano , Carmine Dodaro , Salvatore Fiorentino
• Extending Structured Declarative Language with Constraint Programming via MiniZinc
  Mario Alviano , Carmine Dodaro , Thomas Eiter , Tobias Geibinger , Ilaria Raffaela Vasile
• An Overview of Neuro-Symbolic Frameworks for Software Development
  Luca Ferrante , Stefano Forti , Jacopo Soldani
• Detecting Emotions for Preventing Aggression, Bullying, and Femicide: A Description Logic based Approach
  Alessandra Cincotti , Antonio Lieto , Gian Luca Pozzato , Stefano Zoia
• The Interpreter as Teacher: GRPO with Execution Feedback for Prolog Code Generation
  Federico Pennino , Bianca Raimondi , Massimo Rondelli , Andrea Gurioli , Maurizio Gabbrielli
• Talk2Prolog: the Context, the Dataset, and the Methodology through the Lens of Computational Linguistics
  Laura Fuciarelli , Angelo Ferrando , Andrea Gatti , Viviana Mascardi
• Recursive Self-Identification at the $\Sigma_1/\Pi_{1}$ Boundary
  Domenico Cantone , Eugenio Omodeo , Stefano Savino

Short Papers

• EI-TWIN: Energy Digital Twins for Renewable Energy Communities (Project Report)
  Antonio Ielo , Francesco Ricca , Simone Ventrici , Michele Vitale
• GameL: a Neuro-Symbolic Agentic Architecture Toward Autonomous and Resilient Energy Communities
  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
  Mario Alviano , Matteo Capalbo , Georg Gottlob , Irfan Kareem
• A Preliminary Approach to Probabilistic Process Discovery
  Michela Vespa , Elena Bellodi , Daniela Loreti , Federico Chesani
• Hierarchy Guided eXtraction with Answer Set Programming and Large Language Models
  Lorenzo Grillo , Mario Alviano , Massimo Busiello
• Combining Prototypes in Description Logics with Prototype Descriptions: First Steps
  Gabriele Sacco , Loris Bozzato , Oliver Kutz
• A tableau for Many-Valued Multi-Modal Logic
  Guillermo Badia , Riccardo Monego , Carles Noguera , Alberto Paparella , Guido Sciavicco , Ionel Eduard Stan

Already Published

• A Scalable Approach to Probabilistic Compliance in Declarative Process Mining
  Michela Vespa , Elena Bellodi
  Link to the original publication
• Investigating Neurosymbolic AI for Intent-based Service Management
  Lorenzo Colombi , Sara Cavicchi , Filippo Poltronieri , Mauro Tortonesi , Cesare Stefanelli , Pal Varga
  Link to the original publication
• Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
  Riccardo Zese , Evelina Lamma , Fabrizio Riguzzi
  Link to the original publication
• A framework for Conditional Reasoning in Answer Set Programming
  Mario Alviano , Laura Giordano , Daniele Theseider Dupré
  Link to the original publication
• A Temporal, Deontic, Conditional Logic with Typicality
  Mario Alviano , Laura Giordano , Daniele Theseider Dupré
  Link to the original publication
• X-ABALearn: Argumentative Learning with Semantics à la Carte
  Emanuele De Angelis , Maurizio Proietti , Francesca Toni
• Constrained Assumption-Based Argumentation Frameworks
  Emanuele De Angelis , Fabio Fioravanti , Maria Chiara Meo , Alberto Pettorossi , Maurizio Proietti , Francesca Toni
  Link to the original publication
• Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
  Alessandro Bertagnon , Marcello Dalpasso , Michele Favalli , Marco Gavanelli
  Link to the original publication
• Enhancing Intangible Cultural Heritage through Ontology: the BISTÌRIS Model for Sardinian Traditional Costumes
  Giorgio Corona , Laura Pandolfo , Dario Guidotti , Luca Pulina
  Link to the original publication
• A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming
  Damiano Azzolini , Giuseppe Mazzotta , Francesco Ricca , Fabrizio Riguzzi
  Link to the original publication
• Long-term Power Grid Planning via Answer Set Programming
  Antonio Ielo , Francesco Doria , Sandra Castellanos-Paez , Marco Maratea , Francesco Percassi , Mauro Vallati
• Solving hard combinatorial optimization problems with PyQASP
  Damiano Azzolini , Nicola Leone , Giuseppe Mazzotta , Francesco Ricca
  Link to the original publication