Synthesis of Composite e-Services based on Automated Reasoning

Conference proceeding

D Berardi, Diego Calvanese, G De Giacomo, M Lenzerini and M Mecella

Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004)

14th International Conference on Automated Planning and Scheduling, ICAPS 2004 (Whistler, British Columbia, 03/06/2004 - 07/06/2004)

2004

Handle:

https://hdl.handle.net/10863/43079

Files and links (1)

pdf

BCDLM_P4WGS200474.95 kB

Restricted Access

Title: Synthesis of Composite e-Services based on Automated Reasoning
Creators: D Berardi
Diego Calvanese
G De Giacomo
M Lenzerini
M Mecella
Publication Details: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004)
Editor(s): Zilberstein S, Koehler J, Koenig S
ISBN: 9781577352006
EISBN: 9781577352785
Conference: 14th International Conference on Automated Planning and Scheduling, ICAPS 2004 (Whistler, British Columbia, 03/06/2004 - 07/06/2004)
Publisher: AAAI Press
Menlo Park, Calif.
Number of pages: 3
Identifiers: 978-1-57735-200-6
(UNIBZ)23066260
991006786594001241
Scopus ID: n.a.
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Berardi D, Calvanese D, De Giacomo G, Lenzerini M, Mecella M
Additional Description: Editors/Supervisors: Zilberstein S, Koehler J, Koenig S

1 Record Views