Proceedings of the 33rd Italian Conference on Computational Logic, CLIL 2018: Bolzano, Italy, September 20-22, 2018
MetadataShow full item record
The 33rd edition of the Italian Convention of Computational Logic (CILC 2018), the annual meeting organized by GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the Free Univer-sity of Bozen-Bolzano, from September 20th to September 22nd, 2018. CILC is the leading forum for the exchange of ideas and experiences between Italian researchers working in the theory and practice of computational logic, although it has broaden its topics of interest also to related areas. The technical program of CILC 2018 included 21 presentations, among which 13 papers are in-cluded in these proceedings and further 8 appeared or have been submitted elsewhere. Paper selection was made by peer reviewing, and each submitted paper received three reviews by members of the Pro-gram Committee. The contributions address di˙erent topics related to computational logic, including verification and validation, temporal and spatial reasoning, description logics, probabilistic reasoning, constraint logic programming. The program was also enriched by the keynote “Reasoning and Planning for LTLf /LDLf goals" by Giuseppe De Giacomo, Sapienza University of Rome, and with 2 tutorials: Probabilistic logic languages and their combination, Riccardo Zese, University of Ferrara Ontology-based Data Access: Relational Data and Beyond, Diego Calvanese, Free University of Bozen-Bolzano In addition, we had the pleasure of hosting a special session where Alberto Pettorossi shared his professional experience and highlighted his personal contribution to the field of computational logic.