6355 search results - page 16 / 1271 » From Logic to Games |
AAAI
2011
12 years 11 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
This paper presents insights about design practices that can lead to effective and fun games for learning, gleaned from interviews with experienced game developers. We based our a...
IJCAI
2003
14 years 8 days ago
2003
Minesweeper is a one-person game which looks deceptively easy to play, but where average human performance is far from optimal. Playing the game requires logical, arithmetic and p...
NETGAMES
2003
ACM
14 years 4 months ago
2003
ACM
With a shift in the on-line gaming landscape from individually hosted game servers, to gaming services centrally hosted by game publishers, game console manufacturers, and third-p...
WOLLIC
2007
Springer
14 years 5 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...