207 search results - page 24 / 42 » A Temporal Proof System for General Game Playing |
164
click to vote
UAI
2004
15 years 7 months ago
2004
We propose dynamical systems trees (DSTs) as a flexible model for describing multiple processes that interact via a hierarchy of aggregating processes. DSTs extend nonlinear dynam...
148
click to vote
SIGECOM
2006
ACM
15 years 11 months ago
2006
ACM
In multiagent systems, strategic settings are often analyzed under the assumption that the players choose their strategies simultaneously. However, this model is not always realis...
170
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
Learning to converge to an efficient, i.e., Pareto-optimal Nash equilibrium of the repeated game is an open problem in multiagent learning. Our goal is to facilitate the learning ...
237
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
We propose to demonstrate SEMMO, a consistency server for MMOs. The key features of SEMMO are its novel distributed consistency protocol and system architecture. The distributed n...
153
click to vote
LICS
2007
IEEE
16 years 4 days ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...