6355 search results - page 184 / 1271 » From Logic to Games |
151
click to vote
FSTTCS
2007
Springer
16 years 21 days ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
173
click to vote
CIG
2005
IEEE
16 years 5 days ago
2005
IEEE
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
161
click to vote
NETGAMES
2003
ACM
15 years 11 months ago
2003
ACM
—This paper presents a framework for message delivery in real-time multi-player distributed interactive games that use the client-server model. Based on this framework, we propos...
160
click to vote
LICS
2007
IEEE
16 years 25 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...
161
click to vote
ECAL
1999
Springer
15 years 10 months ago
1999
Springer
The “social dilemma” is a problem inherent in forming and maintaining cooperation among selfish individuals, and is of fundamental importance in the biological and social sci...