A logic-based calculus of events
New Generation Computing
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Rules of Order for Electronic Group Decision Making - A Formalization Methodology
Collaboration between Human and Artificial Societies, Coordination and Agent-Based Distributed Computing
Formalizing Robert''s Rules of Order An Experiment in Automating Mediation of Group Decision Making
Formalizing Robert''s Rules of Order An Experiment in Automating Mediation of Group Decision Making
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Formalization of a voting protocol for virtual organizations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Universal voting protocol tweaks to make manipulation hard
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Specifying electronic societies with the causal calculator
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
A protocol for resource sharing in norm-governed ad hoc networks
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Formalization of a voting protocol for virtual organizations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
PreSage-MS: Metric Spaces in PreSage
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Dynamic specifications in norm-governed open computational societies
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
QoS management in MANETs using norm-governed agent societies
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Hi-index | 0.00 |
Voting is an essential element of mechanism design for multi-agent systems, and decision support for CSCW tools implementing online deliberative assemblies. Much attention has been given both to designing the process so that it is resistant to manipulation by strategic voting, and so that an automated system can follow rules of order as developed for the conduct of formal meetings. In this paper, we formalise a general voting protocol trying to take into account a right to cast a vote, and an entitlement that the vote cast is counted in the correct way. We discuss the design and development of a system for online deliberative assemblies, that incorporates this protocol as part of a suite of protocols which collectively implement rules of order. We conclude with some comments on the voting protocol as it relates to the 2004 ACM Statement on E-Voting.