Il Milione 2008

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