Posts Tagged ‘MAS’
Authors: Ji Ruan, Wendy MacCaull, and Heather Jewers Centre of Logic and Information, StFX University, Canada 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 be used [...]
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 [...]
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) [...]
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 [...]

