{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:31:59Z","timestamp":1725489119506},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003274"},{"type":"electronic","value":"9783540363781"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36378-5_16","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T07:17:04Z","timestamp":1187248624000},"page":"253-272","source":"Crossref","is-referenced-by-count":5,"title":["Guaranteeing Properties for E-commerce Systems"],"prefix":"10.1007","author":[{"given":"Frank","family":"Guerin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Pitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"16_CR1","volume-title":"The evolution of cooperation","author":"R. Axelrod","year":"1984","unstructured":"Axelrod, R. (1984). The evolution of cooperation. Basic Books, NewYork."},{"doi-asserted-by":"crossref","unstructured":"B\u00e9jar, J. and Cort\u00e9s, U. (2001). Agent strategies on dpb auction tournaments. In Dignum, F., Cort\u00e9s, U., Agent-Mediated Electronic Commerce III. Springer-Verlag.","key":"16_CR2","DOI":"10.1007\/3-540-44723-7_11"},{"key":"16_CR3","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."},{"doi-asserted-by":"crossref","unstructured":"Dignum, F. and Cort\u00e9s, U. (2001). Agent-Mediated Electronic Commerce III. Springer-Verlag.","key":"16_CR4","DOI":"10.1007\/3-540-44723-7"},{"unstructured":"Easwaran, A. M. and Pitt, J. (2000). An agent service brokering algorithm for winner determination in combinatorial auctions. In European Conference on Artificial Intelligence. (ECAI), Berlin, Germany.","key":"16_CR5"},{"unstructured":"Eijk, R. M. v. (2000). Programming Languages for Agent Communication. PhD thesis, Department of Information and Computing Sciences, Utrecht University.","key":"16_CR6"},{"doi-asserted-by":"crossref","unstructured":"Esteva, M., Rodriguez, J., Sierra, C., and Garcia, P. (2001). On the formal specification of electronic institutions. In LNAI 1991, pages 126\u2013147. Springer.","key":"16_CR7","DOI":"10.1007\/3-540-44682-6_8"},{"doi-asserted-by":"crossref","unstructured":"Guerin, F. and Pitt, J. (2001). Denotational semantics for agent communication languages. In Autonomous Agents 2001, Montreal, pages 497\u2013504. ACM Press.","key":"16_CR8","DOI":"10.1145\/375735.376427"},{"issue":"2","key":"16_CR9","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0004-3702(01)00132-1","volume":"132","author":"K. Larson","year":"2001","unstructured":"Larson, K. and Sandholm, T. (2001). Bargaining in computationally complex problems: Deliberation equilibrium. Artificial Intelligence, 132(2):183\u2013217.","journal-title":"Artificial Intelligence"},{"unstructured":"Manna, Z. and Pnueli, A. (1995). Temporal Verification of Reactive Systems (Safety), vol.2. Springer-Verlag, NewYork, Inc.","key":"16_CR10"},{"issue":"1","key":"16_CR11","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1287\/moor.6.1.58","volume":"6","author":"R. B. Myerson","year":"1981","unstructured":"Myerson, R. B. (1981). Optimal auction design. Mathematics of Operations Research, 6(1):58\u201373.","journal-title":"Mathematics of Operations Research"},{"doi-asserted-by":"crossref","unstructured":"Parkes, D. C. (2000). Optimal auction design for agents with hard valuation problems. In Agent Mediated Electronic Commerce II: Towards Next-Generation Agent-Based Electronic Commerce Systems (LNAI1788), Eds: Moukas et al., Springer.","key":"16_CR12","DOI":"10.1007\/10720026_11"},{"unstructured":"Pradella, M. and Colombetti, M. (2001). A formal description of a practical agent for ecommerce. In Dignum, F., Cort\u00e9s, U., Agent-Mediated Electronic Commerce III. Springer-Verlag.","key":"16_CR13"},{"key":"16_CR14","volume-title":"Rules of Encounter","author":"J. Rosenschein","year":"1994","unstructured":"Rosenschein, J. and Zlotkin, G. (1994). Rules of Encounter. MIT Press, Cambridge, MA."},{"unstructured":"Sandholm, T. (1996). Negotiation among Self-Interested Computationally Limited Agents. PhD thesis, University of Massachusetts at Amherst, Department of Computer Science.","key":"16_CR15"},{"issue":"6","key":"16_CR16","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/4236.643936","volume":"1","author":"T. Sandholm","year":"1997","unstructured":"Sandholm, T. (1997). Unenforced ecommerce transactions. IEEE Internet Computing. Special issue on Electronic Commerce. Nov\u2013Dec, 1(6):47\u201354.","journal-title":"IEEE Internet Computing. Special issue on Electronic Commerce"},{"unstructured":"Sandholm, T., Suri, S., Gilpin, A., and Levine, D. (2001). Cabob:Afast optimal algorithm for combinatorial auctions. In International Joint Conference on Artificial Intelligence, pages 1101\u20131108. (IJCAI), Seattle,WA.","key":"16_CR17"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"M. Singh","year":"1999","unstructured":"Singh, M. (1999). An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law, 7:97\u2013113.","journal-title":"Artificial Intelligence and Law"},{"unstructured":"Singh, M. (2000).Asocial semantics for agent communication languages. In IJCAIWorkshop on Agent Communication Languages, Springer-Verlag, Berlin.","key":"16_CR19"},{"issue":"1","key":"16_CR20","doi-asserted-by":"publisher","first-page":"8","DOI":"10.2307\/2977633","volume":"16","author":"W. Vickrey","year":"1961","unstructured":"Vickrey, W. (1961). Counterspeculation, auctions, and competitive sealed tenders. Journal of Finance, 16(1):8\u201337.","journal-title":"Journal of Finance"},{"issue":"1","key":"16_CR21","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1010090027213","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M. (2000). Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems, 3(1):9\u201331.","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36378-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:06:57Z","timestamp":1556770017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36378-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003274","9783540363781"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-36378-5_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}