{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:47:52Z","timestamp":1760586472948},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876533"},{"type":"electronic","value":"9783540876540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87654-0_7","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T02:11:01Z","timestamp":1221876661000},"page":"142-157","source":"Crossref","is-referenced-by-count":11,"title":["Automated Web Services Composition with the Event Calculus"],"prefix":"10.1007","author":[{"given":"Onur","family":"Ayd\u0131n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nihan","family":"Kesim Cicekli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilyas","family":"Cicekli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Aydin, O.: Automated web service composition with the event calculus, M.S. Thesis, Dept. of Computer Engineering, METU, Ankara (2005)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American Magazine (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Information Sciences (to appear)","DOI":"10.1016\/j.ins.2005.10.007"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Chen, L., Yang, X.: Applying AI Planning to Semantic Web Services for workflow Generation. In: Proc. of the 1st Intl. Conf. on Semantics, Knowledge and Grid, SKG 2005 (2005)","DOI":"10.1109\/SKG.2005.44"},{"key":"7_CR5","unstructured":"Jacinto, J.D.: REACTIVE PASCAL and the event calculus: A platform to program reactive, rational agents. In: Proc. of the Workshop at FAPR 1995: Reasoning about Actions and Planning in Complex Environments (1996)"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.J.: A Logic-Based Calculus of Events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/978-3-540-30475-3_24","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"U. Kuter","year":"2004","unstructured":"Kuter, U., Sirin, E., Nau, D.S., Parsia, B., Hendler, J.: Information gathering during planning for web service composition. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 335\u2013349. Springer, Heidelberg (2004)"},{"issue":"1-3","key":"7_CR8","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"Levesque, H., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.: GOLOG: A Logic programming language for dynamic domains. Journal of Logic Programming\u00a031(1-3), 59\u201384 (1997)","journal-title":"Journal of Logic Programming"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Marjanovic, O.: Managing the normative context of composite e-services. In: ICWS-Europe, pp. 24\u201336 (2003)","DOI":"10.1007\/978-3-540-39872-1_3"},{"key":"7_CR10","volume-title":"Sixth International Conference on AI Planning and Scheduling","author":"D. McDermott","year":"2002","unstructured":"McDermott, D.: Estimated-regression planning for interactions with Web Services. In: Sixth International Conference on AI Planning and Scheduling. AAAI Press, Menlo Park (2002)"},{"key":"7_CR11","unstructured":"McDermott, D.V., Dou, D., Qi, P.: PDDAML, An Automatic Translator Between PDDL and DAML, http:\/\/www.cs.yale.edu\/homes\/dvm\/daml\/pddl_daml_translator1.html"},{"key":"7_CR12","unstructured":"McIlraith, S.A., Son, T.: Adapting Golog for composition of semantic Web services. In: Proceedings of Eight International Conference on Principles of Knowledge Representation and Reasoning, pp. 482\u2013493 (2002)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"McIlraith, S.A., Son, T., Zeng, H.: Semantic Web services. IEEE Intelligent Systems, March\/April (2001)","DOI":"10.1109\/5254.920599"},{"issue":"4","key":"7_CR14","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00778-003-0101-5","volume":"12","author":"B. Medjahed","year":"2003","unstructured":"Medjahed, B., Bouguettaya, A., Elmagarmid, A.K.: Composing web services on the semantic web. The VLDB Journal\u00a012(4), 333\u2013351 (2003)","journal-title":"The VLDB Journal"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1124566.1124568","volume":"5","author":"S.G. Oh","year":"2005","unstructured":"Oh, S.G., Lee, D., Kumara, S.R.T.: A comparative Illustration of AI planning-based web services composition. ACM SIGecom Exchanges\u00a05, 1\u201310 (2005)","journal-title":"ACM SIGecom Exchanges"},{"key":"7_CR16","unstructured":"OWL-S: Semantic Markup for Web Services Version 1.1, November 2004. Publish of Semantics Web Services Language (SWSL) Committee (Last Accessed: 17 September 2005), http:\/\/www.daml.org\/services\/owl-s\/1.1\/overview\/"},{"key":"7_CR17","unstructured":"Peer, J.: Web Service Composition as AI Planning- a Survey*, Technical report, Univ. of St. Gallen, Switzerland (2005), http:\/\/elektra.mcm.unisg.ch\/pbwsc\/docs\/pfwsc.pdf"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Rao, J., Su, X.: A Survey of Automated Web Service Composition Methods. In: Proceedings of First International Workshop on Semantic Web Services and Web Process Composition (July 2004)","DOI":"10.1007\/978-3-540-30581-1_5"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11841760_18","volume-title":"Business Process Management","author":"M. Rouached","year":"2006","unstructured":"Rouached, M., Perrin, O., Godart, C.: Towards formal verification of web service composition. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 257\u2013273. Springer, Heidelberg (2006)"},{"key":"7_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-48317-9_17","volume-title":"Artificial Intelligence Today","author":"M.P. Shanahan","year":"1999","unstructured":"Shanahan, M.P.: The Event Calculus Explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol.\u00a01600, pp. 409\u2013430. Springer, Heidelberg (1999)"},{"issue":"1-3","key":"7_CR21","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","volume":"44","author":"M.P. Shanahan","year":"2000","unstructured":"Shanahan, M.P.: An abductive event calculus planner. Journal of Logic Programming\u00a044(1-3), 207\u2013240 (2000)","journal-title":"Journal of Logic Programming"},{"key":"7_CR22","unstructured":"Sirin, E., Hendler, J., Parsia, B.: Semi-automatic Composition of Web Services using Semantic Descriptions. In: Web Services: Modeling, Architecture and Infrastructure workshop in conjunction with ICEIS 2003 (2002)"},{"key":"7_CR23","unstructured":"Stathis, K., Lekeas, G., Kloukinas, C.: Competence checking for the global e-service society using games. In: O\u2019Hare, G., O\u2019Grady, M., Dikinelli, O., Ricci, A. (eds.) Proceedings of Engineering Societies in the Agents World, ESAW 2006 (2006)"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Wu, D., Sirin, E., Parsia, B., Hendler, J., Nau, D.: Automatic web services composition using SHOP2. In: Proceedings of Planning for Web Services Workshop, ICAPS 2003 (June 2003)","DOI":"10.21236\/ADA448067"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.: Reasoning About Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols. Annals of Mathematics and AI\u00a042(1-3) (2004)","DOI":"10.1023\/B:AMAI.0000034528.55456.d9"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World VIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87654-0_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:05:38Z","timestamp":1606165538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87654-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876533","9783540876540"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87654-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}