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.

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 [...]

August 2009 Update: Final version is available here. July 2009 Update: This paper has been accepted by the JLC. March 2009 Update: The Journal of Logic and Computation (JLC) has sent us back the reviews, and we need a revision before it gets accepted.

Here is a little game. The rule is Simple: click the open spaces, and do not let the cat escape. Enjoy!

Joint work with Wiebe van der Hoek and Michael Wooldridge. Published in the Proceedings of Workshop on Logic, Rationality and Interaction (LORI07), Beijing, August 2007. PDF Download: Strategy Logics and the Game Description Language. Any comments are welcome! ABSTRACT: The Game Description Language (GDL) is a special purpose declarative language for defining games. GDL is [...]