Archive for May 29th, 2009
29
May
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 [...]
