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

Title: Connecting Dynamic Epistemic and Temporal Epistemic Logics Authors: H.P. van Ditmarsch, W. van der Hoek, and J. Ruan. Abstract: We 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 [...]

Title: The Epistemic Logic Behind the Game Description Language Authors: Ji Ruan and Michael Thielscher School of Computer Science and Engineering The University of New South Wales, Australia Abstract: A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game [...]

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

My joint paper with Wiebe and Mike with title “Verification of Games in the Game Description Language”, has been accepted by the Journal of Logic and Computation. This is my second journal paper. Here is the preview version (final draft). The first version was submitted on 8th August, 2008.