{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:19:47Z","timestamp":1725563987426},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642151163"},{"type":"electronic","value":"9783642151170"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15117-0_5","type":"book-chapter","created":{"date-parts":[[2010,8,31]],"date-time":"2010-08-31T09:20:13Z","timestamp":1283246413000},"page":"58-73","source":"Crossref","is-referenced-by-count":0,"title":["Automated Analysis of Auction Traces"],"prefix":"10.1007","author":[{"given":"Mark","family":"Hoogendoorn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Gini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: A logic-based software tool. Applied Artificial Intelligence\u00a020, 133\u2013157 (2006)","journal-title":"Applied Artificial Intelligence"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/545056.545070","volume-title":"Proc. First Int\u2019l Conf. on Autonomous Agents and Multi-Agent Systems","author":"A. Artikis","year":"2002","unstructured":"Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Proc. First Int\u2019l Conf. on Autonomous Agents and Multi-Agent Systems, pp. 1053\u20131062. ACM, New York (2002)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1145\/860575.860641","volume-title":"Proc. Second Int\u2019l Conf. on Autonomous Agents and Multi-Agent Systems","author":"R.H. Bordini","year":"2003","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking Agentspeak. In: Proc. Second Int\u2019l Conf. on Autonomous Agents and Multi-Agent Systems, pp. 409\u2013416. ACM, New York (2003)"},{"key":"5_CR4","first-page":"672","volume-title":"Proc. Third Int\u2019l Conf. on Autonomous Agents and Multi-Agent Systems","author":"T. Bosse","year":"2004","unstructured":"Bosse, T., Jonker, C.M., Treur, J.: Experiments in human multi-issue negotiation: Analysis and support. In: Proc. Third Int\u2019l Conf. on Autonomous Agents and Multi-Agent Systems, pp. 672\u2013679. IEEE Computer Society, Los Alamitos (2004)"},{"key":"5_CR5","first-page":"247","volume-title":"Proc. Sixth Int\u2019l Conf. on Intelligent Agent Technology (IAT 2002)","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Jonker, C.M., van der Meij, L., Sharpanskykh, A., Treur, J.: Specification and verification of dynamics in cognitive agent models. In: Proc. Sixth Int\u2019l Conf. on Intelligent Agent Technology (IAT 2002), pp. 247\u2013254. IEEE Computer Society, Los Alamitos (2006)"},{"issue":"1","key":"5_CR6","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.jss.2007.03.029","volume":"81","author":"Y.F. Chunga","year":"2008","unstructured":"Chunga, Y.F., Huanga, K.H., Leeb, H.H., Laia, F., Chen, T.S.: Bidder-anonymous english auction scheme with privacy and public verifiability. Journal of Systems and Software\u00a081(1), 113\u2013119 (2008)","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"5_CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1080\/10864415.2002.11044260","volume":"7","author":"J. Collins","year":"2002","unstructured":"Collins, J., Ketter, W., Gini, M.: A multi-agent negotiation testbed for contracting tasks with temporal and precedence constraints. Int\u2019l Journal of Electronic Commerce\u00a07(1), 35\u201357 (2002)","journal-title":"Int\u2019l Journal of Electronic Commerce"},{"key":"5_CR8","volume-title":"Combinatorial Auctions","author":"P. Cramton","year":"2006","unstructured":"Cramton, P., Shoham, Y., Steinberg, R.: Combinatorial Auctions. MIT Press, Cambridge (2006)"},{"key":"5_CR9","unstructured":"Fisher, M., Wooldridge, M.: Specifying and executing protocols for cooperative action. In: Proc. Int\u2019l Working Conf. on Cooperating Knowledge-Based Systems (1994)"},{"key":"5_CR10","first-page":"397","volume-title":"Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems","author":"F. Guerin","year":"2002","unstructured":"Guerin, F., Pitt, J.: Guaranteeing properties for e-commerce systems. In: Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems, pp. 397\u2013413. Springer, Heidelberg (2002)"},{"key":"5_CR11","unstructured":"Hortacsu, A.: Trust and reputation on ebay: Micro and macro perspectives. Technical report, Department of Economics, University of Chicago (2005)"},{"issue":"4","key":"5_CR12","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/j.elerap.2004.06.005","volume":"3","author":"A. Jaiswal","year":"2004","unstructured":"Jaiswal, A., Kim, Y., Gini, M.: Design and implementation of a secure multi-agent marketplace. Electronic Commerce Research and Applications\u00a03(4), 355\u2013368 (2004)","journal-title":"Electronic Commerce Research and Applications"},{"key":"5_CR13","unstructured":"Podorozhny, R., Khurshid, S., Perry, D., Zhang, S.: Verification of cooperative multi-agent negotiation with Alloy. Technical Report TXSTATE-CS-TR-2006-4, Texas State University, San Marcos, TX (September 2006)"},{"key":"5_CR14","unstructured":"Sandholm, T.: An implementation of the contract net protocol based on marginal cost calculations. In: Proc. of the Eleventh Nat\u2019l Conf. on Artificial Intelligence, Washington, DC, pp. 256\u2013262 (1993)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(01)00159-X","volume":"135","author":"T. Sandholm","year":"2002","unstructured":"Sandholm, T.: Algorithm for optimal winner determination in combinatorial auctions. Artificial Intelligence\u00a0135, 1\u201354 (2002)","journal-title":"Artificial Intelligence"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"8","DOI":"10.2307\/2977633","volume":"16","author":"W. Vickrey","year":"1961","unstructured":"Vickrey, W.: Counterspeculation, auctions, and competitive sealed tenders. Journal of Finance\u00a016, 8\u201337 (1961)","journal-title":"Journal of Finance"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1006\/game.2000.0822","volume":"35","author":"M.P. Wellman","year":"2001","unstructured":"Wellman, M.P., Walsh, W.E., Wurman, P.R., MacKie-Mason, J.K.: Auction protocols for decentralized scheduling. Games and Economic Behavior\u00a035, 271\u2013303 (2001)","journal-title":"Games and Economic Behavior"}],"container-title":["Lecture Notes in Business Information Processing","Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15117-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T14:53:28Z","timestamp":1548428008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15117-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642151163","9783642151170"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15117-0_5","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2010]]}}}