{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:47:38Z","timestamp":1725565658897},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540224181"},{"type":"electronic","value":"9783540277729"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27772-9_46","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T17:37:11Z","timestamp":1284572231000},"page":"458-467","source":"Crossref","is-referenced-by-count":9,"title":["Symbolic Agent Negotiation for Semantic Web Service Exploitation"],"prefix":"10.1007","author":[{"given":"Peep","family":"K\u00fcngas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinghai","family":"Rao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihhail","family":"Matskin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1145\/860575.860707","volume-title":"Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2003","author":"L. Ardissono","year":"2003","unstructured":"Ardissono, L., Goy, A., Petrone, G.: Enabling conversations with web services. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2003, Melbourne, Victoria, Australia, July 14-18, pp. 819\u2013826. ACM Press, New York (2003)"},{"key":"46_CR2","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1145\/775152.775251","volume-title":"Proceedings of the Twelfth International World Wide Web Conference, WWW2003","author":"N. Gibbins","year":"2003","unstructured":"Gibbins, N., Harris, S., Shadbolt, N.: Agent-based semantic web services. In: Proceedings of the Twelfth International World Wide Web Conference, WWW2003, Budapest, Hungary, May 20-24, pp. 710\u2013717. ACM Press, New York (2003)"},{"key":"46_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"K\u00fcngas, P., Matskin, M.: Linear logic, partial deduction and cooperative problem solving. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, Springer, Heidelberg (2004) (to appear)","DOI":"10.1007\/978-3-540-25932-9_14"},{"key":"46_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-30200-1_5","volume-title":"Computational Logic in Multi-Agent Systems","author":"P. K\u00fcngas","year":"2004","unstructured":"K\u00fcngas, P., Matskin, M.: Symbolic negotiation with linear logic. In: Dix, J., Leite, J. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03259, pp. 71\u201388. Springer, Heidelberg (2004) (to appear)"},{"issue":"1-3","key":"46_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031(1-3), 59\u201383 (1997)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"46_CR7","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z. Manna","year":"1980","unstructured":"Manna, Z., Waldinger, R.J.: A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems\u00a02(1), 90\u2013121 (1980)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"46_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/3-540-47772-1_3","volume-title":"Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems","author":"M. Matskin","year":"2001","unstructured":"Matskin, M., Kirkeluten, O.J., Krossnes, S.B., S\u00e6le, \u00d8.: Agora: An infrastructure for cooperative work support in multi-agent systems. In: Wagner, T.A., Rana, O.F. (eds.) AA-WS 2000. LNCS (LNAI), vol.\u00a01887, pp. 28\u201340. Springer, Heidelberg (2001)"},{"key":"46_CR9","volume-title":"Proceedings of the 6th International Conference on AI Planning and Scheduling","author":"D. McDermott","year":"2002","unstructured":"McDermott, D.: Estimated-regression planning for interaction with web services. In: Proceedings of the 6th International Conference on AI Planning and Scheduling, Toulouse, France, April 23\u201327, AAAI Press, Menlo Park (2002)"},{"key":"46_CR10","first-page":"482","volume-title":"Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR 2002)","author":"S. McIlraith","year":"2002","unstructured":"McIlraith, S., Son, T.C.: Adapting Golog for composition of semantic web services. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR 2002), Toulouse, France, April 22-25, pp. 482\u2013493. Morgan Kaufmann, San Francisco (2002)"},{"key":"46_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/3-540-45017-3_33","volume-title":"Advanced Information Systems Engineering","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Kr\u00e4mer, B.J., Yang, J.: Leveraging web-services and peer-to-peer networks. In: Eder, J., Missikoff, M. (eds.) CAiSE 2003. LNCS, vol.\u00a02681, pp. 485\u2013501. Springer, Heidelberg (2003)"},{"key":"46_CR12","unstructured":"Rao, J., K\u00fcngas, P., Matskin, M.: Application of linear logic to web service composition. In: Proceedings of the First International Conference on Web Services (ICWS 2003), Las Vegas, USA, June 23-26, pp. 3\u20139. CSREA Press (2003)"},{"key":"46_CR13","unstructured":"Sheshagiri, M., desJardins, M., Finin, T.: A planner for composing services described in DAML-S. In: Proceedings of the AAMAS Workshop on Web Services and Agent-based Engineering (2003)"},{"key":"46_CR14","unstructured":"Thakkar, S., Knoblock, C.A., Ambite, J.L., Shahabi, C.: Dynamically composing web services from on-line sources. In: Proceeding of 2002 AAAI Workshop on Intelligent Service Integration, Edmonton, Alberta, Canada (2002)"},{"key":"46_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-45484-5_20","volume-title":"Formal Approaches to Agent-Based Systems","author":"R. Waldinger","year":"2001","unstructured":"Waldinger, R.: Web agents cooperating deductively. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol.\u00a01871, pp. 250\u2013262. Springer, Heidelberg (2001)"},{"key":"46_CR16","doi-asserted-by":"crossref","unstructured":"Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S web services composition using SHOP2. In: Proceedings of the 2nd International Semantic Web Conference, ISWC 2003, Sanibel Island, Florida, USA, October 20-23 (2003)","DOI":"10.1007\/978-3-540-39718-2_13"}],"container-title":["Lecture Notes in Computer Science","Advances in Web-Age Information Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27772-9_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:24:00Z","timestamp":1619997840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27772-9_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540224181","9783540277729"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27772-9_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}