AI techniques in healthcare: evidence-based guidelines and protocols

Schedule 29 August 2006

SPIN Model Checking for the Verification of Clinical Guidelines
P. Terenziani, L. Giordano, A. Bottrighi, S. Montani, L. Donzella (pdf)
Temporal Dimension of Medical Guidelines: The Semantics of Asbru Time An- notations
J. Schmitt, W. Reif, A. Seyfang, S. Miksch (pdf) (presentation)
A Constraint-based Approach to Medical Guidelines and Protocols
A. Hommersom, P. Groot, P. Lucas, M. Marcos, B. Martinez-Salvador (pdf) (presentation)

A Multiple-Ontology Template-Based Query Interface for a Clinical-Guidelines Search Engine
R. Moskovitch, T. Lavie, A. Leibowitz, Y. Denekump, Y. Shahar (pdf) (presentation)
The Importance of Creating an Ontology-Specific Consensus Before a Markup- Based Specification of Clinical Guidelines
E. Shalom, Y. Shahar, E. Lunenfeld, M. Taieb-Maimon, O. Young, G. Bar, S. Martins, L. Vaszar, Y. Liel, A. Yarkoni, M. Goldstein, A. Leibowitz, T. Marom (pdf) (presentation)
A study of applying knowledge modelling to evidence-based guidelines
M. Taboada, J. Des, D. Martinez, J. Mira (pdf) (presentation)

Adaptation of Practice Guidelines for Clinical Decision Support: A Case Study of Diabetic Foot Care
M. Peleg, D. Wang, A. Fodor, S. Keren, E. Karnieli (pdf) (presentation)
Medical Guidelines for the Patient: Introducing the Life Assistance Protocols
D. Dominguez, T. Meneu, J. Mocholi, R. Serafin (pdf) (presentation)
Impact of a computerised decision support system on compliance with evidence- based guidelines for triple assessment
V. Patkar, C. Hurt, R. Steele, A. Purushotham, S. Love, M. Wil liams, R. Thomsona, J. Fox (pdf)

Electronic contributions to the use of nominal group techniques in guidelines development
V. Pittet, B. Burnand, J. Vader (pdf) (presentation)
Model-based guideline development for symptom-based indications
Y. O (pdf) (presentation)
Applying intention-based guidelines for critiquing
R. Sips, L. Braun, N. Roos (pdf) (presentation)

Testing Guidelines Conformance by translating a Graphical Language to Com- putational Logic
F. Chesani, A. Ciampolini, P. Mel lo, M. Montali, S. Storari(pdf)
Improving the Execution of Clinical Guidelines and Temporal Data Abstraction in High-Frequency Domains
P. Votruba, A. Seyfang, M. Paesold, S. Miksch (pdf) (presentation)

A Workflow Approach towards GLIF Execution
M. Sed lmayr, T. Rose, R. Rohrig, M. Meister (pdf) (presentation)
Empirical Grounding of Guideline Implementation in Cooperative Clinical Care Situations
I.Sorby, O. Nytro, T.Rost (pdf) (presentation)

PROforma guidelines and care pathways: performance in trials and future plans
J. Fox, V. Patkar, R. Thomson, E. Black (pdf)
Demonstration of DeGeL: A Clinical-Guidelines Library and Automated Guideline- Support Tools
A. Hatsek, O. Young, E. Shalom, Y. Shahar (pdf) (presentation)
Applying Artificial Intelligence to Clinical Guidelines: the GLARE Approach
P. Terenziani, S. Montani, A. Bottrighi, G. Molino, M. Torchio (pdf)
Oncoline: an Online Database for Consultation of Cancer Clinical Practice Guidelines
S. Kersten, J. van den Bogert (pdf) (presentation)
Developing an Evidence Based Medicine Decision Support System Integrated with EPRs Utilizing Standard Data Elements
J. Komulainen, I. Kunnamo, P. Nyberg, M. Kaila, T. Mantyranta, M. Korhonen (pdf) (presentation)
P-Course: Medical Applications of Bayesian Classification with Informative Priors
J. Lahtinen, P. Myl lymaki, O. Ryynanen (pdf)
Verification of Medical Guidelines with KIV
M. Balser, J. Schmitt, W. Reif (pdf) (presentation)
TSNet, A Distributed Architecture for Time Series Analysis
J. Hunter (presentation)