{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:45:30Z","timestamp":1743115530232,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642225765"},{"type":"electronic","value":"9783642225772"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22577-2_28","type":"book-chapter","created":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T08:41:43Z","timestamp":1309941703000},"page":"201-213","source":"Crossref","is-referenced-by-count":0,"title":["Composition of Composite Semantic Web Services Using Abductive Event Calculus"],"prefix":"10.1007","author":[{"given":"D.","family":"Paulraj","sequence":"first","affiliation":[]},{"given":"S.","family":"Swamynathan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"28_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1391949.1391953","volume":"8","author":"A. Brogi","year":"2008","unstructured":"Brogi, A., Corfini, S., Popescu, R.: Semantic-Based Composition-Oriented Discovery of Web Services. ACM Transactions on Internet Technology\u00a08(4), 19:1-19:33 (2008)","journal-title":"ACM Transactions on Internet Technology"},{"issue":"3","key":"28_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.entcs.2008.04.092","volume":"200","author":"F. Abouzaid","year":"2008","unstructured":"Abouzaid, F., Mullins, J.: A Calculus for Generation, Verification and Refinement of BPEL Specifications. Electronic Notes in Theoretical Computer Science\u00a0200(3), 43\u201365 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"28_CR3","first-page":"161","volume-title":"Intelligent Computer Communication and Processing","author":"V. Chifu","year":"2008","unstructured":"Chifu, V., Salomie, I., Chifu, E.: Fluent Calculus-Based Web Service Composition - From OWL-S to Fluent Calculus. In: Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, August 28-30, pp. 161\u2013168. IEEE Explore Digital Library, Washington, USA (2008)"},{"key":"28_CR4","first-page":"142","volume-title":"8th International Workshop on Engineering Societies in the Agents World","author":"O. Aydin","year":"2007","unstructured":"Aydin, O., Kesim Cicekli, N., Cicekli, I.: Automated Web Service Composition with the event calculus. In: 8th International Workshop on Engineering Societies in the Agents World, pp. 142\u2013157. Springer, Heidelberg (2007)"},{"key":"28_CR5","unstructured":"David, M., Mark, B., Jerry, H., Ora, L., Drew, M., Sheila, M., Srini, N., Massimo, P., Bijan, P.,Terry, P., Evren, S., Naveen, S., Katia, S.: OWL-S Semantic Markup for Web Services, \n                    \n                      http:\/\/www.w3.org\/submission\/owl-s"},{"issue":"1","key":"28_CR6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1613\/jair.2716","volume":"35","author":"J. Hoffmann","year":"2009","unstructured":"Hoffmann, J., Bertoli, P., Helmert, M., Pistore, M.: Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. Journal of Artificial Intelligence Research\u00a035(1), 49\u2013117 (2009)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"5","key":"28_CR7","first-page":"1","volume":"5","author":"O. Seog-Chan","year":"2005","unstructured":"Seog-Chan, O., Lee, D., Kumara, S.: A Comparative Illustration of AI Planning-based Web Services Composition. ACM SIGecom Exchanges\u00a05(5), 1\u201310 (2005)","journal-title":"ACM SIGecom Exchanges"},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/ITC.2010.36","volume-title":"Proceedings of ITC 2010- International Conference on Recent Trends in Information, Telecommunication, and Computing","author":"D. Paulraj","year":"2010","unstructured":"Paulraj, D., Swamynathan, S.: Dynamic Discovery and Composition of Semantic Web Services Using Abductive Event Calculus. In: Proceedings of ITC 2010- International Conference on Recent Trends in Information, Telecommunication, and Computing, Kochi, India, March 12-13, pp. 70\u201374. IEEE Computer Society, Washington, USA (2010)"},{"issue":"19","key":"28_CR9","doi-asserted-by":"publisher","first-page":"3589","DOI":"10.1016\/j.ins.2010.05.040","volume":"180","author":"E. Ozorhan","year":"2010","unstructured":"Ozorhan, E., Kuban, E., Cicekli, N.: Automated composition of web services with the abductive event calculus. Elsevier Information Sciences\u00a0180(19), 3589\u20133613 (2010)","journal-title":"Elsevier Information Sciences"},{"issue":"1","key":"28_CR10","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\u2013based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"issue":"2","key":"28_CR11","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/TKDE.2009.89","volume":"22","author":"G. Meditskos","year":"2010","unstructured":"Meditskos, G., Bassiliades, N.: Structural and Role-Oriented Web Service Discovery with Taxonomies in OWL-S. IEEE Transactions On Knowledge And Data Engineering\u00a022(2), 278\u2013290 (2010)","journal-title":"IEEE Transactions On Knowledge And Data Engineering"},{"issue":"5","key":"28_CR12","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.knosys.2010.02.006","volume":"23","author":"C. Okutan","year":"2010","unstructured":"Okutan, C., Cicekli, N.: A monolithic approach to automated composition of semantic web services with event calculus. Elsevier Knowledge-Based Systems\u00a023(5), 440\u2013454 (2010)","journal-title":"Elsevier Knowledge-Based Systems"},{"issue":"3","key":"28_CR13","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/TSC.2009.14","volume":"2","author":"A. Segev","year":"2009","unstructured":"Segev, A., Toch, E.: Context-Based Matching and Ranking of Web Services for Composition. IEEE Transactions On Services Computing\u00a02(3), 210\u2013222 (2009)","journal-title":"IEEE Transactions On Services Computing"},{"key":"28_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-540-76848-7_23","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"W. Gaaloul","year":"2007","unstructured":"Gaaloul, W., Rouached, M., Godart, C., Hauswirth, M.: Verifying composite service transactional behavior using event calculus. In: Chung, S. (ed.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 353\u2013370. Springer, Heidelberg (2007)"},{"issue":"2","key":"28_CR15","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00036-Z","volume":"77","author":"M. Shanahan","year":"1995","unstructured":"Shanahan, M.: A Circumscriptive Calculus of Events. Elsevier Artificial Intelligence\u00a077(2), 249\u2013284 (1995)","journal-title":"Elsevier Artificial Intelligence"},{"key":"28_CR16","unstructured":"Petrie, C.: Planning Process Instances with Web Services. In: Proceedings of the International Conference on Enterprise Information Systems AT4WS 2009, Milan, Italy (pp, May 6-7, pp. 31\u201335. IGI Publishing (2009)"},{"key":"28_CR17","first-page":"201","volume-title":"Proceedings of the iiWAS2008, Linz, Austria","author":"I. Salomie","year":"2008","unstructured":"Salomie, I., Viotica, R., Harsa, I., Gherga, M.: Towards Automated Web Service Composition with Fluent Calculus and Domain Ontologies. In: Proceedings of the iiWAS2008, Linz, Austria, November 24-26, pp. 201\u2013207. ACM, New York (2008)"},{"key":"28_CR18","unstructured":"Sean, B., Frank, H., Jim, H., Ian, H., Deborah, L., Peter, F. and Lynn, A.: OWL Web Ontology Language (2004), \n                    \n                      http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"28_CR19","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. Shanahan","year":"1999","unstructured":"Shanahan, M.: 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","key":"28_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jwsr.2007010101","volume":"4","author":"O. Seog-Chan","year":"2007","unstructured":"Seog-Chan, O., Lee, D., Kumara, S.: Web Service Planner (WSPR): An Effective and Scalable Web Service Composition Algorithm. International Journal of Web Services Research\u00a04(1), 1\u201322 (2007)","journal-title":"International Journal of Web Services Research"},{"issue":"1-3","key":"28_CR21","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","volume":"44","author":"M. Shanahan","year":"2000","unstructured":"Shanahan, M.: An Abductive Event Calculus Planner. Journal of Logic Programming\u00a044(1-3), 207\u2013240 (2000)","journal-title":"Journal of Logic Programming"}],"container-title":["Communications in Computer and Information Science","High Performance Architecture and Grid Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22577-2_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T22:05:37Z","timestamp":1558389937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22577-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642225765","9783642225772"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22577-2_28","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}