6355 search results - page 59 / 1271 » From Logic to Games |
308
click to vote
CSCW
2007
ACM
15 years 6 months ago
2007
ACM
Physical gaming is a genre of computer games that has recently been made available for the home. But what does it mean to bring games home that were originally designed for play in...
173
click to vote
IGPL
1998
15 years 6 months ago
1998
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Lig...
162
click to vote
TLCA
2009
Springer
16 years 25 days ago
2009
Springer
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
137
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
We present BL-WoLF, a framework for learnability in repeated zero-sum games where the cost of learning is measured by the losses the learning agent accrues (rather than the number...
174
click to vote
STOC
2004
ACM
16 years 6 months ago
2004
ACM
The growth in computer games and wireless networks has catalyzed the production of a new generation of hand-held game consoles that support multi-player gaming over IEEE 802.11 ne...