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