Title: A Logic for Knowledge Flow in Social Networks Authors: Ji Ruan and Michael Thielscher School of Computer Science and Engineering, The University of New South Wales, Australia Abstract: In this paper, we develop a formal framework for analysing the flow of information and knowledge through social networks. More specifically, we propose a multi-agent epistemic logic in which [...]

Authors: Ji Ruan and Wendy MacCaull Centre of Logic and Information, StFX University, Canada Download: PDF. Abstract: This paper presents an approach to monitor healthcare workflows using a logic-based formal method. We introduce a monitoring architecture with workflows and knowledge bases, and propose a logical language, FO-LTL-K, to express temporal and knowledge properties to be [...]

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

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

Title: Verification of Games in the Game Description Language Authors: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge Abstract: The Game Description Language (GDL) is a special purpose declarative language for defining games. GDL is used in the AAAI General Game Playing Competition, which tests the ability of computer programs to play games 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 [...]