Sciweavers

2864 search results - page 321 / 573
» Coordination of Many Agents
Sort
View
ATAL
2010
Springer
15 years 7 months ago
Strategic planning for probabilistic games with incomplete information
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
Henning Schnoor
CORR
2006
Springer
120views Education» more  CORR 2006»
15 years 6 months ago
Reasoning About Knowledge of Unawareness
Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot expre...
Joseph Y. Halpern, Leandro Chaves Rêgo
JAIR
2007
65views more  JAIR 2007»
15 years 6 months ago
The Strategy-Proofness Landscape of Merging
Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over t...
Patricia Everaere, Sébastien Konieczny, Pie...
NN
2007
Springer
105views Neural Networks» more  NN 2007»
15 years 6 months ago
Guiding exploration by pre-existing knowledge without modifying reward
Reinforcement learning is based on exploration of the environment and receiving reward that indicates which actions taken by the agent are good and which ones are bad. In many app...
Kary Främling
AAAI
2012
13 years 9 months ago
Evaluating Resistance to False-Name Manipulations in Elections
In many mechanisms (especially online mechanisms), a strategic agent can influence the outcome by creating multiple false identities. We consider voting settings where the mechan...
Bo Waggoner, Lirong Xia, Vincent Conitzer