{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:13:16Z","timestamp":1725459196863},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627098"},{"type":"electronic","value":"9783540684480"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0029433","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T13:43:51Z","timestamp":1138196631000},"page":"19-38","source":"Crossref","is-referenced-by-count":2,"title":["Protocols for medical procedures and therapies: A provisional description of the PROforma language and tools"],"prefix":"10.1007","author":[{"given":"John","family":"Fox","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicky","family":"Johns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Rahmanzadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,11,22]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Ambler, S \u201e A categorical approach to the semantics of argumentation\u201c Mathematical Structures, 1996.","DOI":"10.1017\/S0960129500000931"},{"key":"4_CR2","volume-title":"Practical Reasoning","author":"S. K. Das","year":"1996","unstructured":"Das S K, Fox J, Krause P J \u201eA unified framework for hypothetical and practical reasoning (1): Theoretical Foundations\u201c in D M Gabbay and H J Ohlbach, Practical Reasoning, Berlin: Springer 1996."},{"key":"4_CR3","volume-title":"Knowledge Engineering, volume 2","author":"J Fox","year":"1990","unstructured":"Fox J, Symbolic Decision Procedures for Knowledge Based Systems, in H Adeli (ed) Knowledge Engineering, volume 2, New York: McGraw Hill, 1990."},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0933-3657(93)90015-U","volume":"5","author":"J Fox","year":"1993","unstructured":"Fox J \u201eOn the soundness and safety of expert systems\u201c Artificial Intelligence in Medicine, 5, 159\u2013179, 1993.","journal-title":"Artificial Intelligence in Medicine"},{"key":"4_CR5","unstructured":"Fox J, Glowinski A J, O'Neil M \u201eThe Oxford System of Medicine\u201c Artificial Intelligence in Medicine, 1990."},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1055\/s-0038-1635278","volume":"19","author":"J Fox","year":"1980","unstructured":"Fox J, Barber D C and Bardhan KD \u201eA quantitative comparison with rule-based diagnostic inference\u201c Meth. Inform. Med. 19, 210\u2013215, 1980.","journal-title":"Meth. Inform. Med."},{"issue":"2","key":"4_CR7","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/21.52546","volume":"20","author":"J Fox","year":"1990","unstructured":"Fox J, Clark DA, Glowinski A J and O'Neil M \u201eUsing predicate logic to integrate qualitative reasoning and classical decision theory, IEEE Trans. Systems, Man and Cybernetics, 20(2), 347\u2013357, 1990.","journal-title":"IEEE Trans. Systems, Man and Cybernetics"},{"key":"4_CR8","unstructured":"Fox J, Krause P J and Ambler S \u201eArguments, contradictions and practical reasoning\u201c in B Neumann (ed) Proc. 10 th Eur. Conf. On AI, 623\u2013627, 1992."},{"key":"4_CR9","volume-title":"Practical Reasoning","author":"J Fox","year":"1996","unstructured":"Fox J and Das S K \u201eA unified framework for hypothetical and practical reasoning (2): Lessons from medicine\u201c in D M Gabbay and H J Ohlbach, Practical Reasoning, Berlin: Springer 1996."},{"issue":"4","key":"4_CR10","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1055\/s-0038-1635046","volume":"33","author":"P Hammond","year":"1994","unstructured":"Hammond P, Harris A L, Das S K and Wyatt J \u201eSafety and decision support in oncology\u201c Meth. Inform. Med., 33 (4), 371\u2013381, 1994.","journal-title":"Meth. Inform. Med."},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1055\/s-0038-1634896","volume":"32","author":"H. A. Heathfield","year":"1993","unstructured":"Heathfield H A and Wyatt J \u201ePhilosophies for the design and development of clinical decision support systems\u201c Meth. Inform. Med, 32, 1\u20138, 1993.","journal-title":"Meth. Inform. Med"},{"key":"4_CR12","first-page":"200","volume-title":"The Arden Syntax for Medical Logic Modules","author":"G Hripzsak","year":"1990","unstructured":"Hripzsak G, Clayton PD, Pryor TA, Haug P, Wigertz OB and Van der Lei J \u201eThe Arden Syntax for Medical Logic Modules\u201c in Proc 14 th Annual Symposium on Computer Applications in Medical Care, Washington: IEEE Press, 200\u2013204, 1990."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Krause P, Ambler S, Elvang-Goransson M and Fox J \u201eA logic of argumentation for reasoning under uncertainty\u201c Computational Intelligence, 11(1), 1995.","DOI":"10.1111\/j.1467-8640.1995.tb00025.x"},{"key":"4_CR14","volume-title":"Proc. AIME95","author":"M. A. Musen","year":"1995","unstructured":"Musen M A, Tu S W, Das A K and Shahar Y \u2018A component based architecture for automation of Protocol-Directed Therapy', in Barahona P, Stefanelli M and Wyatt J (eds) Proc. AIME95, Berlin: Springer, 1995."},{"issue":"3","key":"4_CR15","doi-asserted-by":"crossref","first-page":"237","DOI":"10.3109\/14639239009025271","volume":"15","author":"M O'Neil","year":"1990","unstructured":"O'Neil M and Glowinski A J \u201eEvaluating and validating very large knowledge based systems\u201c Medical Informatics, 15 (3), 237\u2013251, 1990.","journal-title":"Medical Informatics"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0004-3702(96)00002-1","volume":"85","author":"M Pradhan","year":"1996","unstructured":"Pradhan M, Henrion M, Provan G, Del Favero B, Huang K \u201eThe sensitivity of belief networks to imprecise probabilities: an experimental investigation\u201c Artificial Intelligence, 85, 363\u2013397, 1996.","journal-title":"Artificial Intelligence"},{"key":"4_CR17","unstructured":"Sitter H, Prunte H, Lorenz \u201eA new version of the Programme ALGO for clinical algorithms\u201c in J Brender et al (eds), Medical Informatics Europe, IOS Press, 1996."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Medicine"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T11:26:23Z","timestamp":1555413983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627098","9783540684480"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0029433","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}