|  | Vol-1645 urn:nbn:de:0074-1645-1 Copyright © 2016 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 2016
Italian Conference on Computational Logic

### Proceedings of the 31st Italian Conference on Computational Logic

### Milano, Italy, June 20-22, 2016.

Edited by

### Camillo Fiorentini*
Alberto Momigliano*

* Dipartimento di Informatica, Università degli Studi di Milano, Via Comelico 39, 20135 Milano, Italy

## Table of Contents

- Preface

### Abstracts of invited talks

- Logic for Real Number Computation 1
  Helmut Schwichtenberg
- From Super Mario to X-MEN 2
  Kung-Kiu Lau
- Synchronous Programming in Intermediate Constructive Logic 3
  Michael Mendler
- Martin Davis on Computability, Computational Logic, and Mathematical Foundations 4
  Eugenio Omodeo, Alberto Policriti

### Papers

- Labelled Variables in Logic Programming: Foundations 5-20
  Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
- Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling 21-36
  Martin Sticht
- ALC + Texp: Beyond most likely Scenarios in Preferential Description Logics of Typicality 37-52
  Gian Luca Pozzato
- Reasoning in a Rational Extension of SROEL 53-68
  Laura Giordano, Daniele Theseider Dupré
- Verifying Relational Program Properties by Transforming Constrained Horn clauses 69-85
  Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
- A Logic-based Approach to Verify Distributed Protocols 86-101
  Giorgio Delzanno
- Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies 102-117
  Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani
- Polynomial Constraint Solving over Finite Domains with the Modified Bernstein Form 118-131
  Federico Bergenti, Stefania Monica, Gianfranco Rossi
- Compiling and Executing PDDL in Picat 132-147
  Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou
- Logic Programming Applied to Genome Evolution in Cancer 148-157
  Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli
- Typicality-based Revision for Handling Exceptions in Description Logics 158-173
  Roberto Micalizio, Gian Luca Pozzato
- Model with DLs + Solve with ASP! 174-189
  Francesca Alessandra Lisi
- ASP Based Generation of Information Terms for Constructive EL 190-204
  Loris Bozzato
- Reasoning in High Schools: Do it with ASP! 205-213
  Agostino Dovier, Paolo Benoli, Maria Concetta Brocato, Luciano Dereani, Federica Tabacco
- ASP for Reasoning about Actions with an EL^bot Knowledge Base 214-229
  Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré

2016-07-16: submitted by Camillo Fiorentini, metadata incl. bibliographic data published under Creative Commons CC0
2016-07-18: published on CEUR-WS.org |valid HTML5|