Verification of Medical Guidelines Using Background Knowledge in Task Networks
IEEE Transactions on Knowledge and Data Engineering
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
BPM'07 Proceedings of the 2007 international conference on Business process management
Analysis of the GLARE and GPROVE approaches to clinical guidelines
KR4HC'09 Proceedings of the 2009 AIME international conference on Knowledge Representation for Health-Care: data, Processes and Guidelines
Hi-index | 0.00 |
Several computer-based approaches to Clinical Guidelines have been developed in the last two decades. However, only recently the community has started to cope with the fact that Clinical Guidelines are just a part of the medical knowledge that physicians have to take into account when treating patients. The procedural knowledge in the guidelines have to be complemented by additional declarative medical knowledge. In this paper, we analyse such an interaction, by studying the conformance problem, defined as evaluating the adherence of a set of performed clinical actions w.r.t. the behaviour recommended by the guideline and by the medical knowledge.