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

Authors: Ji Ruan, Wendy MacCaull, and Heather Jewers Centre of Logic and Information, StFX University, Canada Download: PDF. Abstract: In this paper, we propose the use of an agent-based architecture to enhance workflow system capacity to support interprofessional, patient-centred palliative care delivery. This paper outlines the concept of palliative care and describes how agents can [...]

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