The Italian conference on Computational Logic1 (Convegno Italiano di Logica Computazionale, CILC ) is the annual conference organized by the Italian group of researchers and users of logic programming2 (Gruppo ricercatori e Utenti Logic Programming, GULP ). Since the rst event of the series, which was held in Genoa in 1986, the annual conference organized by GULP has been representing a major opportunity for researchers and practitioners working in the eld of Computational Logic to meet and exchange ideas. The conference has broadened its horizons over the years and, today, it embraces topics that extend its reach beyond Computational Logic, such as declarative programming, knowledge representation, automated theorem proving, and virtually all applications of Computational Logic in the broader eld of Arti cial Intelligence. The series of conferences organized by GULP has always been relevant to the GULP community, and Italian researchers and practitioners consider it as an indispensable tradition of the community. The 36th edition of the conference marks the attempt to return to normality after the COVID-19 pandemic and the consequent global health crisis. The conference was organized as a regular pre-pandemic event from September 7th, 2021 to September 9th, 2021 in Parma, and it was attended in person by 26 participants. Other 31 participants joined the conference remotely using a dedicated virtual meeting space, which was used to stream and record the presentations of accepted papers. Despite the impossibility for many participants to join the conference in person, the community delivered a solid response to the urge of normality that characterized the days of the event. The 36th edition of the conference featured 23 presentations of high-quality papers, 14 of which where original works. Accepted contributions ranged from foundational and theoretical results to practical experiences, case studies, and applications, and they covered a wide range of relevant topics broadly related to Computational Logic. Accepted contributions included papers on agents and multi-agent systems, (constraint) logic programming, argumentation, and practical applications of logic programming. It is worth noting that accepted papers went through a strict evaluation process. Each original submission was evaluated by at least three anonymous reviewers from the Program 1 www.ailab.unipr.it/cilc21 2 www.programmazionelogica.it
Committee to ensure that the quality of papers met the high quality standards of the conference. Each non-original submission was reviewed by at least one anonymous reviewer from the Program Committee to check for the coherence with the aims and scope of the conference. Note that, following the tradition of the conference, non-original submissions are not included in this proceedings.
The technical program of the 36th edition of the conference was also enriched by one keynote speech delivered by a renowned international expert. Marco Lippi, from Universita degli Studi di Modena e Reggio Emilia, delivered a keynote speech entitled Neuro-Symbolic Learning and Reasoning for Natural Language Processing Tasks. The keynote speech was intended to provide a selfcontained review of the state of the art of a very relevant topic of the current research on Arti cial Intelligence, and it resulted in lively discussions among participants during the days of the conference.
In conclusion, we would like to warmly thank all the people who contributed to CILC 2021. First, we would like to thank all the authors of the submitted papers, the invited speaker, the members of the Program Committee, and the anonymous reviewers. We are also grateful to the President of GULP, Stefania Costantini, and to all the members of the GULP Board, for their support and their fruitful suggestions in the troubled times of the COVID-19 pandemic. Finally, special thanks are due to all the attendees that joined the conference in person or remotely for turning CILC 2021 into an occasion for lively discussions on relevant research topics and research challenges.
General Chairs { Stefania Monica { Universita di Modena e Reggio Emilia { Federico Bergenti { Universita di Parma Program Committee { Mario Alviano { Universita della Calabria { Roberto Amadini { Universita di Bologna { Matteo Baldoni { Universita di Torino { Stefano Bistarelli { Universita di Perugia { Loris Bozzato { Fondazione Bruno Kessler { Roberta Calegari { Universita di Bologna { Francesco Calimeri { Universita della Calabria { Domenico Cantone { Universita di Catania { Stefania Costantini { Universita dell'Aquila { Giuseppe Cota { Universita di Parma { Emanuele De Angelis { IASI-CNR di Roma { Giovanni De Gasperis { Universita dell'Aquila { Dario Della Monica { Universita di Udine { Giorgio Delzanno { Universita di Genova { Wolfgang Faber { Alpen-Adria-Universitat Klagenfurt { Fabio Fioravanti { Universita di Chieti-Pescara { Andrea Formisano { Universita di Udine { Marco Gavanelli { Universita di Ferrara { Silvio Ghilardi { Universita di Milano { Laura Giordano { Universita del Piemonte Orientale { Eleonora Iotti { Universita di Parma { Francesca A. Lisi { Universita di Bari { Marco Maratea { Universita di Genova { Paola Mello { Universita di Bologna { Angelo Montanari { Universita di Udine { Andrea Pazienza { Exprivia j Italtel Innovation Lab { Rafael Pen~aloza { Universita di Milano-Bicocca { Adriano Peron { Universita di Napoli { Simona Perri { Universita della Calabria { Carla Piazza { Universita di Udine { Gian Luca Pozzato { Universita di Torino { Maurizio Proietti { IASI-CNR Roma { Francesco Ricca { Universita della Calabria { Andrey Rivkin { Libera Universita di Bolzano { Gianfranco Rossi { Universita di Parma { Sabina Rossi { Universita di Venezia { Umberto Straccia { ISTI-CNR { Riccardo Zese { Universita di Ferrara { Ester Zumpano { Universita della Calabria