6355 search results - page 59 / 1271 » From Logic to Games |
198
Voted
CSCW
2007
ACM
15 years 20 days 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...
114
click to vote
IGPL
1998
15 years 11 days 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...
101
Voted
TLCA
2009
Springer
15 years 7 months 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...
84
Voted
ICML
2003
IEEE
16 years 1 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...
95
Voted
STOC
2004
ACM
16 years 29 days 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...