|  | 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