Title: Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent Systems
Abstract:
I will give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. In particular, given an epistemic state (pointed Kripke model with equivalence relations) and a [...]

I like this idea: Open and Free Access to high quality scientific work (papers, slides, videos etc). This is a good try. I think to make it even better, we should introduce Web2.0 elements to make it more interactive.
—Forwarded message—-
from MYV to Moshe Vardi
date Thu, Oct 15, 2009 at 8:29 PM
subject [UAI] FIVE YEARS OF LOGICAL METHODS IN [...]

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

Ji: I can approve that this is a very interesting place to be, and the program is great.
==================================================
[Please forward the following message to interested students with a(n expected) BSc degree in Mathematics or Computer science or a BA degree in Philosophy or Linguistics. We also have a PDF file of the poster available at http://www.illc.uva.nl/MScLogic/poster.pdf]
======================
You [...]