[CEUR Workshop Proceedings] 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