{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T12:16:52Z","timestamp":1768479412313,"version":"3.49.0"},"reference-count":25,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006,3,1]]},"DOI":"10.1093\/comjnl\/bxh164","type":"journal-article","created":{"date-parts":[[2006,1,24]],"date-time":"2006-01-24T01:28:45Z","timestamp":1138066125000},"page":"156-170","source":"Crossref","is-referenced-by-count":45,"title":["Voting in Multi-Agent Systems*"],"prefix":"10.1093","volume":"49","author":[{"given":"Jeremy","family":"Pitt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lloyd","family":"Kamara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Sergot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Artikis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2006,1,23]]},"reference":[{"key":"key\n\t\t\t\t20171011222339_B1","unstructured":"Arrow, K. (1970) Social Choice and Individual Values (2nd edn). Yale University Press, New Haven, US."},{"key":"key\n\t\t\t\t20171011222339_B2","unstructured":"Voting Solutions Inc. Votenet, Available at http:\/\/www.votenet.com."},{"key":"key\n\t\t\t\t20171011222339_B3","unstructured":"Conitzer, V. and Sandholm, T. (2003) Universal voting protocol tweaks to make manipulation hard. Proc. Eighteenth Int. Joint Conf. on Artificial Intelligence (IJCAI), Acapulco, Mexico, pp. 781\u2013788, Morgan Kaufmann, Los Altos, CA."},{"key":"key\n\t\t\t\t20171011222339_B4","doi-asserted-by":"crossref","unstructured":"Prakken, H. and Gordon, T. (1999) Rules of order for electronic group decision making: a formalization methodology. In Padget, J. (ed), Collaboration between Human and Artificial Societies: Coordination and Agent-Based Distributed Computing, LNAI, 1924. pp. 246\u2013263, Springer-Verlag, Berlin.","DOI":"10.1007\/10703260_15"},{"key":"key\n\t\t\t\t20171011222339_B5","unstructured":"Prakken, H. (1998) Formalizing Robert's Rules of Order: An Experiment in Automating Mediation of Group Decision Making, Bonn, Germany. GMD report 12. Available at www.bi.fraunhofer.de\/publications\/report\/0012\/."},{"key":"key\n\t\t\t\t20171011222339_B6","unstructured":"Robert, S. C., Robert, H. M., III, Evans, W. J., Honemann, D. H. and Balch, T. J. (2000) Robert's Rules of Order, Newly Revised 10th edition. Perseus Publishing, Cambridge, MA."},{"key":"key\n\t\t\t\t20171011222339_B7","unstructured":"ACM. (2004), ACM Statement on E-voting. Available at http:\/\/www.acm.org\/usacm\/weblog\/index.php?p=73."},{"key":"key\n\t\t\t\t20171011222339_B8","doi-asserted-by":"crossref","unstructured":"Artikis, A., Pitt, J. and Sergot, M. (2002) Animated specifications of computational societies. In Castelfranchi, C. and Johnson, L. (eds), Proc. AAMAS'02. pp. 1053\u20131062, ACM Press.","DOI":"10.1145\/545056.545070"},{"key":"key\n\t\t\t\t20171011222339_B9","doi-asserted-by":"crossref","unstructured":"Artikis, A., Sergot, M. and Pitt, J. (2003) Specifying electronic societies with the causal calculator. In Giunchiglia, F., Odell, J. and Weiss, G. (eds), Proc. AOSE'03, LNCS, 2585, pp. 1\u201315, Springer-Verlag, Berlin.","DOI":"10.1007\/3-540-36540-0_1"},{"key":"key\n\t\t\t\t20171011222339_B10","doi-asserted-by":"crossref","unstructured":"Artikis, A., Kamara, L., Pitt, J. and Sergot, M. (2005) A protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. In Leite, L., Omicini, A., Torroni, P. and Yolum, P. (eds), Declarative Agent Languages and Technologies II, LNCS, 3476, pp. 221\u2013238, Springer\u2013verlag, Berlin.","DOI":"10.1007\/11493402_13"},{"key":"key\n\t\t\t\t20171011222339_B11","doi-asserted-by":"crossref","unstructured":"Firozabadi, B. S. and Sergot, M. (2004) Contractual access control. In Christianson, B., Crispo, B., Malcolm, J. and Roe, M. (eds), Proc. 10th Int. Workshop on Security Protocols, LNCS, 2845, pp. 96\u2013102. Springer-Verlag, Berlin.","DOI":"10.1007\/978-3-540-39871-4_9"},{"key":"key\n\t\t\t\t20171011222339_B12","doi-asserted-by":"crossref","unstructured":"Kowalski, R. and Sergot, M. (1986) A logic-based calculus of events. New Gener. Comput., 4(1), 67\u201396.","DOI":"10.1007\/BF03037383"},{"key":"key\n\t\t\t\t20171011222339_B13","unstructured":"Jones, A. and Sergot, M. (1996) A formal characterization of institutionalized power. J. Interest Group Pure Applied Logics, 4(3), 429\u2013455."},{"key":"key\n\t\t\t\t20171011222339_B14","unstructured":"Searle, J. (1996) What is a speech act? In Martinich, A. (ed), Philosophy of Language (3rd edn). pp. 130\u2013140, Oxford University Press, Oxford, UK."},{"key":"key\n\t\t\t\t20171011222339_B15","doi-asserted-by":"crossref","unstructured":"Searle, J. (1969) Speech Acts: An Essay in the Philosophy of Language, Cambridge University Press, Cambridge, UK.","DOI":"10.1017\/CBO9781139173438"},{"key":"key\n\t\t\t\t20171011222339_B16","doi-asserted-by":"crossref","unstructured":"Artikis, A., Sergot, M. and Pitt, J. (2003) An executable specification of an argumentation protocol. In Proc. Int. Conf. on Artificial Intelligence and Law (ICAIL), pp. 1\u201311. ACM Press.","DOI":"10.1145\/1047788.1047790"},{"key":"key\n\t\t\t\t20171011222339_B17","unstructured":"FIPA. (1997), FIPA'97 Specification Part 2: Agent Communication Language. Foundation for Intelligent Physical Agents. Available at http:\/\/www.fipa.org."},{"key":"key\n\t\t\t\t20171011222339_B18","unstructured":"Jones, A. and Sergot, M. (1993) On the characterization of law and computer systems: the normative systems perspective. In Meyer, J.-J. and Wieringa, R. (eds), Deontic Logic in Computer Science. John Wiley and Sons Ltd, Chichester, UK."},{"key":"key\n\t\t\t\t20171011222339_B19","unstructured":"Cevenini, C. (2003) Legal considerations on the use of software agents in virtual enterprises. In Bing, J. and Sartor, G. (eds), The Law of Electronic Agents. Volume Complex 4\/03, pp. 133\u2013146, Unipubskriftserier Oslo."},{"key":"key\n\t\t\t\t20171011222339_B20","doi-asserted-by":"crossref","unstructured":"Venkatraman, M. and Singh, M. (1999) Verifying compliance with commitment protocols: enabling open web-based multi-agent systems. Auton. Agent.Multi-Ag. Syst., 2(3), 217\u2013236.","DOI":"10.1023\/A:1010056221226"},{"key":"key\n\t\t\t\t20171011222339_B21","unstructured":"Cohen, P. and Levesque, H. (1995) Communicative actions for artificial agents. In Lesser, V. (ed), Proc. ICMAS95, AAAI Press."},{"key":"key\n\t\t\t\t20171011222339_B22","doi-asserted-by":"crossref","unstructured":"Greaves, M., Holmback, H. and Bradshaw, J. (2001) What is a conversation policy. In Dignum, F. and Greaves, M. (eds), Issues in Agent Communication, LNAI, 1916. pp. 118\u2013131, Springer-Verlag, Berlin.","DOI":"10.1007\/10722777_8"},{"key":"key\n\t\t\t\t20171011222339_B23","doi-asserted-by":"crossref","unstructured":"Giunchiglia, E., Lee, J., McCain, N., Lifschitz, V. and Turner, H. (2003) Nonmonotonic causal theories. Artif. Intell., 153(1\u20132), 49\u2013104.","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"key\n\t\t\t\t20171011222339_B24","doi-asserted-by":"crossref","unstructured":"Pitt, J., Kamara, L., Sergot, M. and Artikis, A. (2005) Formalization of a voting protocol for virtual organizations. In Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M. and Wooldridge, M. (eds.), Proc. 4th AAMAS'05. pp. 373\u2013380, ACM.","DOI":"10.1145\/1082473.1082530"},{"key":"key\n\t\t\t\t20171011222339_B25","doi-asserted-by":"crossref","unstructured":"Pitt, J., Kamara, L., Sergot, M. and Artikis, A. (2005) Voting in online deliberative assemblies. In Gardner, A. and Sartor, G. (eds), Proc. 10th ICAIL. pp. 195\u2013204, ACM.","DOI":"10.1145\/1165485.1165516"}],"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/comjnl\/article-pdf\/49\/2\/156\/1199814\/bxh164.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T07:21:29Z","timestamp":1586676089000},"score":1,"resource":{"primary":{"URL":"http:\/\/academic.oup.com\/comjnl\/article\/49\/2\/156\/436679\/Voting-in-MultiAgent-Systems"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,23]]},"references-count":25,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2006,1,23]]},"published-print":{"date-parts":[[2006,3,1]]}},"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxh164","relation":{},"ISSN":["1460-2067","0010-4620"],"issn-type":[{"value":"1460-2067","type":"electronic"},{"value":"0010-4620","type":"print"}],"subject":[],"published-other":{"date-parts":[[2006,3]]},"published":{"date-parts":[[2006,1,23]]}}}