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

Dear Sarah(sarah.stamper@liv.ac.uk) : I am a regular attender of the Public Lecture Series offered by our university. I think they are in very good quality in general. Given the limited seats and time, not so many people could attend these lectures. And I see the positive move that your team has made to making these [...]

Title: Really Achieving Your Childhood Dreams By: Randy Pausch Date: September 18, 2007 Location: Carnegie Mellon University Today, I happen to get this video: Really Achieving Your Childhood Dreams by Randy Pausch, who was informed having 3 to 6 months life due to liver cancer. This was called his last lecture, but it is not. [...]

I got to know Lawrence Lessig was from his book: Free Culture, when I was in Amsterdam doing my MSc. I really enjoyed reading that book as it gave a in-depth view of how shall we look at piracy in this Internet age, and what shall we do to shape a culture that benefit all [...]

This is a joint work with H. P. VAN DITMARSCH and R. VERBRUGGE. PDF Download: Sum and Product in Dynamic Epistemic Logic Abstract: The Sum-and-Product riddle was first published in the reference H. Freudenthal (1969, Nieuw Archief voor Wiskunde 3, 152) [6].We provide an overview on the history of the dissemination of this riddle through [...]

Usually, I work harder when the deadline of the paper is approaching. I imagine that I could have done better if there would be more time. But when there is more time, I would still feel the same. I think the problem might lie in two main reasons: The research typically has an open end. [...]