{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:34:47Z","timestamp":1725838487732},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319265841"},{"type":"electronic","value":"9783319265858"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26585-8_5","type":"book-chapter","created":{"date-parts":[[2015,11,21]],"date-time":"2015-11-21T05:44:32Z","timestamp":1448084672000},"page":"65-79","source":"Crossref","is-referenced-by-count":2,"title":["Answer Set Programming for Temporal Conformance Analysis of Clinical Guidelines Execution"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Spiotta","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Terenziani","sequence":"additional","affiliation":[]},{"given":"Daniele","family":"Theseider Dupr\u00e9","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.artmed.2006.03.007","volume":"38","author":"L Anselma","year":"2006","unstructured":"Anselma, L., Terenziani, P., Montani, S., Bottrighi, A.: Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines. Artif. Intell. Med. 38(2), 171\u2013195 (2006)","journal-title":"Artif. Intell. Med."},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11691617_13","volume-title":"Model Checking Software","author":"S B\u00e4umler","year":"2006","unstructured":"B\u00e4umler, S., Balser, M., Dunets, A., Reif, W., Schmitt, J.: Verification of medical guidelines by model checking \u2013 a case study. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 219\u2013233. Springer, Heidelberg (2006)"},{"key":"5_CR3","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-28115-0_20","volume-title":"Business Process Management Workshops","author":"A Bottrighi","year":"2012","unstructured":"Bottrighi, A., Chesani, F., Mello, P., Montali, M., Montani, S., Terenziani, P.: Conformance checking of executed clinical guidelines in presence of basic medical knowledge. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 200\u2013211. Springer, Heidelberg (2012)"},{"issue":"1","key":"5_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artmed.2009.09.003","volume":"48","author":"A Bottrighi","year":"2010","unstructured":"Bottrighi, A., Giordano, L., Molino, G., Montani, S., Terenziani, P., Torchio, M.: Adopting model checking techniques for clinical guidelines verification. Artif. Intell. Med. 48(1), 1\u201319 (2010)","journal-title":"Artif. Intell. Med."},{"key":"5_CR5","unstructured":"Brandhorst, C.J., Sent, D., Stegwee, R.A., van Dijk, B.M.A.G.: Medintel: decision support for general practitioners: a case study. In: MIE 2009, pp. 688\u2013692 (2009)"},{"key":"5_CR6","unstructured":"British National Institute for Health and Care Excellence. Hip fracture: The management of hip fracture in adults. \n                      http:\/\/www.nice.org.uk\/guidance\/cg124"},{"volume-title":"Guidelines for Clinical Practice: From Development to Use","year":"1992","key":"5_CR7","unstructured":"Field, M., Lohr, K. (eds.): Guidelines for Clinical Practice: From Development to Use. National Academy Press, Washington, D.C (1992). Institute of Medicine"},{"key":"5_CR8","volume-title":"Handbook of Knowledge Representation, Chap. 7","author":"M Gelfond","year":"2007","unstructured":"Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, Chap. 7. Elsevier, Amsterdam (2007)"},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.jbi.2009.11.006","volume":"43","author":"A Grando","year":"2010","unstructured":"Grando, A., Peleg, M., Glasspool, D.: A goal-oriented framework for specifying clinical guidelines and handling medical errors. J. Biomed. Inform. 43(2), 287\u2013299 (2010)","journal-title":"J. Biomed. Inform."},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.artmed.2008.07.007","volume":"46","author":"P Groot","year":"2009","unstructured":"Groot, P., Hommersom, A., Lucas, P.J.F., Merk, R., ten Teije, A., van Harmelen, F., Serban, R.: Using model checking for critiquing based on clinical guidelines. Artif. Intell. Med. 46(1), 19\u201336 (2009)","journal-title":"Artif. Intell. Med."},{"issue":"6","key":"5_CR11","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1109\/TKDE.2007.190611","volume":"19","author":"A Hommersom","year":"2007","unstructured":"Hommersom, A., Groot, P., Lucas, P.J.F., Balser, M., Schmitt, J.: Verification of medical guidelines using background knowledge in task networks. IEEE Trans. Knowl. Data Eng. 19(6), 832\u2013846 (2007)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"5_CR12","unstructured":"Leonardi, G., Bottrighi, A., Galliani, G., Terenziani, P., Messina, A., Della Corte, F.: Exceptions handling within GLARE clinical guideline framework. In: AMIA 2012, American Medical Informatics Association Annual Symposium (2012)"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0933-3657(00)00100-7","volume":"22","author":"S Quaglini","year":"2001","unstructured":"Quaglini, S., Stefanelli, M., Lanzola, G., Caporusso, V., Panzarasa, S.: Flexible guideline-based patient careflow systems. Artif. Intell. Med. 22(1), 65\u201380 (2001)","journal-title":"Artif. Intell. Med."},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/978-3-319-13281-5_5","volume-title":"Knowledge Representation for Health Care","author":"M Spiotta","year":"2014","unstructured":"Spiotta, M., Bottrighi, A., Giordano, L., Dupr\u00e9, D.T.: Conformance analysis of the execution of clinical guidelines with basic medical knowledge and clinical terminology. In: Miksch, S., Riano, D., Teije, A. (eds.) KR4HC 2014. LNCS, vol. 8903, pp. 62\u201377. Springer, Heidelberg (2014)"},{"issue":"3","key":"5_CR15","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.artmed.2005.10.006","volume":"36","author":"A Teije ten","year":"2006","unstructured":"ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P.J.F., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Artif. Intell. Med. 36(3), 193\u2013209 (2006)","journal-title":"Artif. Intell. Med."},{"volume-title":"Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, Studies in Health Technology and Informatics","year":"2008","key":"5_CR16","unstructured":"ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, Studies in Health Technology and Informatics, vol. 139. IOS Press, Amsterdam (2008)"},{"issue":"3","key":"5_CR17","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/S0933-3657(01)00087-2","volume":"23","author":"P Terenziani","year":"2001","unstructured":"Terenziani, P., Molino, G., Torchio, M.: A modular approach for representing and executing clinical guidelines. Artif. Intell. Med. 23(3), 249\u2013276 (2001)","journal-title":"Artif. Intell. Med."},{"key":"5_CR18","unstructured":"The Potsdam Answer Set Solving Collection. \n                      http:\/\/potassco.sourceforge.net\/"}],"container-title":["Lecture Notes in Computer Science","Knowledge Representation for Health Care"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26585-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T16:32:06Z","timestamp":1559320326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26585-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319265841","9783319265858"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26585-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}