|  | Vol-3733 urn:nbn:de:0074-3733-0 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# CILC 2024
Italian Conference on Computational Logic 2024

### Proceedings of the 39th Italian Conference on Computational Logic

### Rome, Italy, June 26-28, 2024.

Edited by

### Emanuele De Angelis *
Maurizio Proietti *

* Cnr - Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti", via dei Taurini 19, Rome, Italy

## 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 LTLf Passive Learning
  Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
  Link to the original publication

2024-07-02: submitted by Emanuele De Angelis, metadata incl. bibliographic data published under Creative Commons CC0
2024-07-21: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|