乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:39:13Z","timestamp":1730313553392,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,11,15]]},"DOI":"10.1145\/1035167.1035183","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T17:58:48Z","timestamp":1107107928000},"page":"105-114","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Synthesis of underspecified composite\n e<\/i>\n -services based on automated reasoning"],"prefix":"10.1145","author":[{"given":"Daniela","family":"Berardi","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy"}]},{"given":"Giuseppe","family":"De Giacomo","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy"}]},{"given":"Maurizio","family":"Lenzerini","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy"}]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy"}]},{"given":"Diego","family":"Calvanese","sequence":"additional","affiliation":[{"name":"Libera Universit\u00e0 di Bolzano\/Bozen, Bolzano, Italy"}]}],"member":"320","published-online":{"date-parts":[[2004,11,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/647213.720351"},{"key":"e_1_3_2_1_2_1","unstructured":"T. Andrews F. Curbera H. Dholakia Y. Goland J. Klein F. Leymann K. Liu D. Roller D. Smith S. Thatte I. Trickovic and S. Weerawarana. Business Process Execution Language for Web Services (Version 1.1). http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel\/.]] T. Andrews F. Curbera H. Dholakia Y. Goland J. Klein F. Leymann K. Liu D. Roller D. Smith S. Thatte I. Trickovic and S. Weerawarana. Business Process Execution Language for Web Services (Version 1.1). http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel\/.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646996.711291"},{"key":"e_1_3_2_1_4_1","volume-title":"The Description Logic Handbook: Theory, Implentation and Applications","author":"Baader F.","year":"2003","unstructured":"F. Baader , D. Calvanese , D. McGuinness , D. Nardi , and P. F. Patel-Schneider , editors . The Description Logic Handbook: Theory, Implentation and Applications . Cambridge University Press , 2003 .]] F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implentation and Applications. Cambridge University Press, 2003.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013882326814"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24593-3_4"},{"volume-title":"Proc. of WES~2003","author":"Berardi D.","key":"e_1_3_2_1_7_1","unstructured":"D. Berardi , D. Calvanese , G. De Giacomo , M. Lenzerini , and M. Mecella . A Foundational Vision of phe-Services . In Proc. of WES~2003 .]] D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. A Foundational Vision of phe-Services. In Proc. of WES~2003.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1618595.1618601"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775210"},{"key":"e_1_3_2_1_10_1","first-page":"178","volume-title":"Baader et al. {4}","author":"Calvanese D.","unstructured":"D. Calvanese and G. De Giacomo . Expressive description logics . In Baader et al. {4} , chapter 5, pages 178 -- 218 .]] D. Calvanese and G. De Giacomo. Expressive description logics. In Baader et al. {4}, chapter 5, pages 178--218.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(01)00014-X"},{"key":"e_1_3_2_1_12_1","volume-title":"Combining Deduction and Model Checking into Tableaux and Algorithms for converse-PDL. Information and Computation, 160(1--2):117--137","author":"De Giacomo G.","year":"2000","unstructured":"G. De Giacomo and F. Massacci . Combining Deduction and Model Checking into Tableaux and Algorithms for converse-PDL. Information and Computation, 160(1--2):117--137 , 2000 .]] G. De Giacomo and F. Massacci. Combining Deduction and Model Checking into Tableaux and Algorithms for converse-PDL. Information and Computation, 160(1--2):117--137, 2000.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.901165"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00379767"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647212.720215"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093890715"},{"key":"e_1_3_2_1_17_1","volume-title":"Web Services. Concepts, Architectures and Applications","author":"Alonso G.","year":"2004","unstructured":"G. Alonso , F. Casati , H. Kuno , and V. Machiraju . Web Services. Concepts, Architectures and Applications . Springer-Verlag , 2004 .]] G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Concepts, Architectures and Applications. Springer-Verlag, 2004.]]"},{"volume-title":"Proc. of RIDE-VE'99]]","author":"Georgakopoulos D.","key":"e_1_3_2_1_18_1","unstructured":"D. Georgakopoulos , editor. Proc. of RIDE-VE'99]] D. Georgakopoulos, editor. Proc. of RIDE-VE'99]]"},{"key":"e_1_3_2_1_19_1","volume-title":"Morgan Kaufmann","author":"Ghallab M.","year":"2004","unstructured":"M. Ghallab , D. Nau , and P. Traverso . Automated Task Planning: Theory & Practice . Morgan Kaufmann , 2004 .]] M. Ghallab, D. Nau, and P. Traverso. Automated Task Planning: Theory & Practice. Morgan Kaufmann, 2004.]]"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. of ICWS","author":"Ghandeharizadeh S.","year":"2003","unstructured":"S. Ghandeharizadeh , C. A. Knoblock , C. Papadopoulos , C. Shahabi , E. Alwagait , J. L. Ambite , M. Cai , C. Chen , P. Pol , R. R. Schmidt , S. Song , S. Thakkar , and R. Zhou . Proteus: A Syst for Dynamically Composing and Intelligently Executing Web Services . In Proc. of ICWS 2003 .]] S. Ghandeharizadeh, C. A. Knoblock, C. Papadopoulos, C. Shahabi, E. Alwagait, J. L. Ambite, M. Cai, C. Chen, P. Pol, R. R. Schmidt, S. Song, S. Thakkar, and R. Zhou. Proteus: A Syst for Dynamically Composing and Intelligently Executing Web Services. In Proc. of ICWS 2003.]]"},{"key":"e_1_3_2_1_21_1","series-title":"LNAI","first-page":"701","volume-title":"Proc. of IJCAR~2001","author":"Haarslev V.","year":"2001","unstructured":"V. Haarslev and R. M\u00f6ller . RACER syst description . In Proc. of IJCAR~2001 , volume 2083 of LNAI , pages 701 -- 705 . Springer-Verlag , 2001 .]] V. Haarslev and R. M\u00f6ller. RACER syst description. In Proc. of IJCAR~2001, volume 2083 ofLNAI, pages 701--705. Springer-Verlag, 2001.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780100054"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"Harel D.","year":"2000","unstructured":"D. Harel , D. Kozen , and J. Tiuryn . Dynamic Logic . The MIT Press , 2000 .]] D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press, 2000.]]"},{"key":"e_1_3_2_1_24_1","series-title":"LNAI","first-page":"307","volume-title":"Proc. of TABLEAUX'98","author":"Horrocks I.","year":"1998","unstructured":"I. Horrocks . The FaCT syst . In Proc. of TABLEAUX'98 , volume 1397 of LNAI , pages 307 -- 312 . Springer-Verlag , 1998 .]] I. Horrocks. The FaCT syst. In Proc. of TABLEAUX'98, volume 1397 ofLNAI, pages 307--312. Springer-Verlag, 1998.]]"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/773153.773154"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30475-3_24"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543644"},{"key":"e_1_3_2_1_28_1","volume-title":"Proc. of ICAPS-P4WGS","author":"Martinez E.","year":"2004","unstructured":"E. Martinez and Y. Lesperance . Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning . In Proc. of ICAPS-P4WGS 2004 .]] E. Martinez and Y. Lesperance. Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning. In Proc. of ICAPS-P4WGS 2004.]]"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920599"},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. VLDB-TES","author":"Mecella M.","year":"2001","unstructured":"M. Mecella , B. Pernici , and P. Craca . Compatibility of e-Services in a Cooperative Multi-Platform Environment . In Proc. VLDB-TES 2001 .]] M. Mecella, B. Pernici, and P. Craca. Compatibility of e-Services in a Cooperative Multi-Platform Environment. In Proc. VLDB-TES 2001.]]"},{"key":"e_1_3_2_1_32_1","first-page":"282","volume-title":"Baader et al. {4}","author":"M\u00f6ller R.","unstructured":"R. M\u00f6ller and V. Haarslev . Description logic systems . In Baader et al. {4} , chapter 8, pages 282 -- 305 .]] R. M\u00f6ller and V. Haarslev. Description logic systems. In Baader et al. {4}, chapter 8, pages 282--305.]]"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/944217.944233"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/647212.720210"},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. of ICAPS-P4WGS","author":"Pistore F.","year":"2004","unstructured":"F. Pistore , M. and Barbon , P . Bertoli, and P. Shaparau, D. and Traverso. Planning and Monitoring Web Service Composition . In Proc. of ICAPS-P4WGS 2004 .]] F. Pistore, M. and Barbon, P. Bertoli, and P. Shaparau, D. and Traverso. Planning and Monitoring Web Service Composition. In Proc. of ICAPS-P4WGS 2004.]]"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/646088.680058"},{"issue":"1","key":"e_1_3_2_1_37_1","article-title":"XML-enabled workflow management for e-Services across heterogeneous platforms","volume":"10","author":"Shegalov G.","year":"2001","unstructured":"G. Shegalov , M. Gillmann , and G. Weikum . XML-enabled workflow management for e-Services across heterogeneous platforms . J. of Very Large Data Bases , 10 ( 1 ), 2001 .]] G. Shegalov, M. Gillmann, and G. Weikum. XML-enabled workflow management for e-Services across heterogeneous platforms. J. of Very Large Data Bases, 10(1), 2001.]]","journal-title":"J. of Very Large Data Bases"},{"issue":"1","key":"e_1_3_2_1_38_1","first-page":"81","article-title":"On the santics of graded modalities","volume":"2","author":"der Hoek W. Van","year":"1992","unstructured":"W. Van der Hoek . On the santics of graded modalities . Journal of Applied Non-Classical Logics , 2 ( 1 ): 81 -- 123 , 1992 .]] W. Van der Hoek. On the santics of graded modalities. Journal of Applied Non-Classical Logics, 2(1):81--123, 1992.]]","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/646090.680249"}],"event":{"name":"ICSOC04: Second International Conference on Service Oriented Computing 2004","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"New York NY USA","acronym":"ICSOC04"},"container-title":["Proceedings of the 2nd international conference on Service oriented computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1035167.1035183","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T11:36:04Z","timestamp":1673350564000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1035167.1035183"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,11,15]]},"references-count":38,"alternative-id":["10.1145\/1035167.1035183","10.1145\/1035167"],"URL":"https:\/\/doi.org\/10.1145\/1035167.1035183","relation":{},"subject":[],"published":{"date-parts":[[2004,11,15]]},"assertion":[{"value":"2004-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}