Title: The Epistemic Logic Behind the Game Description Language Authors: Ji Ruan and Michael Thielscher School of Computer Science and Engineering The University of New South Wales, Australia Abstract: A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game [...]

Title: Verification of Games in the Game Description Language Authors: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge Abstract: The Game Description Language (GDL) is a special purpose declarative language for defining games. GDL is used in the AAAI General Game Playing Competition, which tests the ability of computer programs to play games in [...]

My joint paper with Wiebe and Mike with title “Verification of Games in the Game Description Language”, has been accepted by the Journal of Logic and Computation. This is my second journal paper. Here is the preview version (final draft). The first version was submitted on 8th August, 2008.

This is a dedicated page of my PhD thesis: Reasoning about Time, Action and Knowledge in Multi-Agent Systems

Recently I am studying how to represent card games in a GDL-like language. For those who are interested, here are two useful links to Card Games Classifications: Classified Index of Card Games (from pagat.com) Types of card games (from wikipedia) I think it would be interesting to include card games in the General Game Playing [...]

When I looked at the sites that refer to this blog, I discovered the following one. http://www.general-game-playing.de/literature.html It is very helpful if you wants to know the current research on General Game Playing.