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 Competition, as in [...]

December 2010 Update: A proper reference is provide here:
http://portal.acm.org/citation.cfm?id=1666968.1666995&coll=&dl=
Here is the Latex code:
@article{1666995,
author = {Ruan, Ji and van der Hoek, Wiebe and Wooldridge, Michael},
title = {Verification of Games in the Game Description Language},
journal = {J. Log. and Comput.},
volume = {19},
number = {6},
year = {2009},
issn = {0955-792X},
pages = [...]

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 used in the [...]