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