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

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

A sudden warm day, originally uploaded by jiruan. We got 26 degrees today in Antigonish. It is strange that we suddenly have such a warm day. But it is nicely warm and I like it. I was waring a sweater when I go to my office in the morning. Now I have through it away.

This is a dedicated page of my PhD thesis: Reasoning about Time, Action and Knowledge in Multi-Agent Systems

As a former student of the ILLC, I am very happy to see that the ILLC has launched a blog-based webportal for the research community of logic and rational interactions, called loriweb.org. Here is a snapshot: The ILLC has finally made an attempt going from web1.0 to web2.0, which means more dynamics and interactions! However, [...]

The USA White House launched its strategy to reform the government in the Web 2.0 age. In this post: http://www.whitehouse.gov/blog/09/05/01/WhiteHouse/, it gives the information channels through which white house is reaching its citizens. These channels include: Whitehouse.gov Facebook.com/WhiteHouse MySpace.com/WhiteHouse Twitter.com/WhiteHouse Flickr.com/WhiteHouse Vimeo.com/WhiteHouse YouTube.com/WhiteHouse iTunes (videos & podcasts) I would say this government is leading toward [...]