{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,10]],"date-time":"2026-11-10T22:17:42Z","timestamp":1794349062493,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540735984","type":"print"},{"value":"9783540735991","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73599-1_55","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T15:06:17Z","timestamp":1188399977000},"page":"411-420","source":"Crossref","is-referenced-by-count":3,"title":["The Role of Model Checking in Critiquing Based on Clinical Guidelines"],"prefix":"10.1007","author":[{"given":"Perry","family":"Groot","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arjen","family":"Hommersom","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Lucas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Radu","family":"Serban","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Annette","family":"ten Teije","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"van Harmelen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"55_CR1","unstructured":"Advani, A., Lo, K., Shahar, Y.: Intention-based critiquing of guideline-oriented medical care. In: Proceedings of AMIA Annual Symposium, pp. 483\u2013487 (1998)"},{"key":"55_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.) Model Checking Software. LNCS, vol.\u00a03925, pp. 219\u2013233. Springer, Heidelberg (2006)"},{"key":"55_CR3","volume-title":"Model Checking","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, A.D.: Model Checking. MIT Press, Cambridge, Massachusetts, London, England (2001)"},{"key":"55_CR4","unstructured":"Gertner, A.S.: Critiquing: effective decision support in time-critical domains. PhD thesis, Dept. of Computer & Information Science, University of Pennsylvania (1995)"},{"key":"55_CR5","unstructured":"Hommersom, A.J., Groot, P., Lucas, P.J.F., Marcos, M., Martinez-Salvador, B.: A constraint-based approach to medical guidelines and protocols. In: ECAI 2006 WS \u2013 AI techniques in healthcare: evidence based guidelines and protocols (2006)"},{"key":"55_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-49213-5_14","volume-title":"Compositionality: The Significant Difference","author":"O. Kupferman","year":"1998","unstructured":"Kupferman, O., Vardi, M.Y.: Modular model checking. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 381\u2013401. Springer, Heidelberg (1998)"},{"key":"55_CR7","doi-asserted-by":"crossref","unstructured":"Marcos, M., Berger, G., van Harmelen, F., ten Teije, A., Roomans, H., Miksch, S.: Using critiquing for improving medical protocols: Harder than it seems. In: 8th European Conference on Artificial Intelligence in Medicine, pp. 431\u2013441 (2001)","DOI":"10.1007\/3-540-48229-6_59"},{"key":"55_CR8","volume-title":"A critiquing approach to Expert Computer Advice: ATTENDING","author":"P. Miller","year":"1984","unstructured":"Miller, P.: A critiquing approach to Expert Computer Advice: ATTENDING. Pittman Press, London (1984)"},{"key":"55_CR9","doi-asserted-by":"crossref","unstructured":"Shahar, Y., Miksch, S., Johnson, P.: A task-specific ontology for the application and critiquing of time oriented clinical guidelines. In: Proceedings of the sixth Conference on Artificial Intelligence in Medicine in Europe, pp. 51\u201361 (1997)","DOI":"10.1007\/BFb0029435"},{"issue":"4","key":"55_CR10","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1145\/129852.129861","volume":"35","author":"B.G. Silverman","year":"1992","unstructured":"Silverman, B.G.: Survey of expert critiquing systems: Practical and theoretical frontiers. Communications of the ACM\u00a035(4), 106\u2013127 (1992)","journal-title":"Communications of the ACM"},{"key":"55_CR11","unstructured":"Sips, R., Braun, L., Roos, N.: Applying formal medical guidelines for critiquing. In: ECAI 2006 WS \u2013 AI techniques in healthcare: evidence based guidelines and protocols (2006)"},{"key":"55_CR12","unstructured":"Terenziani, P., Giodano, L., Bottrighi, A., Montani, S., Donzella, L.: SPIN model checking for the verifcation of clinical guideline. In: ECAI 2006 WS \u2013 AI techniques in healthcare: evidence-baded guidelines and protocols (2006)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Medicine"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73599-1_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T04:03:45Z","timestamp":1550894625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73599-1_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540735984","9783540735991"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73599-1_55","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-73599-1","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}