CILC 2016
Italian Conference on Computational Logic

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é