{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T10:36:04Z","timestamp":1791110164216,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540203629","type":"print"},{"value":"9783540397182","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39718-2_13","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T02:01:33Z","timestamp":1283565693000},"page":"195-210","source":"Crossref","is-referenced-by-count":155,"title":["Automating DAML-S Web Services Composition Using SHOP2"],"prefix":"10.1007","author":[{"given":"Dan","family":"Wu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Evren","family":"Sirin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Hendler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dana","family":"Nau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Dean, M., Connolly, D., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: Web Ontology Language (OWL) Reference Version 1.0. Recent Trends and Developments. W3C Working Draft November 12 (2002), http:\/\/www.w3.org\/TR\/2002\/WD-owl-ref-20021112\/"},{"key":"13_CR2","unstructured":"Horrocks, I., van Harmelen, F., Patel-Schneider, P., Berners-Lee, T., Brickley, D., Connoly, D., Dean, M., Decker, S., Fensel, D., Hayes, P., Heflin, J., Hendler, J., Lassila, O., McGuinness, D., Stein, L.A.: DAML+OIL (2001), http:\/\/www.daml.org\/2001\/03\/daml+oil-index.html"},{"key":"13_CR3","unstructured":"The DAML Services Coalition: DAML-S: Semantic Markup for Web Services. Technical Overview (2002), http:\/\/www.daml.org\/services\/daml-s\/0.7\/daml-s.html"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Ankolekar, A., Burstein, M., Hobbs, J.R., Lassila, O., Martin, D., McDermott, D., McIlraith, S.A., Narayanan, S., Paolucci, M., Payne, T., Sycara, K. (The DAML Services Coalition): DAML-S: Web Service Description for the Semantic Web. In: Proceedings of the First International Semantic Web Conference (2002)","DOI":"10.1007\/3-540-48005-6_27"},{"key":"13_CR5","unstructured":"Nau, D., Munoz-Avila, H., Cao, Y., Lotem, A., Mitchell, S.: Total-Order Planning with Partially Ordered Subtasks. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (2001)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Nau, D., Au, T., Ilghami, O., Kuter, U., Murdock, J.W., Wu, D., Yaman, F.: SHOP2: An HTN Planning Environment. Journal of Artificial Intelligence Research (2003) (to appear)","DOI":"10.1613\/jair.1141"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proceedings of the Eleventh International World Wide Web Conference, Honolulu, Hawaii (2002)","DOI":"10.1145\/511446.511457"},{"key":"13_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge (2001)"},{"key":"13_CR10","unstructured":"McIlraith, S., Son, T.: Adapting Golog for Composition of Semantic Web Services. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning, Toulouse, France (2002)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-36189-8_17","volume-title":"Web Services, E-Business, and the Semantic Web","author":"M. Matskin","year":"2002","unstructured":"Matskin, M., Rao, J.: Value-Added Web Services Composition Using Automatic Program Synthesis. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol.\u00a02512, pp. 213\u2013224. Springer, Heidelberg (2002)"},{"key":"13_CR12","unstructured":"Paolucci, M., Shehory, O., Sycara, K.: Interleaving planning and execution in a multiagent team planning environment. Electronic Transactions of Artificial Intelligence (2001)"},{"key":"13_CR13","unstructured":"Paolucci, M., Sycara, K., Kawamura, T.: Delivering semantic web services. Technical Report CMU-RI-TR-02-28, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA (December 2002)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39718-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T13:24:15Z","timestamp":1559568255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39718-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203629","9783540397182"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39718-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}