{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T00:35:32Z","timestamp":1648686932001},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,11,10]],"date-time":"2006-11-10T00:00:00Z","timestamp":1163116800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2007,8,16]]},"DOI":"10.1007\/s10458-006-9005-2","type":"journal-article","created":{"date-parts":[[2006,11,9]],"date-time":"2006-11-09T14:59:26Z","timestamp":1163084366000},"page":"109-146","source":"Crossref","is-referenced-by-count":3,"title":["Applying game theory mechanisms in open agent systems with complete information"],"prefix":"10.1007","volume":"15","author":[{"given":"Frank","family":"Guerin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,11,10]]},"reference":[{"issue":"1","key":"9005_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0531(87)90099-8","volume":"42","author":"D. Bernheim","year":"1987","unstructured":"Bernheim D., Peleg B., Whinston M.(1987). Coalition-proof Nash equilibria I: Concepts. Journal of Economic Theory 42(1):1\u201312","journal-title":"Journal of Economic Theory"},{"key":"9005_CR2","volume-title":"Fun and games: A text on game theory","author":"K. Binmore","year":"1992","unstructured":"Binmore K.(1992). Fun and games: A text on game theory. D.C. Heath and Company, Lexington, Massachusetts"},{"key":"9005_CR3","doi-asserted-by":"crossref","unstructured":"Conitzer, V., Sandholm, T.(2004). Self-interested automated mechanism design and implications for optimal combinatorial auctions. In: Proceedings of the ACM Conference on Electronic Commerce (ACM-EC) (pp. 132\u2013141). ACM Press.","DOI":"10.1145\/988772.988793"},{"key":"9005_CR4","doi-asserted-by":"crossref","unstructured":"Dash, R.K., Jennings, N.R.,& Parkes, D.C.(2003). Computational-mechanism design: A call to arms. IEEE Intelligent Systems, (pp. 40\u201347). November 2003. Special Issue on Agents and Markets.","DOI":"10.1109\/MIS.2003.1249168"},{"key":"9005_CR5","doi-asserted-by":"crossref","unstructured":"Daskalakis, C., Goldberg, P.W., & Papadimitriou, C.H.(2006). The complexity of computing a nash equilibrium. In STOC \u201906: Proceedings of the thirty-eighth annual ACM symposium on Theory of computing (pp. 71\u201378) New York, NY, USA: ACM Press.","DOI":"10.1145\/1132516.1132527"},{"key":"9005_CR6","doi-asserted-by":"crossref","unstructured":"Esteva, M., Rodriguez, J., Sierra, C., & Garcia, P.(2001). On the formal specification of electronic institutions. In: LNAI 1991, (pp. 126\u2013147). Springer.","DOI":"10.1007\/3-540-44682-6_8"},{"key":"9005_CR7","unstructured":"Fudenberg, D., & Tirole, J.(1991). Game theory. MIT Press."},{"key":"9005_CR8","doi-asserted-by":"crossref","unstructured":"Garcia-Camino, A., Rodriguez-Aguilar, J., Sierra, C., & Vasconcelos, W.(2006). A rule-based approach to norm-oriented programming of electronic institutions. SIGecomm Exchanges (Newsletter of the ACM Special Interest Group on E-Commerce), 5.5.","DOI":"10.1145\/1124566.1124571"},{"key":"9005_CR9","unstructured":"Genesereth, M., & Love, N.(2005). General game playing: Game description language specification, 2005. URL http:\/\/games.stanford.edu\/ gdl_spec.pdf."},{"key":"9005_CR10","unstructured":"Gibbons, R.(1992). A Primer in game theory. Prentice Hall."},{"key":"9005_CR11","doi-asserted-by":"crossref","unstructured":"Giordano, L., Martelli, A., & Schwind, C.(2003). Specifying and verifying systems of communicating agents in a temporal action logic. In AI*IA 2003: Advances in Artificial Intelligence; LNCS (vol. 2829, pp. 262\u2013274). Springer-Verlag.","DOI":"10.1007\/978-3-540-39853-0_22"},{"key":"9005_CR12","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1613\/jair.1683","volume":"24","author":"G. Gottlob","year":"2005","unstructured":"Gottlob G., Greco G., Scarcello F.(2005). Pure nash equilibria: Hard and easy games. Journal of Artificial Intelligence Research 24:357\u2013406","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9005_CR13","unstructured":"Guerin, F., & Pitt, J.V.(2003). Guaranteeing properties for e-commerce systems. In J. Padget, D. Parkes, O. Shehory, N. Sadeh, (Eds), LNAI volume 2531: Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems (pp. 253\u2013272). Heidelberg: Springer-Verlag."},{"key":"9005_CR14","doi-asserted-by":"crossref","unstructured":"Guerin, F., & Pitt, J.V.(2003). Verification and compliance testing. In M.-P. Huget (Ed), LNAI volume 2650: Communication in Multiagent Systems: Agent Communication Languages and Conversation Policies (pp. 253\u2013272.) Springer-Verlag.","DOI":"10.1007\/978-3-540-44972-0_4"},{"key":"9005_CR15","unstructured":"Harrenstein, P., Meyer, J.-J., van der Hoek, W., & Witteveen, C.(2000). A modal interpretation of Nash-equilibria and some related concepts. In B. Giacomo, E. Colombatto, W. van der Hoek, (Eds). Proceedings of the fourth conference on logic and the foundations of game and decision theory (LOFT4), June 30 \u2013 July 2 (pp. 1\u201321)."},{"issue":"1","key":"9005_CR16","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/S0004-3702(97)00023-4","volume":"94","author":"D. Koller","year":"1997","unstructured":"Koller D., Pfeffer A.(1997). Representations and solutions for game-theoretic problems. Artificial Intelligence 94(1):167\u2013215","journal-title":"Artificial Intelligence"},{"key":"9005_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Manna Z., Pnueli A.(1992). The temporal logic of reactive and concurrent systems: Specification. Springer-Verlag, New York"},{"key":"9005_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal verification of reactive systems (Safety)","author":"Z. Manna","year":"1995","unstructured":"Manna Z., Pnueli A.(1995). Temporal verification of reactive systems (Safety) (vol. 2). Springer-Verlag, New York"},{"key":"9005_CR19","unstructured":"McKelvey, R.D., McLennan, A.M., & Turocy, T.L.(2006). Gambit: Software tools for game theory (version 0.2006.01.20, 2006) URL http:\/\/econweb.tamu.edu\/gambit."},{"key":"9005_CR20","unstructured":"Nudelman, E., Wortman, J., Shoham, Y., & Leyton-Brown, K.(2004). Run the gamut: A comprehensive approach to evaluating game-theoretic algorithms. In Proceedings of the third international conference on autonomous agents and multi-agent systems (AAMAS-04). New York, NY (pp. 880\u2013887)."},{"key":"9005_CR21","doi-asserted-by":"crossref","unstructured":"Papadimitriou, C.(2001). Algorithms, games and the internet. In Proceedings of the annual symposium on theory of computing (STOC) (pp. 749\u2013753).","DOI":"10.1145\/380752.380883"},{"issue":"3","key":"9005_CR22","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1093\/logcom\/exi014","volume":"15","author":"M. Pauly","year":"2005","unstructured":"Pauly M.(2005). Programming and verifying subgame perfect mechanisms. Journal of Logic and Computation 15(3):295\u2013316","journal-title":"Journal of Logic and Computation"},{"key":"9005_CR23","unstructured":"Pauly, M., & Wooldridge, M.(2003). Logic for mechanism design - a manifesto. InProceedings of the 2003 workshop on game theory and decision theory in agent-based systems (GTDT-2003). Melbourne, Australia."},{"key":"9005_CR24","doi-asserted-by":"crossref","unstructured":"van Eijk, R.M., de Boer, F.S., vand er Hoek, W. & Meyer, J.-J.: A verification framework for agent communication. Journal of Autonomous Agents and Multi-Agent Systems, 6(2), 185\u2013219","DOI":"10.1023\/A:1021836202093"},{"issue":"3","key":"9005_CR25","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1010056221226","volume":"2","author":"M. Venkatraman","year":"1999","unstructured":"Venkatraman M., Singh M.P.(1999). Verifying compliance with commitment protocols: Enabling open web-based multiagent systems. Autonomous Agents and Multi-Agent Systems 2(3):217\u2013236","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9005_CR26","unstructured":"Wikipedia. Strategy (game theory), 2006."},{"issue":"1-3","key":"9005_CR27","first-page":"227","volume":"42","author":"P. Yolum","year":"2004","unstructured":"Yolum P., Singh M.(2004). Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and AI 42(1-3):227\u2013253","journal-title":"Annals of Mathematics and AI"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-006-9005-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-006-9005-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-006-9005-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:28:22Z","timestamp":1559150902000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-006-9005-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,10]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,8,16]]}},"alternative-id":["9005"],"URL":"https:\/\/doi.org\/10.1007\/s10458-006-9005-2","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,11,10]]}}}