| Vol-487 Copyright © 2009 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. This volume is published by its editors.

# Il Milione (i.e. 2ˆ6, June 3rd 2008)
A Journey in the Computational Logic in Italy

### Proceedings of the Day Dedicated to Prof. Alberto Martelli

### Turin, Italy, June 3, 2008.

Edited by

### Matteo Baldoni *
Cristina Baroglio *

* Dipartimento di Informatica, Università degli Studi di Torino, c.so Svizzera, 185 - I-10149 Torino, Italy

Complete volume as one file (~3.3 MB).

## Table of Contents

Front matter

1. Recent Constraint/Logic Programming based Advances in the Solution of the Protein Folding Problem
   Agostino Dovier
2. Program Transformation for Development, Verification, and Synthesis of Software
   Alberto Pettorossi, Maurizio Proietti, Valerio Senni
3. Towards a Logic Language and Framework for Web Programming
   Giulio Piancastelli, Andrea Omicini, Enrico Denti
4. From Set Unification to Set Constraints
   Gianfranco Rossi
5. DALI, RASP, Mnemosine: Computational Logic at Work
   Stefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza
6. Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties
   Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
7. Computational Logic in Genova
   Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli
8. Logic Programming in DataLog: A Long Tour from Theory to Practice
   Sergio Greco, Luigi Palopoli, Nicola Leone, Pasquale Rullo, Domenico Saccà
9. Modeling and Verification of Business Processes and Choreographies in ALP
   Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
10. On the decidability of FDNC programs
    Piero A. Bonatti
11. Evolving Reactive Logic Programs
    Jose Julio Alferes, Federico Banti, Antonio Brogi
12. A Valuable Experience in Computational Logic
    Annalisa Bossi, Nicoletta Cocco
13. Computational Logic and Agent Based Systems
    Paolo Mancarella, Francesca Toni
14. Non-Classical Logics for Knowledge Representation and Reasoning
    Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla B. Schwind
15. Multimodal Logics for Reasoning about Interaction
    Matteo Baldoni, Cristina Baroglio, Viviana Patti

11-Aug-2009: submitted by Cristina Baroglio
11-Aug-2009: published on CEUR-WS.org