{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T02:53:15Z","timestamp":1780109595014,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642281143","type":"print"},{"value":"9783642281150","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28115-0_20","type":"book-chapter","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T15:44:07Z","timestamp":1327419847000},"page":"200-211","source":"Crossref","is-referenced-by-count":21,"title":["Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge"],"prefix":"10.1007","author":[{"given":"Alessio","family":"Bottrighi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefania","family":"Montani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Terenziani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Advani, A., Lo, K., Shahar, Y.: Intention-based critiquing of guideline-oriented medical care: The asgaard project at stanford. In: Proc. AMIA Annual Symposium, pp. 483\u2013487 (1998)"},{"key":"20_CR2","unstructured":"Balser, M., Duelli, C., Reif, W.: Formal semantics of asbru-an overview. In: Proceedings of IDPT 2002 (2002)"},{"key":"20_CR3","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: Adlassnig, K.-P., Blobel, B., Mantas, J., Masic, I. (eds.) Proceedings of MIE 2009, pp. 688\u2013692 (2009)"},{"issue":"1-2","key":"20_CR4","doi-asserted-by":"crossref","first-page":"135","DOI":"10.3233\/FI-2010-361","volume":"105","author":"F. Chesani","year":"2010","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: A Logic-Based, Reactive Calculus of Events. Fundamenta Informaticae\u00a0105(1-2), 135\u2013161 (2010)","journal-title":"Fundamenta Informaticae"},{"issue":"1-4","key":"20_CR5","first-page":"47","volume":"28","author":"L. Chittaro","year":"2000","unstructured":"Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. AMAI\u00a028(1-4), 47\u2013106 (2000)","journal-title":"AMAI"},{"issue":"15","key":"20_CR6","doi-asserted-by":"publisher","first-page":"2227","DOI":"10.1016\/j.ins.2005.10.007","volume":"176","author":"N.K. Cicekli","year":"2006","unstructured":"Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Information Sciences\u00a0176(15), 2227\u20132267 (2006)","journal-title":"Information Sciences"},{"issue":"4","key":"20_CR7","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1080\/146392300455558","volume":"24","author":"P.A. Clercq De","year":"2000","unstructured":"De Clercq, P.A., Blom, J.A., Hasman, A., Korsten, H.H.M.: Gaston: an architecture for the acquisition and execution of clinical guideline-application tasks. Med. Inform Internet Med.\u00a024(4), 247\u2013264 (2000)","journal-title":"Med. Inform Internet Med."},{"issue":"1","key":"20_CR8","first-page":"1","volume":"22","author":"D.B. Fridsma","year":"2001","unstructured":"Fridsma, D.B., (Guest ed.): Special issue on workflow management and clinical guidelines. JAMIA\u00a022(1), 1\u201380 (2001)","journal-title":"JAMIA"},{"issue":"1","key":"20_CR9","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.-J., ten Teije, A., van Harmelen, F., Serban, R.: Using model checking for critiquing based on clinical guidelines. Artificial Intelligence in Medicine\u00a046(1), 19\u201336 (2009)","journal-title":"Artificial Intelligence in Medicine"},{"issue":"6","key":"20_CR10","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.\u00a019(6), 832\u2013846 (2007)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"1","key":"20_CR11","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11678564_15","volume-title":"Business Process Management Workshops","author":"A. Rozinat","year":"2006","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol.\u00a03812, pp. 163\u2013176. Springer, Heidelberg (2006)"},{"key":"20_CR13","series-title":"Studies in Health Technology and Informatics","volume-title":"Computer-based Medical Guidelines and Protocols: A Primer and Current Trends","year":"2008","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.\u00a0139. IOS Press, Amsterdam (2008)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Terenziani, P., Montani, S., Bottrighi, A., Molino, G., Torchio, M.: Applying Artificial Intelligence to Clinical Guidelines: the GLARE Approach. In: Teije, et al. (eds.) [13], vol.\u00a0139, pp. 273\u2013282 (July 2008)","DOI":"10.3233\/978-1-58603-873-1-273"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28115-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T06:05:50Z","timestamp":1742364350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28115-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642281143","9783642281150"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28115-0_20","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}