6355 search results - page 201 / 1271 » From Logic to Games |
139
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Immersion is commonly described by gamers and gamereviewers as an important aspect of a videogame. In this paper, we investigate the relationship between the immersive experience ...
177
click to vote
TROB
2008
15 years 6 months ago
2008
Affordances encode relationships between actions, objects and effects. They play an important role on basic cognitive capabilities such as prediction and planning. We address the p...
153
click to vote
TYPES
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
213
click to vote
ECSQARU
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
146
click to vote
ISMVL
1994
IEEE
15 years 10 months ago
1994
IEEE
The problem of approximating a propositional calculus is to nd many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few...