Matteo Spiotta, Paolo Terenziani, Daniele Theseider Dupré. Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution. In David Riaño 0001, Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, Annette ten Teije, editors, Knowledge Representation for Health Care - AIME 2015 International Joint Workshop, KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015, Revised Selected Papers. Volume 9485 of Lecture Notes in Computer Science, pages 65-79, Springer, 2015. [doi]
Abstract is missing.