Sciweavers

265 search results - page 35 / 53
» Incentive-Compatible Social Choice
Sort
View
AAAI
2010
13 years 9 months ago
Truth, Justice, and Cake Cutting
Cake cutting is a common metaphor for the division of a heterogeneous divisible good. There are numerous papers that study the problem of fairly dividing a cake; a small number of...
Yiling Chen, John Lai, David C. Parkes, Ariel D. P...
AAAI
2008
13 years 8 months ago
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems
Arrow’s Impossibility Theorem is one of the landmark results in social choice theory. Over the years since the theorem was proved in 1950, quite a few alternative proofs have be...
Fangzhen Lin, Pingzhong Tang
CORR
2010
Springer
108views Education» more  CORR 2010»
13 years 7 months ago
Constraint solvers: An empirical evaluation of design decisions
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design deci...
Lars Kotthoff
NN
2006
Springer
100views Neural Networks» more  NN 2006»
13 years 7 months ago
Neural voting machines
In theories of cognition that view the mind as a system of interacting agents, there must be mechanisms for aggregate decision-making, such as voting. Here we show that certain vo...
Whitman Richards, H. Sebastian Seung, Galen Pickar...
SYNTHESE
2008
114views more  SYNTHESE 2008»
13 years 7 months ago
Quantified coalition logic
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...