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