{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:18:13Z","timestamp":1725491893821},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755227"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75524-1_22","type":"book-chapter","created":{"date-parts":[[2007,9,12]],"date-time":"2007-09-12T04:07:09Z","timestamp":1189570029000},"page":"384-400","source":"Crossref","is-referenced-by-count":2,"title":["Competence Checking for the Global E-Service Society Using Games"],"prefix":"10.1007","author":[{"given":"Kostas","family":"Stathis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Lekeas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Kloukinas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/545056.545070","volume-title":"AAMAS-2002","author":"A. Artikis","year":"2002","unstructured":"Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, C., Lewis Johnson, W. (eds.) AAMAS 2002. Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, Part III, pp. 1053\u20131061. ACM Press, New York (2002)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Burners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American\u00a0284(5) (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"22_CR3","unstructured":"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\u2013263 (September 2006)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Davidsson, P.: Categories of artificial societies. In: Petta, P., Omicini, A., Tolksdorf, R. (eds.) Engineering Societies in the Agents World II, pp. 1\u20139, Prague, Czech Republic (2001)","DOI":"10.1007\/3-540-45584-1_1"},{"key":"22_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-25946-6_11","volume-title":"Engineering Societies in the Agents World IV","author":"U. Endriss","year":"2004","unstructured":"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.\u00a03071, pp. 168\u2013181. Springer, Heidelberg (2004)"},{"key":"22_CR6","volume-title":"IJCAI 2003","author":"U. Endriss","year":"2003","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Gottlob, G., Walsh, T. (eds.) IJCAI 2003. Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, Morgan Kaufmann, San Francisco (2003)"},{"key":"22_CR7","unstructured":"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)"},{"issue":"1","key":"22_CR8","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.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"22_CR9","unstructured":"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 Socio-Cognitive Grids, Santorini, Greece (June 2003)"},{"key":"22_CR10","volume-title":"AAMAS 2006","author":"A. Lomuscio","year":"2006","unstructured":"Lomuscio, A., Raimondi, F.: Model checking knowledge, strategies, and games in multi-agent systems. In: AAMAS 2006. Proceedings of the 5th International Conference on Autonomous Agents and Multi-Agent systems, ACM Press, New York (2006)"},{"key":"22_CR11","first-page":"463","volume-title":"Machine Intelligence 4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 4, pp. 463\u2013502. American Elsevier, New York (1969)"},{"issue":"2","key":"22_CR12","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S. McIlraith","year":"2001","unstructured":"McIlraith, S., Cao Son, T., Zeng, H.: Semantic web services. IEEE Intelligent Systems\u00a016(2), 46\u201353 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"22_CR13","first-page":"486","volume-title":"IJCAI 1999","author":"J. Pitt","year":"1999","unstructured":"Pitt, J., Mamdani, A.: A Protocol-based Semantics for an Agent Communication Language. In: IJCAI 1999. Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Stockholm, Sweden, pp. 486\u2013491. Morgan Kaufmann, San Francisco (1999)"},{"issue":"2","key":"22_CR14","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s00146-004-0306-1","volume":"19","author":"J.V. Pitt","year":"2005","unstructured":"Pitt, J.V.: The open agent society as a platform for the user-friendly information society. AI & Society\u00a019(2), 123\u2013158 (2005)","journal-title":"AI & Society"},{"key":"22_CR15","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)"},{"key":"22_CR16","doi-asserted-by":"publisher","first-page":"731","DOI":"10.1093\/logcom\/14.5.731","volume":"14","author":"M. Shanahan","year":"2004","unstructured":"Shanahan, M., Witkowski, M.: Event Calculus Planning Through Satisfiability. Journal of Logic and Computation\u00a014, 731\u2013745 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Singh, M.P.: Agent communication languages: Rethinking the principles. In: Communication in Multiagent Systems, pp. 37\u201350 (2003)","DOI":"10.1007\/978-3-540-44972-0_2"},{"key":"22_CR18","unstructured":"Stathis, K.: Game\u2013Based Development of Interactive Systems. PhD thesis, Department of Computing, Imperial College London (November 1996)"},{"key":"22_CR19","unstructured":"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)"},{"key":"22_CR20","unstructured":"Stathis, K., Kakas, A., Lu, W., Demetriou, N., Endriss, U., Bracciali, A.: PROSOCS: a platform for programming software agents in computational logic. In: M\u00fcller, J., Petta, P. (eds.) Proceedings of the Fourth International Symposium From Agent Theory to Agent Implementatio, Vienna, Austria (April 13-16, 2004)"},{"key":"22_CR21","series-title":"BCS Conference Series","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-1-4471-3588-3_2","volume-title":"People and Computers XI","author":"K. Stathis","year":"1996","unstructured":"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 1996, London, UK. BCS Conference Series, pp. 19\u201333. Springer, Heidelberg (1996)"},{"key":"22_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-39173-8_10","volume-title":"Engineering Societies in the Agents World III","author":"F. Toni","year":"2003","unstructured":"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.\u00a02577, Springer, Heidelberg (2003)"},{"key":"22_CR23","first-page":"282","volume-title":"HICSS 2003","author":"B. Traversat","year":"2003","unstructured":"Traversat, B., Abdelaziz, M., Doolin, D., Duigou, M., Hugly, J.C., Pouyoul, E.: Project JXTA-C:Enabling a Web of Things. In: HICSS 2003. Proceedings of the 36th Hawaii International Conference on System Sciences, pp. 282\u2013287. IEEE Press, Los Alamitos (2003)"},{"issue":"3","key":"22_CR24","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"D.S. Warren","year":"1992","unstructured":"Warren, D.S.: Memoing for logic programs. Commun. ACM\u00a035(3), 93\u2013111 (1992)","journal-title":"Commun. ACM"},{"key":"22_CR25","unstructured":"Web-services. Home Page: http:\/\/en.wikipedia.org\/wiki\/Web_services"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World VII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75524-1_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:23:08Z","timestamp":1619518988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75524-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755227"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75524-1_22","relation":{},"subject":[]}}