6355 search results - page 91 / 1271 » From Logic to Games |
107
Voted
PUC
2010
14 years 7 months ago
2010
Players invest significant physical effort when playing exertion games. In addition to improving physical health, exertion games are also believed to facilitate social play amongs...
111
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
NORDICHI
2004
ACM
15 years 6 months ago
2004
ACM
The fields HCI/usability and computer games have existed for a few decades with virtually no mutual interaction. However, in recent years, a number of exchanges have appeared, bot...
113
Voted
ML
2008
ACM
15 years 23 days ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
129
click to vote
ICFP
2005
ACM
16 years 23 days ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...