1306 search results - page 209 / 262 » Strategy Acquisition for the Game |
88
Voted
SAGT
2009
Springer
15 years 7 months ago
2009
Springer
We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outc...
95
Voted
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
106
click to vote
CIG
2006
IEEE
15 years 7 months ago
2006
IEEE
— Intelligent agents in games and simulators often operate in environments subject to symmetric transformations that produce new but equally legitimate environments, such as re...
82
Voted
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Unlike machines, we humans are prone to boredom when we perform routine activities for long periods of time. Workers’ mental engagement in boring tasks diminishes, which eventua...
101
Voted
ROBOCUP
1998
Springer
15 years 5 months ago
1998
Springer
Sony has provided a remarkable platform for research and development in robotic agents, namely fully autonomous legged robots. In this paper, we describe our work using Sony's...