Analyzing conformance of execution traces with clinical guidelines is not a trivial task, because guidelines are developed for physicians who should always interpret them according to their general knowledge; their application to the specific conditions of a patient or a specific context cannot always be foreseen in the guideline specification. In this paper we consider the conformance problem not only for the sequence of action execution events, but also for their timing: the guideline may include temporal constraints for the execution of actions, and its adaptation to a specific patient and context may add or modify conditions and temporal constraints for actions. We propose an approach for analyzing execution traces in Answer Set Programming with respect to a guideline and Basic Medical Knowledge, pointing out discrepancies --- including temporal discrepancies --- with respect to the different knowledge sources.
['Matteo Spiotta', 'Paolo Terenziani', 'Daniele Theseider Dupré']
Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution