The Italian Conference on Computational Logic (CILC 2020) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming1). Since the rst event of the series, which took place in Genoa in 1986, the annual GULP conference represents a major opportunity for users, researchers and developers working in the eld of computational logic to meet and exchange ideas; furthermore, over the years, the conference broadened its horizons from the specic eld of logic programming to include topics such as declarative programming, verication of formal systems, knowledge representation, deductive databases and applications in the broader area of articial intelligence.
i hot topics related to computational logic in a broad sense, including agents and multi-agent systems, logic programming, argumentation, ontologies, languages, healthcare, and more. The program sessions were organized according to four kind of macro-areas, namely: Theory and Foundations , Formal Methods, Language, Tools and Applications and Answer Set Programming .
The program was also enriched by three keynotes and a tutorial, all given by renowned international experts:
On the informal semantics of knowledge representation languages and the case of Logic Programming , by Marc Denecker from the KU Leuven, Belgium; Reversibility of Actions and Plans , by Wofgang Faber from the University of Klagenfurt, Austria; Computational Argumentation - Formal Models and Complexity Results , by Stefan Woltran from the Vienna University of Technology, Austria; Introduction to Probabilistic Ontologies (Tutorial) , by Rafael Penaloza, from University of Milano-Bicocca, Italy.
CILC 2020 also awarded two works nominated among all accepted original papers, via a secret ballot among the Program Committee members: Best Paper Award , to Nicola Rizzo and Agostino Dovier for the work: 3coSoKu and its logic programming modeling ; Best Practical Impact Award , to Francesco Fabiano and Alessandro Dal Palø, for the work: An ASP approach for arteries classication in CT scans .
We would like to thank all the people who have contributed to CILC 2020. We start from all the authors of the submitted papers, the invited speakers, the program committee, the reviewers; indeed, the quality of the technical program was due to the job of many, many people. We are grateful also to the President of GULP, Stefania Costantini, and all GULP executives, for their support and their fruitful suggestions in non-trivial decision times. Furthermore, special thanks must go to all attendees (the CILC-ers!) and the Session Chairs, that made CILC 2020 an actual and pleasant place for discussing, brainstorming and eectively exchanging ideas.