Symbolic agent negotiation for semantic web service exploitation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3129, Issue , 2004, Pages 458-467

  Küngas, Peep ^a   Rao, Jinghai ^a   Matskin, Mihhail ^b  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

QUALITY OF SERVICE; SEMANTIC WEB; WEBSITES;

AGENT-BASED WEB SERVICES; AUTOMATED SERVICE COMPOSITION; DISTRIBUTED PLANNING; INFORMATION COLLECTIONS; INFORMATION EXCHANGES; SERVICE COMPOSITIONS; SYMBOLIC NEGOTIATION; WEB SERVICE DISCOVERY;

WEB SERVICES;

EID: 33344464128     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27772-9_46     Document Type: Article

References (16)

1. L. Ardissono, A. Goy, and G. Petrone. Enabling conversations with web services. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, pages 819-826. ACM Press, 2003.
2. N. Gibbins, S. Harris, and N. Shadbolt. Agent-based semantic web services. In Proceedings of the Twelfth International World Wide Web Conference, WWW2003, Budapest, Hungary, May 20-24, 2003, pages 710-717. ACM Press, 2003.
3. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.
4. P. Küngas and M. Matskin. Linear logic, partial deduction and cooperative problem solving. In Proceedings of the First International Workshop on Declarative Agent Languages and Technologies (in conjunction with AAMAS 2003), DALT'2003, Melbourne, Australia, July 15, 2003. Springer-Verlag, 2004. To appear.
5. P. Küngas and M. Matskin. Symbolic negotiation with linear logic. In Proceedings of the Fourth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004. Springer-Verlag, 2004. To appear.
6. H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1-3):59-83, 1997.
7. Z. Manna and R. J. Waldinger. A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems, 2(1):90-121, 1980.
8. M. Matskin, O. J. Kirkeluten, S. B. Krossnes, and Østein Sæle. Agora: An infrastructure for cooperative work support in multi-agent systems. In T. Wagner and O. F. Rana, editors, International Workshop on Infrastructure for Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000, Revised Papers, volume 1887 of Lecture Notes in Computer Science, pages 28-40. Springer-Verlag, 2001.
9. D. McDermott. Estimated-regression planning for interaction with web services. In Proceedings of the 6th International Conference on AI Planning and Scheduling, Toulouse, France, April 23-27, 2002. AAAI Press, 2002.
10. S. McIlraith and T. C. Son. Adapting Golog for composition of semantic web services. In Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), Toulouse, France, April 22-25, 2002, pages 482-493. Morgan Kaufmann, 2002.
11. M. P. Papazoglou, B. J. Krämer, and J. Yang. Leveraging web-services and peer-to-peer networks. In J. Eder and M. Missikoff, editors, 15th International Conference on Advanced Information Systems Engineering, CAiSE 2003, June 16-18, 2003, Klagenfurt, Austria, volume 2681 of Lecture Notes in Computer Science, pages 485-501. Springer-Verlag, 2003.
12. J. Rao, P. Küngas, and M. Matskin. 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, 2003, pages 3-9. CSREA Press, 2003.
13. M. Sheshagiri, M. desJardins, and T. Finin. A planner for composing services described in DAML-S. In Proceedings of the AAMAS Workshop on Web Services and Agent-based Engineering, 2003.
14. S. Thakkar, C. A. Knoblock, J. L. Ambite, and C. Shahabi. Dynamically composing web services from on-line sources. In Proceeding of 2002 AAAI Workshop on Intelligent Service Integration, Edmonton, Alberta, Canada, 2002.
15. R. Waldinger. Web agents cooperating deductively. In Proceedings of FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000, volume 1871 of Lecture Notes in Computer Science, pages 250-262. Springer-Verlag, 2001.
16. D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau. 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, 2003.