6355 search results - page 85 / 1271 » From Logic to Games |
123
Voted
AIIDE
2006
15 years 2 months ago
2006
This paper investigates the challenges posed by the application of reinforcement learning to large-scale strategy games. In this context, we present steps and techniques which syn...
126
Voted
ENTCS
2011
14 years 7 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
99
Voted
CCR
2002
15 years 19 days ago
2002
This paper describes the results of a 500 million packet trace of a popular on-line, multi-player, game server. The results show that the traffic behavior of this heavily loaded ga...
76
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
The synthesis of reactive systems requires the solution of two-player games on graphs with -regular objectives. When the objective is specified by a linear temporal logic formula o...
82
Voted
AIIDE
2008
15 years 3 months ago
2008
In this paper we discuss our work on using the incongruity measure from psychological literature to scale the difficulty level of a game online to the capabilities of the human pl...