Posts Tagged ‘Mike’

19
Dec

I passed my viva

Viva means PhD thesis defence. And I passed it this afternoon.

27
Feb

Strategy Logics and the Game Description Language

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