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

Micro-blogging has increasingly been an important tool for communication among people. The web services like Twitter, Facebook, provide certain kinds of micro-blogging. Typically, they allow you to record your current status, such as your thoughts, your feelings, or your discoveries, etc, and share them among your friends or other people. Human beings, as social animals, [...]