Puzzles play a central role in our everyday lives with exciting potentials. As assessments in education and psychometry, puzzles are among the most frequently used tools (Verguts & Boeck, 2000). A well-known example is the odd one out puzzle of IQ tests (Carter, 2005). There exist dedicated word puzzles to test or improve a wide array of skills including language skills, verbal aptitude, logica...

Arcade-style games like Tetris and Pacman are often difficult to adapt for educational purposes because their fast-paced intensity and keystroke-heavy nature leave little room for simultaneous practice of other skills. Incorporating spoken language technology could make it possible for players to learn as they play, keeping up with game speed through multimodal interaction. To date, however, it...

This is a paper on the creation and evolution of conventions of behavior in ”inter-generational games”. In these games a sequence of nonoverlapping ”generations” of players play a stage game for a finite number of periods and are then replaced by other agents who continue the game in their role for an identical length of time. Players in generation t are allowed to see the history of the game p...

Cooperation plays a key role in the evolution of complex systems. However, the level of cooperation extensively varies with the topology of agent networks in the widely used models of repeated games. Here we show that cooperation remains rather stable by applying long-term learning + innovative strategy adoption rules on a variety of random, regular, small-word, scale-free and modular networks ...

Multi-party chat is a standard feature of popular online games and is increasingly available in collaborative learning environments, including epistemic games. However, little is known about the linguistic qualities of group conversation, especially regarding modality of communication. This paper addresses the differences between spoken and typed conversations as high school students interacted...

Nowadays, circa 10% of 7-11 olds turn out to be poor comprehenders: they demonstrate text comprehension difficulties, related to inference-making, despite proficiency in low-level cognitive skills like word reading. The use of more intelligent ALSs to customtailor reading interventions in the form of smart games for poor comprehenders has tremendous potential. The TERENCE ALS embodies that pote...

in the paper‎, ‎some new existence theorems of maximal elements for‎ ‎$mathscr{f}_{c,theta}$-mappings and $mathscr{f}_{c,theta}$-majorized mappings are established‎. ‎as applications, ‎some new existence theorems of equilibrium points for‎ ‎one-person games‎, ‎qualitative games and generalized games are obtained‎. ‎our results unify and generalize most known results‎ ‎in recent literature‎.

Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal μ-calculus. This makes it a highly expressive temporal logic that is capable of expressing various interesting correctness properties of programs that are not expressible in the modal μ-calculus. This paper provides complexity results for its model checking problem. In particular, we consider those fragme...

introduction: computer games have attracted remarkable attentions in general publics with different cultures and their effects are subject of research by cognitive neuroscientists. in the present study, possible effects of the game fifa 2015 on cognitive performance, hormonal levels, and electroencephalographic (eeg) signals were evaluated in young male volunteers. methods: thirty two subjects ...