Author of the publication

From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols.

, , , and . EKAW, volume 2473 of Lecture Notes in Computer Science, page 49-64. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Supporting the Refinement of Clinical Process Models to Computer-Interpretable Guideline Models., and . Business & Information Systems Engineering, 58 (5): 355-366 (2016)An Archetype-Based Solution for the Interoperability of Computerised Guidelines and Electronic Health Records., , , , , and . AIME, volume 6747 of Lecture Notes in Computer Science, page 276-285. Springer, (2011)Safe and Sound: Artificial Intelligence in Hazardous Applications - John Fox, Subrata Das, AAAI Press, Menlo Park, CA, and MIT Press, Cambridge, MA/London, UK, 2000, 326 pp., References, Index, Illus., ISBN 0-262-06211-9.. Artif. Intell. Medicine, 27 (1): 103-106 (2003)An Algorithm for Guideline Transformation: From BPMN to SDA., , and . EUSPN/ICTH, volume 63 of Procedia Computer Science, page 244-251. Elsevier, (2015)An Algorithm for Guideline Transformation: From BPMN to PROforma., , and . KR4HC@VSL, volume 8903 of Lecture Notes in Computer Science, page 121-132. Springer, (2014)A community-of-practice-based evaluation methodology for knowledge intensive computational methods and its application to multimorbidity decision support., , , , , , , , , and 11 other author(s). J. Biomed. Informatics, (June 2023)MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations., , , , , and . AIME, volume 3581 of Lecture Notes in Computer Science, page 146-150. Springer, (2005)Design Patterns for Modelling Guidelines., , , , , , and . AIME, volume 3581 of Lecture Notes in Computer Science, page 121-125. Springer, (2005)Analysis of the process of representing clinical statements for decision-support applications: a comparison of openEHR archetypes and HL7 virtual medical record., , , and . J. Medical Syst., 40 (7): 163:1-163:10 (2016)CLIN-IK-LINKS: A platform for the design and execution of clinical data transformation and reasoning workflows., , , , , and . Comput. Methods Programs Biomed., (2020)