Vol-1459
urn:nbn:de:0074-1459-5

Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

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

Preface I-II
Davide Ancona, Marco Maratea, Viviana Mascardi

Abstract of the invited talk

A framework for data, knowledge, and reasoning: Datalog +/- 1
Georg Gottlob

Foundations and theoretical results

A Diophantine representation of Wolstenholme's pseudoprimality 2-12
Luca Vallata, Eugenio Omodeo
A natural sequent calculus for Lewis' logic of counterfactuals 13-18
Nicola Olivetti, Gian Luca Pozzato
Infinite derivations as failures 19-24
Andrea Corradi, Federico Frassetto
On the first-order rewritability of conjunctive queries over binary guarded existential rules 25-30
Cristina Civili, Riccardo Rosati

Practical experiences and case studies

Computational thinking for beginners: A successful experience using Prolog 31-45
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella
A case study on graph-based planning for emergency evacuation 46-52
Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Salvatore Nunnari, Alessandro Provetti
How Answer Set Programming can help in digital forensic investigation 53-65
Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri
Leveraging semantic web technologies for analysis of crime in social science 66-71
Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore

Agents and multiagent systems

Parametric protocol-driven agents and their integration in JADE 72-84
Angelo Ferrando
Leveraging commitments and goals in agent interaction 85-100
Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio

Languages and programming

Evaluating compliance: from LTL to abductive logic programming 101-116
Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations 117-121
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Description logics and ontologies

Ontoceramic: an OWL ontology for ceramics classification 122-127
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria, Francesca Trapani
Abductive logic programming for Datalog +/- ontologies 128-143
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
Towards fuzzy granulation in OWL ontologies 144-158
Francesca Alessandra Lisi, Corrado Mencar
Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match 159-174
Gian Luca Pozzato

Applications, frameworks and tools

Games with additional winning strategies 175-180
Vadim Malvone, Aniello Murano, Loredana Sorrentino
An authority degree-based evaluation strategy for abstract argumentation frameworks 181-196
Andrea Pazienza, Floriana Esposito, Stefano Ferilli
Towards visualising security with arguments 197-201
Stefano Bistarelli, Fabio Rossi, Francesco Santini, Carlo Taticchi
SUNNY for algorithm selection: a preliminary study 202-206
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro

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

Modeling and verifying relational multiagent systems with data types
Diego Calvanese, Giorgio Delzanno, Marco Montali
Multi-agent-contexts systems for reasoning and acting in heterogeneous environments
Stefania Costantini
Integration of DALI agents and ASP modules: a case-study
Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone
Completing workflow traces using action languages
Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vazquez Sandoval
Semantics-based generation of verification conditions by program specialization
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Proving Horn clause specifications of partial correctness of imperative programs
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Web ontology representation and reasoning via fragments of set theory
Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
Towards a rational closure for expressive description logics: the case of SHIQ
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Why CP portfolio solvers are (under)utilized? Issues and challenges
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
A contextual framework for reasoning on events
Loris Bozzato, Stefano Borgo, Alessio Palmero Aprosio, Marco Rospocher, Luciano Serafini

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