Il Milione

Keyphrases

Publications

2008

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

volume 487, 2008

Il Milione (i.e. 2^6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. Il Milione 487 (2008)