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é