CILC 2024
39th Italian Conference on Computational Logic

June 26-28, 2024 - Rome, Italy

Overview

The Italian Conference on Computational Logic (CILC) is the annual meeting of the Italian Association for Logic Programming (GULP - Gruppo Ricercatori e Utenti Logic Programming).

Since its first edition, which was held in Genoa in 1986, the Conference has represented an important occasion for meeting and exchanging ideas and experiences between users, researchers, and developers working in the field of Computational Logic.

Over the years, the Conference organized by GULP has broadened its horizon from the specific field of logic programming to the more general one of Computational Logic, including for instance, declarative programming, constraint programming, and applications in various neighboring sectors, such as Artificial Intelligence.

The 39th Italian Conference on Computational Logic will be held in Rome at the National Research Council of Italy on 26-28 June 2024.

The Conference will feature presentations of invited speakers and contributed papers concerning all aspects of computational logic. The topics of interest for the conference are, but are not limited to, the following:

The Conference solicits two types of submissions:

Important dates

Paper submission:
26 April 2024
Notification of acceptance:
22 May 2024
Final version:
15 June 2024
Conference:
26-28 June 2024

Program

Schedule

Wednesday 26 June (sala Marconi)
10:30 - 10:50 Registration
10:50 - 10:55 Opening
10:55 - 13:00 Session I (Logic)
Chair: Alberto Pettorossi
10:55 - 11:20 Hongkai Yin and Matteo Pascucci
Decidability of ordered fragments of FOL via modal translation [Slides]
11:20 - 11:45 Dariusz Marzec and Lidia Tendera
On two-variable first-order logic with a partial order [Slides]
11:45 - 12:10 Giovanni Pagliarini, Andrea Paradiso, Guido Sciavicco and Ionel Eduard Stan
On Modal Logic Formulae Minimization [Slides]
12:10 - 12:35 Simone Boscaratto, Eugenio G. Omodeo and Alberto Policriti
On generalised Ackermann encodings - the basis issue [Slides]
12:35 - 13:00 Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio Omodeo and Gaetano Spartà
Some decidability issues for languages concerning Cnreal functions [Slides]
13:00 - 14:00 Lunch Break (sala Laguna)
14:00 - 15:00 INVITED TALK (Remote)
Artur d'Avila Garcez, City, University of London, UK
Reasoning in Neurosymbolic AI [Slides]
Chair: Maurizio Proietti
15:00 - 15:40 Session II (Answer Set Programming & Natural Language Processing)
Chair: Maurizio Proietti
15:00 - 15:20 Mario Alviano and Lorenzo Grillo
Answer Set Programming and Large Language Models interaction with YAML: Preliminary Report [Slides]
15:20 - 15:40 Gioacchino Sterlicchio and Francesca Alessandra Lisi
Condensed Representations for Contrast Sequential Pattern Mining in ASP [Slides]
15:40 - 16:10 Coffee Break (sala Laguna)
16:10 - 17:00 Session III (Applications)
Chair: Agostino Dovier
16:10 - 16:55 Alessandro Bertagnon and Marco Gavanelli
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches [Slides]
16:15 - 17:00 Angelo Ferrando, Andrea Gatti and Viviana Mascardi
Geometric and Spatial Reasoning in BDI Agents: a Survey [Slides]
17:00 - 18:00 Consiglio Direttivo GULP
Thursday 27 June (sala Convegni)
09:00 - 10:00 INVITED TALK (ALP Talk)
Francesca Toni, Imperial College, London, UK
Interactive Explanations for Contestable AI [Slides]
Chair: Stefano Bistarelli
10:00 - 10:50 Session IV (Knowledge Representation)
Chair: Gian Luca Pozzato
10:00 - 10:25 Mario Alviano, Laura Giordano and Daniele Theseider Dupré
Many-valued Temporal Weighted Knowledge Bases with Typicality [Slides]
10:25 - 10:50 Damiano Azzolini, Matteo Bonato, Elisabetta Gentili and Fabrizio Riguzzi
Logic Programming for Knowledge Graph Completion [Slides]
10:50 - 11:20 Coffee Break (sala Laguna)
11:20 - 13:00 Session V (Argumentation)
Chair: Francesca Toni
11:20 - 11:45 Paolo Mancarella and Antonis Kakas
On the Extension of Argumentation Logic [Slides]
11:45 - 12:10 Mario Alviano, Laura Giordano and Daniele Theseider Dupré
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation [Slides]
12:10 - 12:35 Stefano Bistarelli, Maria Chiara Meo and Carlo Taticchi
Preserving Privacy in a (Timed) Concurrent Language for Argumentation [Slides]
12:35 - 13:00 Stefano Bistarelli and Carlo Taticchi
A Semantics-Aware Evaluation Order for Abstract Argumentation Frameworks [Slides]
13:00 - 14:00 Lunch Break (sala Laguna)
14:00 - 15:00 TUTORIAL
Mario Alviano, University of Calabria, Italy
ASP Chef: Zero to Hero
Chair: Stefania Costantini
15:00 - 15:40 Session VI (Artificial Intelligence/Natural Language Processing)
Chair: Stefania Costantini
15:00 - 15:20 Stefano Bistarelli and Marco Cuccarini
BERT-based questions answering on close domains: Preliminary Report [Slides]
15:20 - 15:40 Agostino Dovier, Talissa Dreossi and Andrea Formisano
XAI-LAW Towards a logic programming tool for taking and explaining legal decisions [Slides]
15:40 - 16:10 Coffee Break (sala Laguna)
16:10 - 17:00 Session VII (Knowledge Representation)
Chair: Andrea Formisano
16:10 - 16:35 Antonio Lieto, Gian Luca Pozzato and Gioele Tallone
A Description Logics Based Cognitively Inspired Tool for Knowledge Generation Via Concept Combination [Slides]
16:35 - 17:00 Valentina Gliozzi, Gian Luca Pozzato and Alberto Valese
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination [Slides]
17:00 - 18:00 Assemblea Soci GULP
20:00 Social Dinner (menù)
Osteria Angelino Dal 1899
Via Capo d'Africa, 6 - 00184 Roma
Friday 28 June (sala Marconi)
09:00 - 10:00 INVITED TALK
Roberto Navigli, Sapienza University of Rome, Italy
Large Language Models: What They Are, Why They Are Important, and What They Fail At [Slides]
Chair: Laura Giordano
10:00 - 10:50 Session VIII (Artificial Intelligence/Natural Language Processing)
Chair: Laura Giordano
10:00 - 10:25 Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Andrea Formisano and Federica Zaglio
Concept2Text: an explainable multilingual rewriting of concepts into natural language [Slides]
10:25 - 10:50 Stefania Costantini, Pierangelo Dell'Acqua, Giovanni De Gasperis, Francesco Gullo and Andrea Rafanelli
NEMO - A Neural, Emotional Architecture for Human-AI Teaming [Slides]
10:50 - 11:20 Coffee Break (sala Laguna)
11:20 - 13:00 Session IX (Answer Set Programming)
Chair: Marco Gavanelli
11:20 - 11:45 Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo and Alessandra Russo
Towards ILP-based LTLf passive learning
11:45 - 12:10 Carmine Dodaro, Giuseppe Mazzotta and Francesco Ricca
Compilation of tight ASP programs [Slides]
12:10 - 12:35 Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea and Marco Mochi
Nuclear Medicine Scheduling via Answer Set Programming [Slides]
12:35 - 13:00 Mario Alviano, Carmine Dodaro and Ilaria Raffaela Vasile
Structured Declarative Language [Slides]
13:00 - 14:00 Lunch Break (sala Laguna)
14:00 - 15:55 Session X (Answer Set Programming/Analysis &Verification)
Chair: Emanuele De Angelis
14:00 - 14:25 Stefania Costantini and Andrea Formisano
Solver fast prototyping for reduct-based ELP semantics [Slides]
14:25 - 14:50 Riccardo Romanello, Carla Piazza, Davide Della Giustina and Stefano Pessotto
Speeding up Answer Set Programming by Quantum Computing [Slides]
14:50 - 15:15 Carla Piazza, Samia Guesmi and Sabina Rossi
Noninterference Analysis for Smart Contracts: Would you Bet on it? [Slides]
15:15 - 15:35 Giulia Matricardi, Fabio Fioravanti and Marco Di Ianni
Visualizing CHC Verification Conditions for Smart Contracts Auditing [Slides]
15:35 - 15:55 Francesco Di Cosmo and Tephilla Prince
Bounded Verification of Petri Nets and EOSs using Telingo: an Experience Report [Slides]
15:55 - 16:00 Closing

Invited speakers

Mario Alviano
University of Calabria, Italy
ASP Chef: Zero to Hero
Tutorial
Abstract.

ASP Chef is built around the notion of ASP recipe, a chain of ingredients combining computational tasks typical of ASP with other operations of data manipulation and visualization. All operations implement functions that map lists of answer sets to lists of answer sets, and have parameters to customize the mapping. For example, the Search Models operation combines the answer sets in input with an ASP program to obtain a new list of answer sets, and the Merge operation outputs an answer set representing all the answer sets in input. After around one year of development, ASP Chef now supports more than 80 operations originated from different research projects (among them, FAIR, PRODE, RADIOAMICA, SERICS, Tech4You). The tutorial starts with the basic usage of ASP Chef and moves to more advanced use cases such as the possibility to save and share recipes with GitHub, the available options for extending the supported operations, and the command line interpreter.

Short bio.

I graduated cum laude and obtained my Ph.D. at University of Calabria. Since February 2011 I work for Department of Mathematics and Computer Science of University of Calabria: two years as PostDoc, four years as Researcher, seven years as Associate Professor and since October 2023 I am Full Professor. I teach Secure Software Design and Cyber Offense and Defence.

I have conducted training and research periods in Vienna (2005, 2009, and 2015) and Oxford (2014). I gave invited seminars at the universities of Huddersfield (2014), Klagenfurt (2014), Potsdam (2016 and 2023), Helsinki (2017), Mindanao State University, and University of Science and Technology of Southern Philippines (2019). I was the speaker of more than 50 oral presentations at scientific conferences, some of them as keynote speaker (ICTCS & CILC 2017, ASPOCP 2018 and 2021, JELIA 2023, TAASP 2023) and invited speaker (AIxIA 2008 and 2017, ECAI 2012, IJCAI 2016 and 2017). I am the author of more than 120 scientific articles, including papers in top journals such as AIJ, JAIR, and TPLP, and top conferences such as IJCAI, AAAI, KR, and PODS. I am listed among the scientists with the highest impact in Elsevier's "science-wide author databases of standardized citation indicators" (v4, v5, v6).

I lead the LAIA lab (Laboratorio di Applicazioni dell'Intelligenza Artificiale, part of the SILA IR). I am co-PI of the PRIN project PRODE "Probabilistic Declarative Process Mining". I am involved in several projects, among them the PNRR project FAIR "Future AI Research"; the PNRR project Tech4You "Technologies for climate change adaptation and quality of life improvement"; the PNRR project SERICS "SEcurity and RIghts in the CyberSpace"; the POS projects CAL.HUB.RIA and RADIOAMICA; the STROKE 5.0 project.

I won several academic awards, among them Artificial Intelligence Award "Marco Somalvico" 2017 (AIxIA, Italian Association for Artificial Intelligence, best Italian young researchers in AI). honourable mention for my thesis by the European Coordinating Committee for Artificial Intelligence (ECCAI 2012); Italian best thesis in Artificial Intelligence award 2008 (AIxIA); ICLP 2015 Best Paper Award; RR 2015 Best Paper Award; ICLP 2016 Best Paper Award; LPNMR 2022 Best Paper Award; CILC 2023 Best Paper Award.

Artur d'Avila Garcez
City, University of London, UK
Reasoning in Neurosymbolic AI
Abstract.

Current advances in Artificial Intelligence (AI) and Machine Learning (ML) have achieved unprecedented impact across research communities and industry. Nevertheless, serious concerns around trust, safety, interpretability and accountability in AI were raised by influential thinkers. Many identified the need for well-founded knowledge representation and reasoning to be integrated with ML systems. Neurosymbolic AI has been an active area of research for many years seeking to do just that, bringing together robust learning in neural networks with reasoning and explainability via symbolic representation and description. In this talk I will review the research in neurosymbolic AI and computation, and discuss how it can help shed light into the increasingly prominent role of safety, trust, interpretability and accountability in AI. AI has become the focus of large-scale research endeavours and has changed businesses. This led to an important debate about the impact of AI on education and society. It has been argued that the building of a rich AI system, semantically sound, explainable and ultimately trustworthy, will require a sound reasoning layer in combination with deep learning. Parallels have been drawn between Daniel Kahneman’s research on human reasoning and decision making and so-called AI systems 1 and 2. I will revisit early theoretical results of fundamental relevance to shaping the latest research, such as the proof that recurrent neural networks compute the semantics of logic programming. I will also seek to identify bottlenecks and the most promising technical directions for the sound representation of learning and reasoning in neural networks. I will conclude by discussing the key ingredients for sustainable AI going forward, identifying directions and challenges for the next decade of research in the field.

Short bio.

Artur d'Avila Garcez is Professor of Computer Science at City, University of London. He is a Fellow of the British Computer Society (FBCS), Fellow of the UK’s Higher Education Academy (FHEA), and president of the steering committee of the Neural-Symbolic Learning and Reasoning association (NeSy). He has co-authored two books: Neural-Symbolic Cognitive Reasoning, Springer (2009) and Neural-Symbolic Learning Systems, Springer (2002), and co-founded the NeSy conference series, the longest standing conference series in neurosymbolic AI. Garcez is a world leader in the field of neurosymbolic AI. He designed and implemented arguably the first neurosymbolic system for learning and reasoning. His research in the area has led to more than 200 publications in major journals and conferences in Artificial Intelligence, Logic and Machine Learning, and in the flagship AI and Neural Computation conferences AAAI, NeurIPS, IJCAI, IJCNN, AAMAS and ECAI. Garcez is a founding Editor-in-Chief of the Neurosymbolic AI journal, IOS Press, and holds editorial and senior program committee positions in all the major scientific journals and conferences in Artificial Intelligence and Machine Learning.

Roberto Navigli
Sapienza University of Rome, Italy
Large Language Models: What They Are, Why They Are Important, and What They Fail At
Abstract.

The advent of Large Language Models (LLMs) like GPT-4 represents a significant leap forward in the field of Artificial Intelligence, offering unprecedented capabilities in understanding, generating, and interacting with human language. This talk aims to demystify these complex systems, explaining their fundamental architecture, how they are trained on vast datasets, and the underlying technologies that enable their sophisticated processing abilities. We will explore the importance of LLMs, highlighting their role in driving innovation, enhancing productivity, and opening new avenues for human-computer interaction. However, with great power comes great responsibility, and LLMs are not without their limitations and challenges. This presentation will critically examine the inherent weaknesses of LLMs, such as biases in training data, the potential for generating misleading information, and ethical concerns. We will delve into real-world examples to illustrate these failures, offering a balanced perspective on the capabilities and limitations of these models. Finally, I will overview ongoing research in my group aimed at mitigating these shortcomings, including extracting facts from generated text and interconnecting them to the source text.

Disclaimer: 90% of this abstract was generated by GPT-4.

Short bio.

Roberto Navigli is Professor of Natural Language Processing at the Sapienza University of Rome, where he leads the Sapienza NLP Group, and an ACL Fellow. He has received two prestigious ERC grants in AI on multilingual word sense disambiguation (2011-2016) and multilingual language- and syntax-independent open-text unified representations (2017-2022), highlighted among the 15 projects through which the ERC transformed science. In 2015 he received the META prize for groundbreaking work in overcoming language barriers with BabelNet, a project also highlighted in The Guardian and Time magazine, and winner of the Artificial Intelligence Journal prominent paper award 2017 (and a subsequent AIJ prominent paper award in 2023 on the NASARI sense embeddings). He is the co-founder of Babelscape, a successful deep-tech company which enables NLU in dozens of languages. He served as Associate Editor of the Artificial Intelligence Journal (2013-2020) and Program Chair of ACL-IJCNLP 2021. He will serve as General Chair of ACL 2025.

Francesca Toni
Imperial College, London, UK
Interactive Explanations for Contestable AI
(This invited talk is sponsored by ALP)
Abstract.

AI has become pervasive in recent years, but state-of-the-art approaches mostly neglect the need for AI systems to be contestable. Contestability is advocated by AI guidelines (e.g. by the OECD) and regulation of automated decision-making (e.g. GDPR). In contrast, there has been little attention in AI to suggest how contestability requirements can be met computationally. Contestability requires dynamic (human-machine or machine-machine) decision-making processes, whereas much of the current AI landscape is tailored to static AIs - thus the need to accommodate contestability will require a radical rethinking. In this talk I will argue that computational forms of contestable AI will require forms of explainability whereby machines and humans can interact, and that computational argumentation can support the needed interactive explainability for contestability.

Short bio.

Francesca Toni is Professor in Computational Logic and Royal Academy of Engineering/JP Morgan Research Chair on Argumentation-based Interactive Explainable AI at the Department of Computing, Imperial College London, UK, as well as the founder and leader of the CLArg (Computational Logic and Argumentation) research group and of the Faculty of Engineering XAI Research Centre. She holds an ERC Advanced grant on Argumentation-based Deep Interactive eXplanations (ADIX). Her research interests lie within the broad area of Explainable AI, and in particular include Knowledge Representation and Reasoning, Argumentation, Argument Mining, Multi-Agent Systems, Machine Learning. She is EurAI fellow, in the editorial board of the Argument and Computation journal and the AI journal, and in the Board of Advisors for KR Inc. and for Theory and Practice of Logic Programming.

Registration

Registration is mandatory for all attendants. Paying a registration fee to register to CILC 2024 grants a complimentary annual membership to GULP. If you are already a member, please contact the GULP secretariat ().

The registration fee includes the cost of three lunches and one ticket for the social dinner (additional tickets can be purchased at a cost of 55 EUR each).

Registration fee can be senior or junior. Junior registration fee is intended for non-faculty members, Ph.D. students, undergraduate students, etc. At least one author of each paper must pay a senior registration fee.

Attendants are required to complete the registration by June 4, 2024.

How to pay and register:

  1. Make a bank transfert using the following information:
    • IBAN: IT40Y0501802400000011595949
    • Holder: GRUPPO RICERCATORI E UTENTI DI LOGIC PROGRAMMING - GULP
    • CIN: Y
    • BIC/SWIFT: ETICIT22XXX
    • Please specify as payment details: "Contributo partecipazione convegno CILC 2024 <nome e cognome>"
  2. Fill in and sign the registration form for GULP (PDF format, DOCX format), which includes the consent required by the GDPR.
  3. Fill in the registration form for CILC 2024 (access to a Google account is required because the form collects documents). You will be requested to specify the type of contribution (junior or senior), to upload a receipt of the payment (pdf format), to upload the signed registration form (pdf format).

Registration is closed. For any questions, please contact the organizers.

Committees

Program Committee Members
Mario Alviano University of Calabria
Roberto Amadini University of Bologna
Roberto Basili University of Roma "Tor Vergata"
Federico Bergenti University of Parma
Stefano Bistarelli University of Perugia
Loris Bozzato Fondazione Bruno Kessler
Antonio Brogi University of Pisa
Roberta Calegari University of Bologna
Francesco Calimeri University of Calabria
Domenico Cantone University of Catania
Alberto Casagrande University of Udine
Federico Chesani University of Bologna
Stefania Costantini University of L'Aquila
Alessandro Dal Palù University of Parma
Giovanni De Gasperis University of L'Aquila
Dario Della Monica University of Udine
Giorgio Delzanno University of Genova
Agostino Dovier University of Udine
Wolfgang Faber University of Klagenfurt
Mauro Ferrari University of Insubria
Fabio Fioravanti University of Chieti-Pescara
Camillo Fiorentini University of Milano
Andrea Formisano University of Udine
Silvio Ghilardi University of Milano
Laura Giordano University of Piemonte Orientale
Francesca Alessandra Lisi University of Bari
Marco Maratea University of Calabria
Viviana Mascardi University of Genova
Elena Mastria University of Calabria
Maria Chiara Meo University of Chieti-Pescara
Stefania Monica University of Modena and Reggio Emilia
Marianna Nicolosi-Asmundo University of Catania
Andrea Orlandini CNR-ISTC
Gennaro Parlato University of Molise
Fabio Patrizi "Sapienza" University of Rome
Carla Piazza University of Udine
Enrico Pontelli New Mexico State University
Gian Luca Pozzato University of Torino
Luca Pulina University of Sassari
Francesco Ricca University of Calabria
Fabrizio Riguzzi University of Ferrara
Sabina Rossi University of Venezia
Pietro Sala University of Verona
Luciano Serafini Fondazione Bruno Kessler
Flavio Vella University of Trento
Riccardo Zese University of Ferrara
Program Chairs
Emanuele De Angelis CNR-IASI
Maurizio Proietti CNR-IASI

Submission Guidelines

Contributions must be written in English, formatted using the CEURART style (with the one-column option), and submitted in PDF format. See CEUR author instructions for further details on how to prepare your submission.

Full papers cannot exceed 15 pages including references. Short papers cannot exceed 8 pages including references. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them.

Non-original contributions do not need to be formatted using the CEURART style and should include a reference to the already published version of the paper (for instance in a footnote on the first page).

Papers must be submitted via Easychair.

Proceedings

Accepted original contributions will be included in a volume of the CEUR Workshop Proceedings.

Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if available.

For each paper accepted, at least one of the authors is required to make a senior registration (details will be available soon on the web site).

Following the CILC tradition, a selection of papers is planned to be published in a special issue of an international journal (to be determined). Extensions of accepted non-original contributions, if not yet published in a journal, can be considered for the inclusion in the special issue.

Venue

Consiglio Nazionale delle Ricerche

Piazzale Aldo Moro, 7 - 00185 Roma, Italia

Contact Us

Emanuele De Angelis
Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti" - Consiglio Nazionale delle Ricerche
Maurizio Proietti
Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti" - Consiglio Nazionale delle Ricerche