Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines
暂无分享,去创建一个
Paola Mello | Federico Chesani | Marco Montali | Sergio Storari | Alessio Bottrighi | Paolo Terenziani | Stefania Montani | M. Montali | P. Terenziani | S. Montani | P. Mello | F. Chesani | S. Storari | A. Bottrighi
[1] Paolo Terenziani,et al. Suppor ting Physicians in Taking Decisions in Clinical Guidelines : the GLARE “ What if ” , 2022 .
[2] Paola Mello,et al. A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance , 2009, AIME.
[3] John Fox,et al. Disseminating medical knowledge: the PROforma approach , 1998, Artif. Intell. Medicine.
[4] Alessio Bottrighi,et al. Supporting physicians in taking decisions in clinical guidelines: the GLARE "what if" facility , 2002, AMIA.
[5] P. Ram,et al. SAGEDesktop: An Environment for Testing Clinical Practice Guidelines , 2004, The 26th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.
[6] Orna Grumberg,et al. A game-based framework for CTL counterexamples and 3-valued abstraction-refinement , 2007, TOCL.
[7] Robert A. Greenes,et al. Research Paper: The GuideLine Interchange Format: A Model for Representing Guidelines , 1998, J. Am. Medical Informatics Assoc..
[8] Evelina Lamma,et al. Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic , 2008, Computer-based Medical Guidelines and Protocols.
[9] Alessio Bottrighi,et al. Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines , 2006, Artif. Intell. Medicine.
[10] Yuval Shahar,et al. Synthesis of Research: EON: A Component-Based Approach to Automation of Protocol-Directed Therapy , 1996, J. Am. Medical Informatics Assoc..
[11] R. Irwin,et al. The New “Face” of CHEST Heralds a New Era , 2006 .
[12] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[13] Omolola Ogunyemi,et al. GLIF3: the evolution of a guideline representation format , 2000, AMIA.
[14] Paola Mello,et al. A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening , 2006, ISMIS.
[15] Nick Booth,et al. Using scenarios in chronic disease management guidelines for primary care , 2000, AMIA.
[16] Evelina Lamma,et al. Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.
[17] L. Boulet,et al. Managing cough as a defense mechanism and as a symptom. A consensus panel report of the American College of Chest Physicians. , 1998, Chest.
[18] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..
[19] Alessio Bottrighi,et al. A Context-Adaptable Approach to Clinical Guidelines , 2004, MedInfo.
[20] L. Boulet,et al. Diagnosis and management of cough executive summary: ACCP evidence-based clinical practice guidelines. , 2006, Chest.
[21] Arie Hasman,et al. Design and implementation of a framework to support the development of clinical guidelines , 2001, Int. J. Medical Informatics.
[22] T Wetter,et al. HELEN, a Modular Framework for Representing and Implementing Clinical Practice Guidelines , 2004, Methods of Information in Medicine.
[23] Evelina Lamma,et al. The SCIFF Abductive Proof-Procedure , 2005, AI*IA.
[24] John Fox,et al. Comparing computer-interpretable guideline models: a case-study approach. , 2003, Journal of the American Medical Informatics Association : JAMIA.
[25] Evelina Lamma,et al. Computer-based Medical Guidelines and Protocols: A Primer and Current Trends , 2008, Computer-based Medical Guidelines and Protocols.
[26] Paolo Terenziani,et al. Exploiting decision theory concepts within clinical guideline systems: Toward a general approach: Research Articles , 2006 .
[27] Antonio Moreno,et al. Distributed Guideline-Based Health Care System , 2004 .
[28] Alessio Bottrighi,et al. Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach , 2003, AI*IA.
[29] Yuval Shahar,et al. ASBRU: A TASK-SPECIFIC, INTENTION-BASED, AND TIME-ORIENTED LANGUAGE FOR REPRESENTING SKELETAL PLANS , 1999 .
[30] Gerard J. Holzmann,et al. The SPIN Model Checker , 2003 .
[31] Kudakwashe Dube,et al. A Generic Approach to Supporting the Management of Computerised Clinical Guidelines and Protocols , 2004 .
[32] Peter J. F. Lucas. Computer-based Medical Guidelines and Protocols: A Primer and Current Trends , 2008 .
[33] Silvana Quaglini,et al. Guideline-based careflow systems , 2000, Artif. Intell. Medicine.
[34] J. P. Christensen,et al. Health telematics for clinical guidelines and protocols , 1995 .