CILC 2018
Italian Conference on Computational Logic

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