Title: Model Checking Knowledge Dynamics of Multi-Agent Systems

Time: 3PM, 29 May 2009
Location: Seminar room in the Centre for Logic and Information at StFX.
Talk Slides: available upon request.

Abstract:
In this talk, I will first briefly introduce Model Checking and Multi-Agent Systems (MAS), then focus on two frameworks on modelling knowledge dynamics of MAS. The first is [...]

I plan to give four talks about my research, in the Center for Logic and Information. The first two will be kept more introductory, and the remaining two will be more advanced. Here is my first talk given on last Friday.
Solving Sum-and-Product Riddle Using Public Announcement Logic

Time: 2:30PM, 22 May 2009
Location: Seminar room in the [...]

Available now online:
PhD Thesis: Reasoning about Time, Action and Knowledge in Multi-Agent Systems

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

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 the academic and [...]