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 monitored. We formalize some of the norms for palliative care using the proposed logic and characterize the complexity of the model checking problem.

Keywords: Data and knowledge integration, Temporal knowledge representations, Logic-based methods, Ontologies, Complexity.

Accepted by the Second International Workshop on Knowledge Representation for Health Care (KR4HC-2010), Lisbon, Portugal, August 2010.

Related posts:

1. Enhancing Patient-centered Palliative Care With Collaborative Agents Authors: Ji Ruan, Wendy MacCaull, and Heather Jewers Centre of...
2. Micro-Blogging in Health Care (1) First Thoughts Micro-blogging has increasingly been an important tool for communication among...
3. FWD: FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE I like this idea: Open and Free Access to high...

Related posts brought to you by Yet Another Related Posts Plugin.

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 to assist care providers to address the needs of the patient and family. Our architecture is illustrated in a diagram and the agents are described in terms of the services they provide, and the dependencies among them. The dependencies determine the information flow, which facilitates the communication and collaboration among the patient and care providers.

Keywords: Agent-based Modelling; Patient-centred Healthcare; Palliative Care; Collaboration; Team Approach

Accepted by the Second International Workshop on Collaborative Agents – REsearch and Development (CARE 2010), Toronto, Canada, August 2010.

Related posts:

1. Micro-Blogging in Health Care (1) First Thoughts Micro-blogging has increasingly been an important tool for communication among...
2. CFP: The 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2010) An interesting venue to submit your papers. PRIMA is a...

Related posts brought to you by Yet Another Related Posts Plugin.

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 practices and related areas. The conference has a strong focus on practice, and is focused on becoming the premier forum for prototype and deployed agent systems. Thus PRIMA particularly encourages reports on development of prototype and deployed agent and multi-agent systems, and experiments that demonstrate the capability of agents to handle real-world challenges. In order to facilitate the inclusion of system descriptions, which are often not served well by paper descriptions, PRIMA includes a Multimedia submission track (see below).

For full detail, follow this link: CFP PRIMA2010.

Important dates:

Papers
July 24th, 2010 (abstract)
July 31st, 2010 (paper)

Author Response
August 19-22

Author notification
September 1st, 2010

Camera-ready papers
September 20th, 2010

Conference dates
November 12th – 15th, 2010

Related posts:

1. My Coming talk in Liverpool: Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent Systems Title: Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent...

Related posts brought to you by Yet Another Related Posts Plugin.

Figuring out how to make good on our promise to stop censoring search on Google.cn has been hard. We want as many people in the world as possible to have access to our services, including users in mainland China, yet the Chinese government has been crystal clear throughout our discussions that self-censorship is a non-negotiable legal requirement. We believe this new approach of providing uncensored search in simplified Chinese from Google.com.hk is a sensible solution to the challenges we’ve faced—it’s entirely legal and will meaningfully increase access to information for people in China.

(see the whole announcement from Google Blog.)

Related posts:

1. UK-China Fellowships for Excellence 2009 I received this message from the departmental mailing list in...

Related posts brought to you by Yet Another Related Posts Plugin.

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) and a formula in a dynamic epistemic logic (a logic describing the consequences of epistemic actions), we construct an interpreted system relative to that epistemic state and that formula that satisfies the translation of the formula into a temporal epistemic logic. The construction involves that the protocol that is implicit in the dynamic epistemic formula, i.e. the set of sequences of actions being executed to evaluate the formula, is made explicit. We first focus on the logic of knowledge and change that is known as public announcement logic, then generalize our results to a dynamic epistemic logic. The results presented are from a joint work with Dr. Hans van Ditmarsch, and Prof. Wiebe van der Hoek. In the end, I will share some latest thoughts on an extension of Multi-Agent Systems framework with a social network connecting agents.

Updated: Talk photo album

Related posts:

1. CFP: The 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2010) An interesting venue to submit your papers. PRIMA is a...
2. Data-Aware Monitoring For Healthcare Workflows Using Formal Methods Authors: Ji Ruan and Wendy MacCaull Centre of Logic and...

Related posts brought to you by Yet Another Related Posts Plugin.

In today’s class I announced a few things.

Course plan:
* Today: Distributed Objects (1)
* Friday Nov 27: Distributed Objects (2). Afternoon Lab: No New Assignments, but I will be there for your last Lab assignment.
* Monday Nov 30: Design Patterns/ Last Lab deadline.

– The following two lectures will not be included in the final exam. But I think they may fit your interests.

* Wednesday Dec 2: Reasoning about Multi-Agent Systems (It is about the research I did in my PhD. I think it might be more interesting than the course itself. There is also a relation to the course from the perspective of agents. ) / Last lecture assignment deadline (I will release the assignment today).
* Friday Dec 5: A Review Of This Course (I will review the important stuff we’ve discussed in the past. It might be helpful for you to prepare the final exam. And besides, there will be one last interesting thing I want  to show to you.) /Last Chance to ask me questions in person, as I will travel to Liverpool afterwords.

* Exam Time: 9am-11:30am December 10, 2009
* Location: NH125

Please do come to the next Wednesday’s class. The head of the department will come to let you do an evaluation (filling some forms) on this course, while I will not present in the class. The time slot is:

• 9:15-9:30 am on Wednesday, December 2ed.

After that, we will start an interesting talk on my research.

When I arrived in the classroom on time, there were few students, possibly due to the rain. But I was glad that most of you showed up eventually. There seems to be a separation between Canadian students and the Chinese Students.  So from the next class on, we use a mixture of seats policy:
The ones come after the fourth person should sit in the different side of the aisle from he or she did in the previous class. You are encouraged to know each other better, especially between Canadian girls and Chinese boys. (I omitted the other important option because there is no Chinese girls in the class. The Canadian boys could complain to the head or the admission manager of the dept.)

Yours,

Ji

Related posts:

1. CSCI 383 Lecture 5-7: Object-Oriented Design Overview: Introduction Responsibility-Driven Design Case Study with Design Components UML...
2. I am teaching after Teachers’ Day I am teaching a course at StFX: CSCI-383 Object-Oriented Programming...
3. CSCI-383 OOPD CSCI-383 Object-Oriented Programming & Design (2009 Fall) @StFX Univ. Instructor:...

Related posts brought to you by Yet Another Related Posts Plugin.

Related posts:

1. CSCI-383 Lecture 12 Slides Lecture 12: Inheritance. In this lecture, we discussed: The intuitive...
2. CSCI-383 Lecture 13-16 Slides Lecture 13: Case Study: The Solitaire Game 2009/10/14 Lecture 14: Subclasses and...
3. CSCI 383 Lecture 8-11 Slides Lecture 8-9: Classes and Methods 2009/09/30-10/02 We discussed the static,...

Related posts brought to you by Yet Another Related Posts Plugin.

Related posts:

1. CSCI 383 Lecture 8-11 Slides Lecture 8-9: Classes and Methods 2009/09/30-10/02 We discussed the static,...
2. CSCI-383 Lecture 12 Slides Lecture 12: Inheritance. In this lecture, we discussed: The intuitive...
3. CSCI-383 OOPD CSCI-383 Object-Oriented Programming & Design (2009 Fall) @StFX Univ. Instructor:...

Related posts brought to you by Yet Another Related Posts Plugin.

—Forwarded message—-

from MYV to Moshe Vardi
date Thu, Oct 15, 2009 at 8:29 PM
subject [UAI] FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE
mailing list uai.ENGR.ORST.EDU Filter messages from this mailing list

Dear Colleague:

We would like to bring the community up to date on the journal

Logical Methods in Computer Science
www.lmcs-online.org

We started this fully refereed, open access, free electronic journal in January 2005, intending to create a high-level platform for publications in all theoretical and practical areas in computer science involving logical methods, taken in a broad sense. We are now on Issue 3 of Volume 5 (there are four issues a year). So far, we have received more than 350 submissions of which we have published 162. In addition to individual submissions, our journal publishes special issues, e.g., of selected papers of high-level international conferences such as LICS, IJCAR, CAV, CSL, and RTA.

We are continuing actively to develop the journal. For example, we accept survey articles, and are developing `live’ surveys, which can be continually updated as knowledge progresses. In another direction, we are considering allowing authors to provide additional material of an expository nature, such as slides and videos, to enable them to interest a wider spectrum of readers in their contribution.

The journal is an overlay of CoRR, the computer science repository of arXiv. There are no fees for authors nor for readers. Every paper is refereed by two or more referees, and high standards are applied. The editorial board consists of about sixty top specialists in all areas of logic in computer science.

The journal is covered by Mathematical Reviews, the ISI Web of Knowledge, and the DBLP Database.

We welcome your comments and suggestions, and we seek your contributions! For more information please consult our web pages:

www.lmcs-online.org

Yours,

Editor-in-Chief: Dana S. Scott
Managing Editors: Benjamin C. Pierce
Gordon D. Plotkin
Moshe Y. Vardi
Executive Editors: Jiri Adamek
Stefan Milius

Related posts:

1. Data-Aware Monitoring For Healthcare Workflows Using Formal Methods Authors: Ji Ruan and Wendy MacCaull Centre of Logic and...
2. UK-China Fellowships for Excellence 2009 I received this message from the departmental mailing list in...
3. Teaching 09.2009 – 12.2009 (Department of Computer Science, StFX University) Lecturer...

Related posts brought to you by Yet Another Related Posts Plugin.

In this lecture, we discussed:

• The intuitive and practical meanings of inheritance
• The syntax used to describe inheritance and substitution
• Some of the various forms of inheritance
• The benefits and costs of inheritance

The lecture is canceled for the thanks-giving Monday (October 12, 2009). Have fun.

Related posts:

1. CSCI 383 Lecture 8-11 Slides Lecture 8-9: Classes and Methods 2009/09/30-10/02 We discussed the static,...
2. CSCI-383 Lecture 13-16 Slides Lecture 13: Case Study: The Solitaire Game 2009/10/14 Lecture 14: Subclasses and...
3. CSCI 383 Lecture 17-23 Slides Lecture 17: Multiple Inheritance 2009/10/28 Lecture 18: Polymorphism and Software Reuse2009/10/30 Lecture 19: Polymorphism...

Related posts brought to you by Yet Another Related Posts Plugin.