6355 search results - page 31 / 1271 » From Logic to Games |
ITA
2008
13 years 11 months ago
2008
We propose a variation of Wythoff's game on three piles of tokens, in the sense that the losing positions can be derived from the Tribonacci word instead of the Fibonacci word...
CHI
2008
ACM
14 years 11 months ago
2008
ACM
Most video games require constant interaction, so game designers must pay careful attention to usability issues. However, there are few formal methods for evaluating the usability...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...
CHI
1994
ACM
14 years 3 months ago
1994
ACM
Computer users have tasks they need to perform, and are therefore motivated to overcome poorly designed interfaces. With video games, there is no external motivation for the task ...
FLAIRS
2010
14 years 1 months ago
2010
MiBoard (Multiplayer Interactive Board Game) is an online, turnbased board game that was developed to assess the integration of game characteristics (point rewards, game-like inte...