Artificial Intelligence - Special issue on knowledge representation
Tachyon: a constraint-based temporal reasoning model and its implementation
ACM SIGART Bulletin
Combining qualitative and quantitative constraints in temporal reasoning
Artificial Intelligence
Backtracking algorithms for disjunctions of temporal constraints
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Supporting Tools for Guideline Development and Dissemination
AIME '97 Proceedings of the 6th Conference on Artificial Intelligence in Medicine in Europe
Plan management in the medical domain
AI Communications
Integrating metric and qualitative temporal reasoning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Planning in Time: Windows and Durations for Activities and Goals
IEEE Transactions on Pattern Analysis and Machine Intelligence
Knowledge-based verification of clinical guidelines by detection of anomalies
Artificial Intelligence in Medicine
Execution-Time Plan Management for a Cognitive Orthotic System
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
Artificial Intelligence in Medicine
Artificial Intelligence in Medicine
Journal of Biomedical Informatics
Checking the quality of clinical guidelines using automated reasoning tools
Theory and Practice of Logic Programming
Design patterns for clinical guidelines
Artificial Intelligence in Medicine
Adopting model checking techniques for clinical guidelines verification
Artificial Intelligence in Medicine
An implicit approach to deal with periodically repeated medical data
Artificial Intelligence in Medicine
Discovering metric temporal constraint networks on temporal databases
Artificial Intelligence in Medicine
Methodological Review: Computer-interpretable clinical guidelines: A methodological review
Journal of Biomedical Informatics
Towards generating a patient's timeline: Extracting temporal relationships from clinical notes
Journal of Biomedical Informatics
Hi-index | 0.00 |
The computerization of clinical practice guidelines is a significant scientific challenge for the medical informatics community. One frequently reported factor hindering this objective is the existence of deficiencies within guideline knowledge. In this paper, we focus on the detection of flaws within temporal scheduling constraints. Temporal scheduling constraints are important elements of therapy management, and are frequently incorporated in clinical practice guidelines. We present a suitable verification method that is based on calculating the minimal network of temporal constraints on the execution of guideline activities. Our method serves three purposes: (1) it checks whether temporal scheduling constraints are consistent with scheduling constraints implied by control flow operators and the hierarchical structuring of a guideline; (2) it yields suggestions for an equivalent, yet more explicit representation of non-minimal constraints; (3) it can be used by the guideline interpreter to assemble feasible time intervals for the execution of each guideline activity. We evaluate our approach by applying it to a guideline specified in the Asbru language. For this purpose, we implemented a prototype verifier. Although we concentrate on the guideline representation language Asbru as the demonstration medium of our method within this paper, our approach can be reused to verify several alternative guideline representation formats.