{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:11Z","timestamp":1725663851455},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540567356"},{"type":"electronic","value":"9783540476436"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56735-6_48","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:29:15Z","timestamp":1330255755000},"page":"109-118","source":"Crossref","is-referenced-by-count":4,"title":["The development of a \u201cLogic of Argumentation\u201d"],"prefix":"10.1007","author":[{"given":"Paul","family":"Krause","sequence":"first","affiliation":[]},{"given":"Simon","family":"Ambler","sequence":"additional","affiliation":[]},{"given":"John","family":"Fox","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"11_CR1","volume-title":"Department of Computer Science Report","author":"S. Ambler","year":"1992","unstructured":"S. Ambler: A Categorical Approach to the Semantics of Argumentation. Department of Computer Science Report, Queen Mary College, London (1992)"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"34","author":"N. G. Bruijn de","year":"1972","unstructured":"N. G. de Bruijn: Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem. Indagationes Mathematicae 34, 381\u2013392 (1972)","journal-title":"Indagationes Mathematicae"},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1177\/0272989X9101100106","volume":"11","author":"T. Chard","year":"1991","unstructured":"T. Chard: Qualitative probability versus quantitative probability in clinical diagnosis: a study using a computer simulation. Medical Decision Making 11, 38\u201341 (1991)","journal-title":"Medical Decision Making"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1037\/\/0003-066X.34.7.571","volume":"34","author":"R.M. Dawes","year":"1979","unstructured":"R.M. Dawes: The robust beauty of improper linear models in decision making. American Psychologist 34, 571\u2013582 (1979)","journal-title":"American Psychologist"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"R. Dyckhoff: Contraction-free Sequent Calculi for Intuitionistic Logic. J. Symbolic Logic (to appear, 1992)","DOI":"10.2307\/2275431"},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0933-3657(90)90007-E","volume":"2","author":"J. Fox","year":"1990","unstructured":"J. Fox, A.J. Glowinski, C. Gordon, S.J. Hajnal, M.J. O'Neil: Logic engineering for knowledge engineering. Artifical Intelligence in Medicine 2, 323\u2013339 (1990)","journal-title":"Artifical Intelligence in Medicine"},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/21.52546","volume":"20","author":"J. Fox","year":"1990","unstructured":"J. Fox, D. A. Clark, A.J. Glowinski, M.J. O'Neil: Using predicate logic to integrate qualitative reasoning and classical decision theory. IEEE Trans. on Systems, Man, and Cybernetics 20, 347\u2013357 (1990)","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"11_CR8","unstructured":"J. Fox, M. Clarke: Towards a formalisation of arguments in decision making. Proc. Stanford Spring Symposium on Argumentation and Belief. 92\u201399 (1991)"},{"key":"11_CR9","unstructured":"D. Gabbay: Labelled Deductive Systems. CIS Technical Report 90-22, University of Munich 1990"},{"key":"11_CR10","volume-title":"Logic for Computer Science","author":"J.H. Gallier","year":"1987","unstructured":"J.H. Gallier Logic for Computer Science. Chichester: John Wiley 1987"},{"key":"11_CR11","volume-title":"Proofs and Types","author":"J. Girard","year":"1989","unstructured":"J. Girard, P. Taylor, Y. Lafont: Proofs and Types. Cambridge: Cambridge University Press 1989"},{"key":"11_CR12","volume-title":"Intuitionism. An Introduction","author":"A. Heyting","year":"1956","unstructured":"A. Heyting: Intuitionism. An Introduction. Amsterdam: North-Holland Publ. Co 1956"},{"key":"11_CR13","volume-title":"Introduction to Combinators and \u03bb-Calculus","author":"J.R. Hindley","year":"1986","unstructured":"J.R. Hindley, J.P. Seldin: Introduction to Combinators and \u03bb-Calculus. Cambridge: Cambridge University Press 1986"},{"key":"11_CR14","series-title":"London Math. Soc. Lecture Note Series 64","volume-title":"Basic Concepts of Enriched Category Theory","author":"G.M. Kelly","year":"1982","unstructured":"G.M. Kelly: Basic Concepts of Enriched Category Theory. London Math. Soc. Lecture Note Series 64. Cambridge: Cambridge University Press 1982"},{"key":"11_CR15","volume-title":"Introduction to higher order categorical logic","author":"J. Lambek","year":"1986","unstructured":"J. Lambek, P.J. Scott: Introduction to higher order categorical logic. Cambridge: Cambridge University Press 1986"},{"key":"11_CR16","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","volume":"50","author":"S.L. Lauritzen","year":"1988","unstructured":"S.L. Lauritzen, D.J. Spiegelhalter: Local computations with probabilities on graphical structures and their application to expert systems. J. R. Statist. Soc. B. 50, 157\u2013224 (1988)","journal-title":"J. R. Statist. Soc. B."},{"key":"11_CR17","volume-title":"An early draft of Locke's Essay","author":"J. Locke","year":"1671","unstructured":"J. Locke (1671). See: R.I. Aaron, J. Gibb (eds): An early draft of Locke's Essay. Oxford: Oxford University Press 1936"},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"237","DOI":"10.3109\/14639239009025271","volume":"15","author":"M. O'Neil","year":"1990","unstructured":"M. O'Neil, A.J. Glowinski: Evaluating and validating very large knowledge-based systems. Med. Inform. 15, 237\u2013251 (1990)","journal-title":"Med. Inform."},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF00330065","volume":"19","author":"G. Shafer","year":"1978","unstructured":"G. Shafer: Non-additive Probabilities in the Work of Bernoulli and Lambert. Archive for History of Exact Sciences 19, 309\u2013370 (1978)","journal-title":"Archive for History of Exact Sciences"},{"key":"11_CR20","unstructured":"P.N. Wilson: Justification, computational efficiency and generalisation of the Dempster Shafer Theory. Research Report no. 15, Dept. of Computing and Math. Sciences, Oxford Polytechnic 1989 (also to appear in Artificial Intelligence)"}],"container-title":["Lecture Notes in Computer Science","IPMU '92\u2014Advanced Methods in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56735-6_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T14:54:44Z","timestamp":1713624884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56735-6_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540567356","9783540476436"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-56735-6_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}