{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:13:20Z","timestamp":1725567200268},"publisher-location":"Dordrecht","reference-count":48,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048195879"},{"type":"electronic","value":"9789048195886"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-90-481-9588-6_15","type":"book-chapter","created":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T22:14:08Z","timestamp":1285971248000},"page":"295-331","source":"Crossref","is-referenced-by-count":2,"title":["The Law of Evidence and Labelled Deduction: A Position Paper"],"prefix":"10.1007","author":[{"given":"Dov M.","family":"Gabbay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Woods","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,9,30]]},"reference":[{"key":"15_CR1","unstructured":"Aldisert RJ (1989). Logic for Lawyers: A Guide to Clear Legal Thinking. Clark Boardman."},{"key":"15_CR2","unstructured":"Allen C (2000). Practical Guide to Evidence, 2nd ed. Cavdndish Pub."},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1093\/logcom\/13.3.429","volume":"13","author":"TJM Bench-Capon","year":"2003","unstructured":"Bench-Capon TJM (2003). Persuasion in practical argument using value-based argumentation frameworks. Journal of Logic and Computation, 13, 429\u2013448. See also http:\/\/www.csc.liv.ac.uk\/tbc\/FTP\/kings2.ppt","journal-title":"Journal of Logic and Computation"},{"key":"15_CR4","unstructured":"Bench-Capon T (2003). Agreeing to differ: modelling persuasive dialogue between parties without a consensus about values. Informal Logic, forthcoming, 2003."},{"key":"15_CR5","unstructured":"Bench-Capon T Wiley (2000). Knowledge based systems in the legal domain. A survey article in Encyclopaedia of Computer Science and Technology, available on the web at http:\/\/www.csc.liv.ac.uk\/~lial\/lial\/tut.html"},{"key":"15_CR6","unstructured":"Barringer H, Gabbay DM, and Woods J (2005). Temporal Dynamics of argumentation networks. In Siekmann J, Hutter D, and Stephan W (eds). Mechanising Mathematical Reasoning, Springer Lecture Notes in Computer Science 2605, pp. 59\u201398, 2005."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Carmo J. and Jones A (2002). Deontic logic and contrary-to-duties. In Gabbay DM and Guenthener F (eds). Handbook of Philosophical Logic, Volume 8, 2nd ed, pp. 265\u2013345 and Kluwer.","DOI":"10.1007\/978-94-010-0387-2_4"},{"key":"15_CR8","unstructured":"Carnielli W, Coniglio M, Gabbay DM, Gouveia P and Sernadas C (2007). Analysis and Synthesis of Logics. Springer 7, p. 500."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Christie GC (2000). The Notion of an Ideal Audience in Legal Argument. Kluwer.","DOI":"10.1007\/978-94-015-9520-9"},{"key":"15_CR10","unstructured":"Coleman J (1992). Risks and Wrongs. Cambridge University Press."},{"key":"15_CR11","unstructured":"Cross SR (1999). On Evidence. Butterworth."},{"key":"15_CR12","first-page":"342","volume-title":"Fibring Neural Networks, In Proceedings of 19th National Conference on Artificial Itnelligence (AAA\u201904)","author":"AS d\u2019Avila Garcez","year":"2004","unstructured":"d\u2019Avila Garcez AS and Gabbay DM (2004). Fibring Neural Networks, In Proceedings of 19th National Conference on Artificial Itnelligence (AAA\u201904), San Jose, CA. AAAI Press, pp. 342\u2013347."},{"key":"15_CR13","unstructured":"d\u2019Avila Garcez AS, Lamb LC, Gabbay DM and Broda K (2002a). Connectionist Modal Logics for Distributed Knowledge Representation."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"d\u2019Avila Garcez AS, Broda K and Gabbay DM (2002a). Neural-Symbolic Learning Systems. Springer-Verlag.","DOI":"10.1007\/978-1-4471-0211-3"},{"issue":"6","key":"15_CR15","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1093\/logcom\/exi057","volume":"15","author":"AS D\u2019Avila Garcez","year":"2005","unstructured":"D\u2019Avila Garcez AS, Gabbay DM and Lamb L (2005). Value based argumentation frameworks as neural networks. Journal of Logic and Computation, 15(6), 1041\u20131058.","journal-title":"Journal of Logic and Computation"},{"key":"15_CR16","unstructured":"Dennis H (1992). Law of Evidence. Sweet and Maxwell."},{"key":"15_CR17","unstructured":"Deon Conferences. Journals. Please see: http:\/\/www.doc.ic.ac.uk\/deon02\/ http:\/\/www.cert.fr\/deon00\/ ARTIFICIAL INTELLIGENCE AND LAW http:\/\/www.denniskennedy.com\/ailaw.htm http:\/\/www.iaail.org\/ There are many useful Links to Evidence-Related Web Sites: at http:\/\/tillers.net"},{"key":"15_CR18","unstructured":"Gabbay DM. Reactive Kripke models and contrary-to-duty obligations. Expanded version to appear in Journal of Applied Logic."},{"key":"15_CR19","unstructured":"Gabbay DM (1996). Labelled Deduction Systems. Oxford University Press."},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Gabbay DM (1998). Fibring Logics, Oxford University Press.","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"key":"15_CR21","unstructured":"Gabbay DM (2001). Dynamics of practical reasoning, a position paper. In Segerberg K. et al. (eds) pp. 179\u2013224. Advances in Modal Logic 2, Proceedings of Conference October 1999, CSLI Publications, Cambridge University Press."},{"key":"15_CR22","unstructured":"Gabbay DM (2002). Sampling LDS. In Jacquertte D, (ed.), A Companion to Philosophical Logic, pp. 742\u2013769. Blackwell."},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Gabbay DM (2002\u20132012). Editorial to Handbook of Philosophical Logic, 2nd edition. Kluwer, 2002\u20132012.","DOI":"10.1007\/978-94-017-0464-9"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Gabbay DM (2008). Reactive Kripke models and contrary-to-duty obligations. DEON-2008. In Deontic Logic in Computer Science, van der Meyden R and van der Torre L, (eds). LNAI 5076, Springer pp. 155\u2013173.","DOI":"10.1007\/978-3-540-70525-3_13"},{"issue":"2\u20133","key":"15_CR25","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s11225-009-9217-y","volume":"93","author":"DM Gabbay","year":"2009","unstructured":"Gabbay DM (2009). Fibring argumentation frames. Studia Logica 93(2\u20133), 231\u2013295.","journal-title":"Studia Logica"},{"issue":"2\u20133","key":"15_CR26","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s11225-009-9215-0","volume":"93","author":"DM Gabbay","year":"2009","unstructured":"Gabbay DM (2009). Modal foundations for argumentation networks. Studia Logica 93(2\u20133), 181\u2013198.","journal-title":"Studia Logica"},{"key":"15_CR27","first-page":"355","volume":"93","author":"DM Gabbay","year":"2009","unstructured":"Gabbay DM (2009). Semantics for higher level attacks in extended argumentation frames. Part 1: Overview. Studia Logica 93, 355\u2013379.","journal-title":"Studia Logica"},{"issue":"2\u20133","key":"15_CR28","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s11225-009-9216-z","volume":"93","author":"DM Gabbay","year":"2009","unstructured":"Gabbay DM and d\u2019Avila Garcez A (2009). Logical modes of attack in argumentation networks. Studia Logica 93(2\u20133), 199\u2013230.","journal-title":"Studia Logica"},{"key":"15_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1017226415794","volume":"8","author":"DM Gabbay","year":"1999","unstructured":"Gabbay DM and Woods J (1999). Cooperate with your logic ancestors. Journal of Logic, Language and Information 8, iii\u2013v.","journal-title":"Journal of Logic, Language and Information"},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"Gabbay DM and Woods J (2003). Agenda Relevance: A Study in Formal Pragmatics, Elsevier, p. 521.","DOI":"10.1016\/S1874-5075(03)80008-6"},{"key":"15_CR31","unstructured":"Gabbay DM and Woods J (2005). The Reach of Abduction: Insight and Trial, Elsevier, 5, p. 476."},{"key":"15_CR32","unstructured":"Gabbay DM and Woods J (2008). Probability in the law. In C\u00e9dric D\u00e9gremont C, Keiff L and R\u00fcckert H, (eds). Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman, College Publications."},{"key":"15_CR33","unstructured":"Gabbay DM, d\u2019Avila Garcez AS and Lamb LC (2008). Connectionist Non-classical Logics: Distributed Reasoning and Learning in Neural Networks. Monograph, Springer Verlag."},{"key":"15_CR34","unstructured":"Girard JY, Lafont Y and Taylor P (1989). Proofs and Types. Cambridge University Press."},{"key":"15_CR35","unstructured":"Guan JW and Bell DA (1991). Evidence Theory, 2 volumes. Elsevier."},{"key":"15_CR36","unstructured":"Harris JW (2003). Legal Philosophies, 2nd ed."},{"key":"15_CR37","unstructured":"Haykin S (1999). Neural Networks: A Comprehensive Foundation, 2nd edition, Prentice Hall."},{"key":"15_CR38","unstructured":"Keane A (2000). The Modern Law of Evidence, Butterworth."},{"key":"15_CR39","doi-asserted-by":"crossref","unstructured":"MacCrimmon M and Tillers P (2002) (eds). The Dynamics of Judicial Proof. Physica-Verlag.","DOI":"10.1007\/978-3-7908-1792-8"},{"key":"15_CR40","doi-asserted-by":"crossref","unstructured":"Perelman Ch (1980). Justice, Law and Argument. Reider.","DOI":"10.1007\/978-94-009-9010-4"},{"key":"15_CR41","doi-asserted-by":"crossref","unstructured":"Prakken H (1997). Logical Tools for Modelling Legal Argument, Kluwer.","DOI":"10.1007\/978-94-015-8975-8"},{"key":"15_CR42","doi-asserted-by":"crossref","unstructured":"Prakken H, Reed C and Walton D (2003). Argumentation schemes and generalisation in reasoning about evidence. ICAIL-03, June 24\u201328.","DOI":"10.1145\/1047788.1047794"},{"key":"15_CR43","unstructured":"Report of the Royal Commission of Criminal Justice, M 2263, 1993. London: HMSO, Ch 8, para 26."},{"key":"15_CR44","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"MJ Sergot","year":"1986","unstructured":"Sergot MJ, (1986) et al. (1986). British Nationality Act. Communications of the ACM 29, 370\u2013386, 1986.","journal-title":"Communications of the ACM"},{"key":"15_CR45","doi-asserted-by":"crossref","unstructured":"Shafer G (1976). A Mathematical Theory of Evidence. Princeton University Press.","DOI":"10.1515\/9780691214696"},{"key":"15_CR46","unstructured":"Uglow S (1997). Textbook on Evidence, Sweet and Maxwell."},{"key":"15_CR47","unstructured":"Williamson J. and Gabbay D (2004). Recursive Bayesian Networks and self-fibring logics. In, Gillies D, (ed) Laws and models of Science College Publications, pp 173\u2013247."},{"key":"15_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1570-2464(02)80003-9","volume-title":"Handbook of the Logic of Argumentation and Inference: The Turn Towards the Practical","author":"J. Woods","year":"2002","unstructured":"Woods J, Johnson RH, Gabbay DM and Ohlbach HJ. (2002). Logic and the Practical turn. In Handbook of the Logic of Argumentation and Inference: The Turn Towards the Practical, D. M. Gabbay, R. H. Johnson and H. J. Ohlbach, eds. pp. 1\u201339. Volume 1 of Studies in Logic and Practical Reasoning, North-Holland."}],"container-title":["Approaches to Legal Rationality"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-90-481-9588-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T21:51:19Z","timestamp":1711835479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-90-481-9588-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9789048195879","9789048195886"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-90-481-9588-6_15","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}