Videogames have been studied seriously only for a few years. So, we can wonder how we could use the recent academic works to approach new design methods. This article proposes a f...
Games Studies is still a relatively new field where much basic research remains to be done. This study asks K-12 teachers about their attitudes towards the use of games for teachi...
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
This paper discusses If multi-agent learning is the answer, what is the question? [Y. Shoham, R. Powers, T. Grenager, If multiagent learning is the answer, what is the question? A...
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...