@inproceedings{c65cecbb74324671a3c1c7e8892fad28,
title = "Conformance checking of executed clinical guidelines in presence of basic medical knowledge",
abstract = "Clinical Guidelines (CGs) capture medical evidence, but are not meant to deal with single patients' peculiarities and specific context limitations and/or constraints. In practice, the physician has to exploit basic medical knowledge (BMK) in order to adapt the general CG to the specific case at hand. The interplay between CG knowledge and BMK can be very complex. In this paper, we explore such interaction from the viewpoint of the conformance problem, intended as the adherence of an observed CG execution trace to both types of knowledge. We propose an approach based on the GLARE language to represent CGs, and on an homogeneous formalization of both CGs and BMK using Event Calculus (EC) and its Prolog-based implementation , focusing on {"}a posteriori{"} conformance evaluation.",
keywords = "Clinical Guidelines, Conformance, Event Calculus, Integration with Basic Medical Kwnoledge",
author = "Alessio Bottrighi and Federico Chesani and Paola Mello and Marco Montali and Stefania Montani and Paolo Terenziani",
year = "2012",
doi = "10.1007/978-3-642-28115-0_20",
language = "English",
isbn = "9783642281143",
series = "Lecture Notes in Business Information Processing",
publisher = "Springer Verlag",
number = "PART 2",
pages = "200--211",
booktitle = "Business Process Management Workshops - BPM 2011 International Workshops, Revised Selected Papers",
address = "Germany",
edition = "PART 2",
note = "9th International Conference on Business Process Management, BPM 2011P ; Conference date: 29-08-2011 Through 29-08-2011",
}