Open-ended language communication remains an enormous challenge for autonomous robots. This paper argues that the notion of a language strategy is the appropriate vehicle for addressing this challenge. A language strategy packages all the procedures that are necessary for playing a language game. We present a specific example of a language strategy for playing an Action Game in which one robot ...

Open-ended language communication remains an enormous challenge for autonomous robots. This paper argues that the notion of a language strategy is the appropriate vehicle for addressing this challenge. A language strategy packages all the procedures that are necessary for playing a language game. We present a specific example of a language strategy for playing an Action Game in which one robot ...

Audiogames, which are supposed to be accessible to the blind, have two problems related to language to be understood by most of their users : the first one is linked to an instruction reading phase, which is often essential, and the pleasure of which is often very different from the pleasure of playing the game. The second problem is even more bothersome: the major part of candidates for playin...

Game-based proofs are a common technique used to verify cryptographic constructions. Such proofs consist of a sequence of games where each transition from one game to the next can be individually verified. However, as more and more increasingly complex proofs are being published, even such transitions are often non-trivial. Moreover, games are frequently described informally or just in some ad-...

The task of managing general game playing in a multi-agent system is the problem addressed in this paper. It is considered to be done by an agent. There are many reasons for constructing such an agent, called general game management agent. This agent manages strategic interactions between other agents-players, natural or also artificial. The agent records the interaction for further benchmarkin...

Video game designers iteratively improve player experience by play testing game software and adjusting its design. Deciding how to improve gameplay is difficult and time-consuming because designers lack an effective means for exploring decision alternatives and modifying a game’s mechanics. We aim to improve designer productivity and game quality by providing tools that speed-up the game design...

We present a formal correspondence between Laird’s trace semantics and the nominal game model of Murawski and Tzevelekos for RefML, a callby-value language with higher-order references. This gives an operational flavor to game semantics, where denotation of terms is generated via an interactive reduction, which allows to reduce terms with free functional variables, and where pointer structure i...

In this paper, we present I-FLEG, a serious language game designed for interactively learning French as a second language. The game is integrated in Second Life and exploits the 3D virtual reality environment provided by this platform to implement immersive, learn-by-doing techniques that have proved to be among the most effective learning strategies in second language acquisition. Furthermore,...

In this paper we discuss the similarities between two fields which are traditionally considered worlds apart: game development and databases. We discuss how many aspects of game development either use databases, datamining, etc. directly to solve challenging data-management problems, but also how the game logic itself is subtly related to many techniques and theoretical results already explored...

The Game Description Language (GDL) has been developed for the purpose of formalizing game rules. It serves as the input language for general game players, which are systems that learn to play previously unknown games without human intervention. In this paper, we show how GDL descriptions can be intepreted as multiagent domains and, conversely, how a large class of multiagent environments can b...