Sciweavers

248 search results - page 38 / 50
» Bayesian Coalitional Games
Sort
View
SAGT
2010
Springer
191views Game Theory» more  SAGT 2010»
14 years 8 months ago
Complexity of Safe Strategic Voting
We investigate the computational aspects of safe manipulation, a new model of coalitional manipulation that was recently put forward by Slinko and White [11]. In this model, a pot...
Noam Hazon, Edith Elkind
SCP
2010
172views more  SCP 2010»
14 years 8 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
CLIMA
2011
13 years 9 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
CSE
2009
IEEE
15 years 1 months ago
Satisficing the Masses: Applying Game Theory to Large-Scale, Democratic Decision Problems
ACT We present ongoing research on large-scale decision models in which there are many invested individuals. We apply our unique Bayesian belief aggregation approach to decision pr...
Kshanti A. Greene, Joe Michael Kniss, George F. Lu...
UAI
2007
14 years 11 months ago
Indirectly Visible Bayesian Student Models
Inspectable Bayesian student models have been used to support student reflection, knowledge awareness and communication among teacher, students and parents. This paper presents a...
Juan-Diego Zapata-Rivera