: A Tool for Automatic Composition ofServices Based on Logics of Programs

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella. : A Tool for Automatic Composition ofServices Based on Logics of Programs. In Ming-Chien Shan, Umeshwar Dayal, Meichun Hsu, editors, Technologies for E-Services, 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers. Volume 3324 of Lecture Notes in Computer Science, pages 80-94, Springer, 2004. [doi]

Authors

Daniela Berardi

This author has not been identified. Look up 'Daniela Berardi' in Google

Diego Calvanese

This author has not been identified. Look up 'Diego Calvanese' in Google

Giuseppe De Giacomo

This author has not been identified. Look up 'Giuseppe De Giacomo' in Google

Maurizio Lenzerini

This author has not been identified. Look up 'Maurizio Lenzerini' in Google

Massimo Mecella

This author has not been identified. Look up 'Massimo Mecella' in Google