Competence checking for the global E-service society using games

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

Volumn 4457 LNAI, Issue , 2007, Pages 384-400

  Stathis, Kostas ^a   Lekeas, George ^b   Kloukinas, Christos ^b  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; PROBLEM SOLVING; SOCIAL SCIENCES COMPUTING; SOFTWARE AGENTS;

COMMUNICATIVE AGENTS; ELECTRONIC SERVICES; GLOBAL SOCIETY; GLOBAL VISION;

WEB SERVICES;

EID: 38349014785     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75524-1_22     Document Type: Conference Paper

References (25)

1. Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, C., Lewis Johnson, W. (eds.) AAMAS 2002, pp. 1053-1061. ACM Press, New York (2002)
2. Burners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5) (May 2001)
3. Curcin, V., Ghanem, M., Guo, Y., Stathis, K., Toni, F.: Building next generation Service-Oriented Architectures using Argumentation Agents. In: Polze, A., Kowalczyk, R. (eds.) 3rd International Conference on Grid Service Engineering and Management, Germany, pp. 249-263 (September 2006)
4. Davidsson, P.: Categories of artificial societies. In: Omicini, A., Petta, P., Tolksdorf, R. (eds.) ESAW 2001. LNCS (LNAI), vol. 2203, pp. 1-10. Springer, Heidelberg (2002)
5. Endriss, U., Lue, W., Maudet, N., Stathis, K.: Competent agents and customising protocols. In: Omicini, A., Petta, P., Pitt, J. (eds.) ESAW 2003. LNCS (LNAI), vol. 3071, pp. 168-181. Springer, Heidelberg (2004)
6. Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico (IJCAI-03), Morgan Kaufmann, San Francisco (2003)
7. Kowalczyk, R., Yan, J., Yang, Y., Nguyen, X.T.: A service workflow management framework based on peer-to-peer and agent technologies. In: Proc. of International Workshop on Grid and Peer-to-Peer based Workflows, Melbourne, Australia (2005)
8. Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67-95 (1986)
9. Lekeas, G.K., Stathis, K.: Agents acquiring Resources through Social Positions: An Activity-based Approach. In: de Bruijn, O., Stathis, K. (eds.) Proceedings of the 1st International Workshop on Socic-Cognitive Grids, Santorini, Greece (June 2003)
10. Lomuscio, A., Raimondi, F.: Model checking knowledge, strategies, and games in multi-agent systems. In: Proceedings of the 5th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS06), ACM Press, New York (2006)
11. McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 4, pp. 463-502. American Elsevier, New York (1969)
12. McIlraith, S., Cao Son, T., Zeng, H.: Semantic web services. IEEE Intelligent Systems 16(2), 46-53 (2001)
13. Pitt, J., Mamdani, A.: A Protocol-based Semantics for an Agent Communication Language. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Stockholm, Sweden (IJCAI-99), pp. 486-491. Morgan Kaufmann, San Francisco (1999)
14. Pitt, J.V.: The open agent society as a platform for the user-friendly information society. AI & Society 19(2), 123-158 (2005)
15. Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409-430. Springer, Heidelberg (1999)
16. Shanahan, M., Witkowski, M.: Event Calculus Planning Through Satisfiability, Journal of Logic and Computation 14, 731-745 (2004)
17. Singh, M.P.: Agent communication languages: Rethinking the principles. In: Communication in Multiagent Systems, pp. 37-50 (2003)
18. Stathis, K.: Game-Based Development of Interactive Systems. PhD thesis, Department of Computing, Imperial College London (November 1996)
19. Stathis, K.: A Game-based Architecture for developing Interactive Components in Computational Logic. Functional and Logic Programming, Special Issue on Logical Formalisms for Program Composition, 2000(1) (March 2000)
20. Stathis, K., Kakas, A., Lu, W., Demetriou, N., Endriss, U., Bracciali, A.: PROSOCS: a platform for programming software agents in computational logic. In: Müller, J., Petta, P. (eds.) Proceedings of the Fourth International Symposium From Agent Theory to Agent Implementatio, Vienna, Austria (April 13-16, 2004)
21. Stathis, K., Sergot, M.J.: Games as a Metaphor for Interactive Systems. In: Sasse, M.A., Cunningham, R.J., Winder, R.L. (eds.) People and Computers XI (Proceedings of HCI'96), London, UK. BCS Conference Series, pp. 19-33. Springer-Verlag, Heidelberg (1996)
22. Toni, F., Stathis, K.: Access-as-you-need: a computational logic framework for flexible resource access in artificial societies. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, Springer, Heidelberg (2003)
23. Traversat, B., Abdelaziz, M., Doolin, D., Duigou, M., Hugly, J.C., Pouyoul, E.: Project JXTA-C:Enabling a Web of Things. In: Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS'03), pp. 282-287. IEEE Press, Los Alamitos (2003)
24. Warren, D.S.: Memoing for logic programs. Commun. ACM 35(3), 93-111 (1992)
25. Web-services. Home Page: http://en.wikipedia.org/wiki/Web.services