{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:26:18Z","timestamp":1725557178828},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781846286629"},{"type":"electronic","value":"9781846286636"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-1-84628-663-6_1","type":"book-chapter","created":{"date-parts":[[2010,5,27]],"date-time":"2010-05-27T14:15:40Z","timestamp":1274969740000},"page":"3-16","source":"Crossref","is-referenced-by-count":0,"title":["Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines"],"prefix":"10.1007","author":[{"given":"Arjen","family":"Hommersom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perry","family":"Groot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Lucas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Balser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"M. Balser. Verifying Concurrent System with Symbolic Execution \u2014 Temporal Reasoning is Symbolic Execution with a Little Induction. PhD thesis, University of Augsburg, Augsburg, Germany, 2005."},{"key":"1_CR2","unstructured":"M. Balser, C. Duelli, and W. Reif. Formal semantics of asbru \u2014 an overview. In Proceedings of the International Conference on Integrated Design and Process Technology, Passadena, June 2002. Society for Design and Process Science."},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1136\/qhc.12.1.18","volume":"12","author":"AGREE Collaboration.","year":"2003","unstructured":"AGREE Collaboration. Development and validation of an international appraisal instrument for assessing the quality of clinical practice guidelines: the agree project. Quality & Safety in Health Care, 12:18\u201323, 2003.","journal-title":"Quality & Safety in Health Care"},{"key":"1_CR4","unstructured":"J. Fox and S. Das. Safe and Sound: Artificial Intelligence in Hazardous Applications. AAAI Press, 2000."},{"key":"1_CR5","first-page":"201","volume":"3581","author":"M. Gendt van","year":"2005","unstructured":"M. van Gendt, A. van Teije, R. Serban, and F. van Harmelen. Formalising medical quality indicators to improve guidelines. In AIME, number 3581 in LNAI, pages 201\u2013220. Springer Verlag, 2005.","journal-title":"AIME"},{"key":"1_CR6","unstructured":"General Medical Counsil \u2014 Protecting patients, guiding doctors. Good medical practise, http:\/\/www.gmc-uk.org. Third edition, May 2001."},{"key":"1_CR7","first-page":"654","volume":"3229","author":"A.J. Hommersom","year":"2004","unstructured":"A.J. Hommersom, P.J.F. Lucas, and M. Balser. Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. In JELIA\u2019 04, volume 3229 of LNCS, pages 654\u2013666. Springer-Verlag, 2004.","journal-title":"JELIA\u2019 04"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"P.J.F. Lucas. Quality checking of medical guidelines through logical abduction. In F. Coenen, A. Preece, and A.L. Mackintosh, editors, Proc. of AI-2003, volume XX, pages 309\u2013321, London, 2003. Springer.","DOI":"10.1007\/978-0-85729-412-8_23"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"M. Marcos, M. Balser, A. ten Teije, and F. van Harmelen. From informal knowledge to formal logic: A realistic case study in medical protocols. In Proceedings of EKAW, pages 49\u201364. Springer, 2002.","DOI":"10.1007\/3-540-45810-7_8"},{"issue":"4","key":"1_CR10","first-page":"209","volume":"12","author":"S. Miksch","year":"1999","unstructured":"S. Miksch. Plan management in the medical domain. AI Communications, 12(4):209\u2013235, 1999.","journal-title":"AI Communications"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1197\/jamia.M1135","volume":"10nr]l","author":"M. Peleg","year":"2003","unstructured":"M. Peleg et al. Comparing computer-interpr\u00e9table guideline models: a case-study approach. Journal of the American Medical Informatics Association, 10nr](l):52\u201368, 2003.","journal-title":"Journal of the American Medical Informatics Association"},{"issue":"l","key":"1_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0933-3657(00)00050-6","volume":"20","author":"S. Quaglini","year":"2000","unstructured":"S. Quaglini, M. Stefanelli, A. Cavallini, G Micieli, C. Fassino, and C. Mossa. Guideline-based careflow system. Artificial Intelligence in Medicine, 20(l):5\u201322, 2000.","journal-title":"Artificial Intelligence in Medicine"},{"key":"1_CR13","first-page":"67","volume":"42","author":"G.E.H.M. Rutten","year":"1999","unstructured":"G.E.H.M. Rutten, S. Verhoeven, R.J. Heine, W.J.C. de Grauw, P.V.M. Cromme, and K. Reenders. NHG-standaard diabetes mellitus type 2 (eerste herziening). Huisarts Wet, 42:67\u201384, 1999.","journal-title":"Huisarts Wet"},{"key":"1_CR14","unstructured":"A. Seyfang, R. Kosara, and S. Miksch. Asbru\u2019s reference manual, asbru version 7.3. Technical Report Asgaard-TR-20002-1, Vienna University of Technology, Institute of Software Technology, 2002."},{"issue":"4","key":"1_CR15","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1177\/107327480000700411","volume":"7","author":"S.H. Woolf","year":"2000","unstructured":"S.H. Woolf. Evidence-based medicine and practice guidelines: an overview. Cancer Control, 7(4):362\u2013367, 2000.","journal-title":"Cancer Control"}],"container-title":["Research and Development in Intelligent Systems XXIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84628-663-6_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T19:51:10Z","timestamp":1605729070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84628-663-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781846286629","9781846286636"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-84628-663-6_1","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}