CILC 2024
Italian Conference on Computational Logic 2024

Table of Contents

• Preface
  Summary: There were 33 papers submitted for peer-review to this workshop. Out of these, 23 papers appear in this volume, 17 as regular papers and 6 as short papers, respectively, while 7 papers were only presented at the conference, having already been published elsewhere.

Invited Talks

• ASP Chef: Zero to Hero (tutorial)
  Mario Alviano
• AI Risk and Reasoning in Neurosymbolic AI
  Artur d'Avila Garcez
• Large Language Models: What They Are, Why They Are Important, and What They Fail At
  Roberto Navigli
• Interactive Explanations for Contestable AI
  Francesca Toni

Regular Papers

• Geometric and Spatial Reasoning in BDI Agents: A Survey
  Angelo Ferrando, Andrea Gatti, Viviana Mascardi
• On Modal Logic Formulae Minimization
  Giovanni Pagliarini, Andrea Paradiso, Guido Sciavicco, Ionel Eduard Stan
• On Generalised Ackermann Encodings - The Basis Issue
  Simone Boscaratto, Eugenio G. Omodeo, Alberto Policriti
• Logic Programming for Knowledge Graph Completion
  Damiano Azzolini, Matteo Bonato, Elisabetta Gentili, Fabrizio Riguzzi
• On Two-variable First-order Logic with a Partial Order
  Dariusz Marzec, Lidia Tendera
• Structured Declarative Language
  Mario Alviano, Carmine Dodaro, Ilaria R. Vasile
• Preserving Privacy in a (Timed) Concurrent Language for Argumentation
  Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
• Nuclear Medicine Scheduling via Answer Set Programming
  Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi
• A Semantics-Aware Evaluation Order for Abstract Argumentation Frameworks
  Stefano Bistarelli, Carlo Taticchi
• Solver Fast Prototyping for Reduct-based ELP Semantics
  Stefania Costantini, Andrea Formisano
• NEMO - A Neural, Emotional Architecture for Human-AI Teaming
  Stefania Costantini, Pierangelo Dell'Acqua, Giovanni De Gasperis, Francesco Gullo, Andrea Rafanelli
• A Description Logics Based Cognitively Inspired Tool for Knowledge Generation via Concept Combination
  Antonio Lieto, Gian Luca Pozzato, Gioele Tallone
• On the Extension of Argumentation Logic
  Antonis Kakas, Paolo M. Mancarella
• Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language
  Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Andrea Formisano, Federica Zaglio
• Some Decidability Issues Concerning C^n Real Functions
  Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio Omodeo, Gaetano Spartà
• Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability
  Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
• Decidability of Ordered Fragments of FOL via Modal Translation
  Hongkai Yin, Matteo Pascucci

Short Papers

• Condensed Representations for Contrast Sequential Pattern Mining in ASP
  Gioacchino Sterlicchio, Francesca A. Lisi
• Answer Set Programming and Large Language Models Interaction with YAML: Preliminary Report
  Mario Alviano, Lorenzo Grillo
• XAI-LAW Towards a Logic Programming Tool for Taking and Explaining Legal Decisions
  Agostino Dovier, Talissa Dreossi, Andrea Formisano
• BERT-based Questions Answering on Close Domains: Preliminary Report
  Stefano Bistarelli, Marco Cuccarini
• Visualizing CHC Verification Conditions for Smart Contracts Auditing
  Marco Di Ianni, Fabio Fioravanti, Giulia Matricardi
• Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report
  Francesco Di Cosmo, Tephilla Prince

Presented papers, published elsewhere

• Compilation of Tight ASP Programs
  Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
  Link to the original publication
• Speeding up Answer Set Programming by Quantum Computing
  Riccardo Romanello, Carla Piazza, Davide Della Giustina, Stefano Pessotto
• Geometric Reasoning on the Traveling Salesperson Problem: Comparing Answer Set Programming and Constraint Logic Programming Approaches
  Alessandro Bertagnon, Marco Gavanelli
  Link to the original publication
• Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation
  Mario Alviano, Laura Giordano, Daniele Theseider Dupré
  Link to the original publication
• Noninterference Analysis for Smart Contracts: Would you Bet on It?
  Carla Piazza, Samia Guesmi, Sabina Rossi
• Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination
  Alberto Valese, Valentina Gliozzi, Gian Luca Pozzato
  Link to the original publication
• Towards ILP-based LTL_f Passive Learning
  Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
  Link to the original publication