{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T16:20:03Z","timestamp":1779294003214,"version":"3.51.4"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T00:00:00Z","timestamp":1509494400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Knowl. Data Eng."],"published-print":{"date-parts":[[2017,11,1]]},"DOI":"10.1109\/tkde.2017.2734084","type":"journal-article","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T18:09:19Z","timestamp":1501524559000},"page":"2567-2580","source":"Crossref","is-referenced-by-count":26,"title":["Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach"],"prefix":"10.1109","volume":"29","author":[{"given":"Matteo","family":"Spiotta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Terenziani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele Theseider","family":"Dupre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-16071-9","author":"mans","year":"2015","journal-title":"Process Mining in Healthcare - Evaluating and Exploiting Operational Healthcare Processes"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2006.03.007"},{"key":"ref11","year":"0"},{"key":"ref12","year":"0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-13281-5_5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90006-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15675-5_21"},{"key":"ref16","year":"0"},{"key":"ref17","year":"0"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/SW-2011-0034","article-title":"Comparison of reasoners for large ontologies in the OWL 2 EL profile","volume":"2","author":"dentler","year":"2011","journal-title":"Semantic Web"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787.015"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.190611"},{"key":"ref4","first-page":"512","article-title":"Exceptions handling within GLARE clinical guideline framework","author":"leonardi","year":"2012","journal-title":"Proc Amer Med Inform Assoc Annu Symp"},{"key":"ref27","first-page":"688","article-title":"Medintel: Decision support for general practitioners: A case study","author":"brandhorst","year":"2009","journal-title":"Proc Int Conf Eur Federation Med Inform"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2009.11.006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2008.07.007"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2007.07.001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(00)00100-7"},{"key":"ref8","article-title":"Elaboration tolerance","author":"mccarthy","year":"1998","journal-title":"CommonSense"},{"key":"ref7","author":"gebser","year":"2012","journal-title":"Answer Set Solving in Practice"},{"key":"ref2","first-page":"200","article-title":"Conformance checking of executed clinical guidelines in presence of basic medical knowledge","author":"bottrighi","year":"2011","journal-title":"Proc Bus Process Manag Workshops"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(01)00087-2"},{"key":"ref1","author":"field","year":"1992","journal-title":"Guidelines for Clinical Practice From Development to Use"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3233\/AIC-2011-0491","article-title":"Potassco: The Potsdam answer set solving collection","volume":"24","author":"gebser","year":"2011","journal-title":"AI Comm"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2005.10.006"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26585-8_5"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/11691617_13"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068408003451"},{"key":"ref26","volume":"139","author":"ten teije","year":"2008","journal-title":"Computer-based Medical Guidelines and Protocols A Primer and Current Trends"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2009.09.003"}],"container-title":["IEEE Transactions on Knowledge and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/69\/8059740\/07997908.pdf?arnumber=7997908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:59:08Z","timestamp":1642006748000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7997908\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,1]]},"references-count":30,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tkde.2017.2734084","relation":{},"ISSN":["1041-4347"],"issn-type":[{"value":"1041-4347","type":"print"}],"subject":[],"published":{"date-parts":[[2017,11,1]]}}}