CILC 2019
Italian Conference on Computational Logic

Proceedings of the 34th Italian Conference on Computational Logic

Trieste, Italy, June 19-21, 2019.

Edited by

Alberto Casagrande *
Eugenio Omodeo *

* Dept. of Mathematics and Geosciences, University of Trieste, via Valerio 12/1, 34127 Trieste, Italy

Table of Contents


Session 1: Analysis and Verification of Programs

Session 2a: Knowledge Representation and Reasoning Languages

Session 2b: Computational Logics and Formal Methods in AI

Ambassador Talk

Session 3: Tools and Applications

Session 4a: Multi-Agent Systems

Session 4b: Databases

Session 5: Answer Sets

CILC 2019 also featured presentations of the following papers:

2019-06-26: submitted by Alberto Casagrande, metadata incl. bibliographic data published under Creative Commons CC0
2019-06-30: published on CEUR-WS.org |valid HTML5|