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

An interesting venue to submit your papers. PRIMA is a leading scientific conference for research on intelligent agent and multi-agent systems, attracting high quality, state-of-the-art research from all over the world. The conference endeavours to bring together researchers, developers, and academic and industry leaders, who are active and interested in agents and multi-agent systems, their [...]