{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:40Z","timestamp":1725663880086},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540559306"},{"type":"electronic","value":"9783540473121"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55930-2_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:46:13Z","timestamp":1330253173000},"page":"100-108","source":"Crossref","is-referenced-by-count":0,"title":["Logic engineering and clinical dilemmas"],"prefix":"10.1007","author":[{"given":"John","family":"Fox","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"9_CR1","volume-title":"Towards a formalisation of arguments in decision making","author":"J Fox","year":"1990","unstructured":"Fox J, Clarke M \u201cTowards a formalisation of arguments in decision making\u201d Proc. Stanford Spring Symposium on Argumentation and Belief, Stanford: AAAI, 1990."},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0933-3657(90)90007-E","volume":"2","author":"J Fox","year":"1990","unstructured":"Fox J, Glowinski A J, Gordon C and O'Neil M \u201cLogic engineering for knowledge engineering: the Oxford System of Medicine\u201d Artificial Intelligence in Medicine, 2, 323\u2013339, 1990.","journal-title":"Artificial Intelligence in Medicine"},{"key":"9_CR3","unstructured":"Fox J, Krause P and Ambler S\u201cArguments, contradictions and practical reasoning\u201d Proc. European Conference on Artificial Intelligence, 1992."},{"key":"9_CR4","volume-title":"Lecture notes in Medical Informatics 44","author":"A. J. Glowinski","year":"1991","unstructured":"Glowinski A J, Coicra E and O'Neil M \u201cThe role of domain models in maintaining consistency of large medical knowledge bases, Lecture notes in Medical Informatics 44, Berlin Springer, 1991"},{"key":"9_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511812866","volume-title":"Philosophy of Logics","author":"S Haack","year":"1978","unstructured":"Haack S Philosophy of Logics, Cambridge: Cambridge University Press, 1978"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Krause, P Ambler S and Fox \u201cThe development of a logic of argumentation\u201d Proceedings of IPMU '92, Majorca, 1992.","DOI":"10.1007\/3-540-56735-6_48"},{"key":"9_CR7","unstructured":"Lindley D V Making decisions (2nd edition) Wiley, 1985."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"O'Neil M and Glowinski A J \u201cEvaluating and validating very large knowledge based systems\u201d Medical Informatics, 1990.","DOI":"10.3109\/14639239009025271"},{"key":"9_CR9","unstructured":"Parsons S and Fox J \u201cQualitative and interval algebras for robust decision making under uncertainty\u201d in M G Singh and L Trave-Massuyes (ed) Decision support systems and qualitative reasoning. North Holland, 1991."},{"key":"9_CR10","volume-title":"Knowledge engineering in medicine: Methods, applications and evaluation","author":"J Wyatt","year":"1992","unstructured":"Wyatt J and Spiegelhaoter D J \u201cEvaluating medical decisions aids: what to test and how\u201d in J Talmon and J Fox (eds) Knowledge engineering in medicine: Methods, applications and evaluation, Heidelberg: Springer, 1992."}],"container-title":["Lecture Notes in Computer Science","Logic Programming in Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55930-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:02:17Z","timestamp":1605646937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55930-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540559306","9783540473121"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-55930-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}