Considerable changes have occurred in language learning with the introduction of gameful approaches classroom and increase popularity applications like Duolingo. A review existing studies on such to shows that gamification tends be most popular approach. However, this has been achieved at expense other approaches, as use digital games. To gain a clearer picture developments gaps game-based rese...

The Game Description Language GDL is the standard input language for general game-playing systems. While players can gain a lot of traction by an efficient inference algorithm for GDL, state-of-the-art reasoners suffer from a variant of a classical KR problem, the inferential frame problem. We present a method by which general game players can transform any given game description into a represe...

A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in General Game Playing is to endow a player with the ability to extract and prove game-specific knowledge from the mere game rules. We define a formal language to express temporally extended—yet local—properties of games. W...

Videogames require a more precise specification language to define and communicate gameplay than rules written in natural language. The proposed platform-independent model for videogame gameplay specification offers game designers a precise model to describe, analyze and communicate gameplay from early stages of development. The social context diagram defines how many players and teams interact...