The calculus of ethical voting.

Timothy Feddersen Alvaro Sandroni

Published in: Int. J. Game Theory (2006)

Keyphrases

voting schemes
voting method
ethical issues
majority voting
information systems
computer algebra
formal language
algebraic structure
provably correct
legal issues
neural network
website
case study
inference rules
privacy issues
database
automated theorem proving
automated deduction
natural deduction
genetic algorithm