Bergenti, F.

Monica, S.

English

Archivio istituzionale della Ricerca -  Università degli Studi di Parma

Proceedings of the 36th Italian Conference on Computational Logic (CILC 2021)

Archivio istituzionale della ricerca - Università di Modena e Reggio Emilia

Proceedings of the 36th Italian Conference onComputational Logic (CILC 2021)Stefania Monica1, Federico Bergenti21 Dipartimento di Scienze e Metodi dell’IngegneriaUniversità degli Studi di Modena e Reggio Emilia, Italystefania.monica@unimore.it2 Dipartimento di Scienze Matematiche, Fisiche e InformaticheUniversità degli Studi di Parma, Italyfederico.bergenti@unipr.itThe Italian conference on Computational Logic1 (Convegno Italiano di LogicaComputazionale, CILC ) is the annual conference organized by the Italian groupof researchers and users of logic programming2 (Gruppo ricercatori e UtentiLogic Programming, GULP). Since the first event of the series, which was heldin Genoa in 1986, the annual conference organized by GULP has been repre-senting a major opportunity for researchers and practitioners working in thefield of Computational Logic to meet and exchange ideas. The conference hasbroadened its horizons over the years and, today, it embraces topics that extendits reach beyond Computational Logic, such as declarative programming, knowl-edge representation, automated theorem proving, and virtually all applicationsof Computational Logic in the broader field of Artificial Intelligence.The series of conferences organized by GULP has always been relevant tothe GULP community, and Italian researchers and practitioners consider it asan indispensable tradition of the community. The 36th edition of the conferencemarks the attempt to return to normality after the COVID-19 pandemic andthe consequent global health crisis. The conference was organized as a regularpre-pandemic event from September 7th, 2021 to September 9th, 2021 in Parma,and it was attended in person by 26 participants. Other 31 participants joinedthe conference remotely using a dedicated virtual meeting space, which was usedto stream and record the presentations of accepted papers.Despite the impossibility for many participants to join the conference in per-son, the community delivered a solid response to the urge of normality that char-acterized the days of the event. The 36th edition of the conference featured 23presentations of high-quality papers, 14 of which where original works. Acceptedcontributions ranged from foundational and theoretical results to practical expe-riences, case studies, and applications, and they covered a wide range of relevanttopics broadly related to Computational Logic. Accepted contributions includedpapers on agents and multi-agent systems, (constraint) logic programming, ar-gumentation, and practical applications of logic programming. It is worth notingthat accepted papers went through a strict evaluation process. Each original sub-mission was evaluated by at least three anonymous reviewers from the Program1 www.ailab.unipr.it/cilc212 www.programmazionelogica.itCommittee to ensure that the quality of papers met the high quality standardsof the conference. Each non-original submission was reviewed by at least oneanonymous reviewer from the Program Committee to check for the coherencewith the aims and scope of the conference. Note that, following the tradition ofthe conference, non-original submissions are not included in this proceedings.The technical program of the 36th edition of the conference was also en-riched by one keynote speech delivered by a renowned international expert.Marco Lippi, from Università degli Studi di Modena e Reggio Emilia, delivereda keynote speech entitled Neuro-Symbolic Learning and Reasoning for NaturalLanguage Processing Tasks. The keynote speech was intended to provide a self-contained review of the state of the art of a very relevant topic of the currentresearch on Artificial Intelligence, and it resulted in lively discussions amongparticipants during the days of the conference.In conclusion, we would like to warmly thank all the people who contributedto CILC 2021. First, we would like to thank all the authors of the submittedpapers, the invited speaker, the members of the Program Committee, and theanonymous reviewers. We are also grateful to the President of GULP, StefaniaCostantini, and to all the members of the GULP Board, for their support andtheir fruitful suggestions in the troubled times of the COVID-19 pandemic. Fi-nally, special thanks are due to all the attendees that joined the conference inperson or remotely for turning CILC 2021 into an occasion for lively discussionson relevant research topics and research challenges.October 4th, 2021Parma, ItalyStefania Monica Federico BergentiCommitteesGeneral Chairs– Stefania Monica – Università di Modena e Reggio Emilia– Federico Bergenti – Università di ParmaProgram 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-Universität 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 | 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

https://iris.unimore.it/bitstream/11380/1280694/2/CILC2021-Pref.pdf

Proceedings of the 36th Italian Conference on Computational Logic (CILC 2021)

Abstract

Similar works

Full text

Available Versions

Archivio istituzionale della Ricerca - Università degli Studi di Parma

Archivio istituzionale della ricerca - Università di Modena e Reggio Emilia