|  | Vol-2214 urn:nbn:de:0074-2214-7 Copyright © 2018 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 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

- Preface

### Keynote

- Reasoning and Planning for LTLf/LDLf goals 1
  Giuseppe De Giacomo

### Papers

- An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies 2-16
  Pietro Sala
- Power (Set) ALC (Extended Abstract) 17-21
  Laura Giordano, Alberto Policriti
- Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report 22-39
  Francesco Komauli, Alberto Momigliano
- Dynamic Goal Decomposition and Planning in MAS for Highly Changing Environments 40-54
  Stefania Costantini, Giovanni De Gasperis
- COCOS: a typicality based COncept COmbination System 55-59
  Antonio Lieto, Gian Luca Pozzato, Alberto Valese
- On Probabilities of Exceptions in Description Logics of Typicality 60-74
  Gian Luca Pozzato
- Forward Countermodel Construction in Modal Logic K 75-81
  Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
- Towards Humanized Ethical Intelligent Agents: the role of Reflection and Introspection 82-96
  Stefania Costantini, Abeer Dyoub, Valentina Pitoni
- Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking 97-111
  Giorgio Delzanno
- ARKIVO: an Ontology for Describing Archival Resources 112-116
  Laura Pandolfo, Luca Pulina, Marek Zielinski
- A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 117-131
  Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
- 2D object reconstruction with ASP 132-146
  Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
- Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation? 147-152
  Domenico Cantone, Eugenio Omodeo

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

- Reasoning with Justifiable Exceptions in Contextual Hierarchies
  Loris Bozzato, Thomas Eiter, Luciano Serafini
- Meta-programming and Symbolic Execution for Detecting Run-time Errors in Erlang Programs
  Emanuele De Angelis, Fabio Fioravanti, Adrian Palacios, Alberto Pettorossi, Maurizio Proietti
- Deciding the Consistency of Branching Time Interval Networks
  Marco Gavanelli, Alessandro Passantino, Guido Sciavicco
- A Set-based Reasoner for the Description Logic DL^{4,×}_{D}
  Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
- Persistent Stochastic Non-Interference
  Carla Piazza, Sabina Rossi, Jane Hillston
- Verification of Data-Aware Processes via Array-Based Systems (Abridged Version)
  Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
- Modeling and Reasoning over Declarative Data-Aware Processes: The Object-Centric Behavioral Constraint Approach
  Alessandro Artale, Marco Montali, Wil van der Aalst
- Declarative Parameterized Verification of Topology-sensitive Distributed Protocols
  Giorgio Delzanno, Sylvain Conchon, Angelo Ferrando

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|