CILC 2015
Italian Conference on Computational Logic

Proceedings of the 30th Italian Conference on Computational Logic

Genova, Italy, July 1-3, 2015.

Edited by

Davide Ancona*
Marco Maratea**
Viviana Mascardi*

Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi (DIBRIS)
* Via Dodecaneso, 35 - 16146 Genova - Italy
** Viale Causa, 13 - 16145 Genova - Italy

Table of Contents

Abstract of the invited talk

Foundations and theoretical results

Practical experiences and case studies

Agents and multiagent systems

Languages and programming

Description logics and ontologies

Applications, frameworks and tools

In addition to the contributions above, the program of CILC 2015 also featured the presentations of the following papers, which appear elsewhere:

Additional material

The whole proceedings (including the preface and the table of contents) can be downloaded as a single PDF file.
2015-09-29: submitted by Viviana Mascardi
2015-09-29: published on CEUR-WS.org valid HTML5