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.

Available now online:
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 Competition, as in [...]

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.

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

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