CILC 2018
Italian Conference on Computational Logic

Proceedings of the 33rd Italian Conference on Computational Logic

Bolzano, Italy, September 20-22, 2018.

Edited by

Paolo Felli *
Marco Montali *

* Faculty of Computer Science, Free University of Bozen-Bolzano, 39100 Bolzano, Italy

Table of Contents



CILC 2018 also featured presentations of the following papers, which appeared or have been submitted elsewhere:

2018-09-18: submitted by Paolo Felli, metadata incl. bibliographic data published under Creative Commons CC0
2018-09-19: published on CEUR-WS.org |valid HTML5|