{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T14:46:14Z","timestamp":1775832374420,"version":"3.50.1"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s10506-012-9117-8","type":"journal-article","created":{"date-parts":[[2012,3,10]],"date-time":"2012-03-10T10:40:21Z","timestamp":1331376021000},"page":"57-82","source":"Crossref","is-referenced-by-count":12,"title":["Reconstructing Popov v. Hayashi in a framework for argumentation with structured arguments and Dungean semantics"],"prefix":"10.1007","volume":"20","author":[{"given":"Henry","family":"Prakken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,3,11]]},"reference":[{"key":"9117_CR1","unstructured":"Amgoud L, Bodenstaff L, Caminada M, McBurney P, Parsons S, Prakken H, van Veenen J, Vreeswijk G (2006) Final review and report on formal argumentation system, Deliverable D2.6, ASPIC IST-FP6-002307"},{"key":"9117_CR2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/1-4020-4146-2_2","volume-title":"Information technology and lawyers: advanced technology in the legal domain, from challenges to daily routine","author":"K Ashley","year":"2006","unstructured":"Ashley K (2006) Case-based reasoning. In: Lodder A, Oskamp A (eds) Information technology and lawyers: advanced technology in the legal domain, from challenges to daily routine, Springer, Berlin, pp 23\u201360"},{"key":"9117_CR3","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1016\/j.artint.2007.04.009","volume":"171","author":"K Atkinson","year":"2007","unstructured":"Atkinson K, Bench-Capon T (2007) Practical reasoning as presumptive argumentation using action based alternating transition systems. Artif Intell 171:855\u2013874","journal-title":"Artif Intell"},{"key":"9117_CR4","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/logcom\/13.3.429","volume":"13","author":"T Bench-Capon","year":"2003","unstructured":"Bench-Capon T (2003) Persuasion in practical argument using value-based argumentation frameworks. J Logic Comput 13:429\u2013448","journal-title":"J Logic Comput"},{"key":"9117_CR5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/1-4020-4146-2_3","volume-title":"Information technology and lawyers: advanced technology in the legal domain, from challenges to daily routine","author":"T Bench-Capon","year":"2006","unstructured":"Bench-Capon T, Prakken H (2006a) Argumentation. In: Lodder A, Oskamp A (eds) Information technology and lawyers: advanced technology in the legal domain, from challenges to daily routine, Springer, Berlin, pp 61\u201380"},{"key":"9117_CR6","first-page":"247","volume-title":"Computational models of argument. Proceedings of COMMA 2006","author":"T Bench-Capon","year":"2006","unstructured":"Bench-Capon T, Prakken H (2006b) Justifying actions by accruing arguments. In: Dunne P, Bench-Capon T (eds) Computational models of argument. Proceedings of COMMA 2006, IOS Press, Amsterdam etc, pp 247\u2013258"},{"key":"9117_CR7","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/s10506-010-9094-8","volume":"18","author":"T Bench-Capon","year":"2010","unstructured":"Bench-Capon T, Prakken H (2010) Using argument schemes for hypothetical reasoning in law. Artif Intell Law 18:153\u2013174","journal-title":"Artif Intell Law"},{"key":"9117_CR8","doi-asserted-by":"crossref","unstructured":"Bex F (2009) Evidence for a good story. A hybrid theory of arguments, stories and criminal evidence, doctoral dissertation Faculty of Law, University of Groningen","DOI":"10.1007\/978-94-007-0140-3_4"},{"key":"9117_CR9","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/B:ARTI.0000046007.11806.9a","volume":"12","author":"F Bex","year":"2003","unstructured":"Bex F, Prakken H, Reed C, Walton D (2003) Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artif Intell Law 12:125\u2013165","journal-title":"Artif Intell Law"},{"key":"9117_CR11","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P Dung","year":"1995","unstructured":"Dung P (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n\u2014person games. Artif Intell 77:321\u2013357","journal-title":"Artif Intell"},{"key":"9117_CR12","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF00871972","volume":"2","author":"T Gordon","year":"1994","unstructured":"Gordon T (1994) The Pleadings Game: an exercise in computational dialectics. Artif Intell Law 2:239\u2013292","journal-title":"Artif Intell Law"},{"key":"9117_CR13","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1016\/j.artint.2007.04.010","volume":"171","author":"T Gordon","year":"2007","unstructured":"Gordon T, Prakken H, Walton D (2007) The Carneades model of argument and burden of proof. Artif Intell 171:875\u2013896","journal-title":"Artif Intell"},{"key":"9117_CR14","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/BF00118493","volume":"4","author":"J Hage","year":"1996","unstructured":"Hage J (1996) A theory of legal reasoning and a logic to match. Artif Intell Law 4:199\u2013273","journal-title":"Artif Intell Law"},{"key":"9117_CR15","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00872529","volume":"3","author":"R Loui","year":"1995","unstructured":"Loui R, Norman J (1995) Rationales and argument moves. Artif Intell Law 3:159\u2013189","journal-title":"Artif Intell Law"},{"key":"9117_CR16","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/0004-3702(94)90057-4","volume":"67","author":"J Pollock","year":"1994","unstructured":"Pollock J (1994) Justification and defeat. Artif Intell 67:377\u2013408","journal-title":"Artif Intell"},{"key":"9117_CR17","first-page":"253","volume":"48","author":"H Prakken","year":"2001","unstructured":"Prakken H (2001) Modelling defeasibility in law: logic or procedure?. Fundam Inform 48:253\u2013271","journal-title":"Fundam Inform"},{"key":"9117_CR18","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1023\/A:1019536206548","volume":"10","author":"H Prakken","year":"2002","unstructured":"Prakken H (2002) An exercise in formalising teleological case-based reasoning. Artif Intell Law 10:113\u2013133","journal-title":"Artif Intell Law"},{"key":"9117_CR19","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s10503-005-4418-7","volume":"19","author":"H Prakken","year":"2005","unstructured":"Prakken H (2005a) AI and law, logic and argument schemes. Argumentation 19:303\u2013320","journal-title":"Argumentation"},{"key":"9117_CR20","doi-asserted-by":"crossref","unstructured":"Prakken H (2005b) A study of accrual of arguments, with applications to evidential reasoning. In: Proceedings of the 10th international conference on artificial intelligence and law. ACM Press, New York, pp 85\u201394","DOI":"10.1145\/1165485.1165500"},{"key":"9117_CR21","doi-asserted-by":"crossref","first-page":"1009","DOI":"10.1093\/logcom\/exi046","volume":"15","author":"H Prakken","year":"2005","unstructured":"Prakken H (2005c) Coherence and flexibility in dialogue games for argumentation. J Log Comput 15:1009\u20131040","journal-title":"J Log Comput"},{"key":"9117_CR22","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s10506-008-9069-1","volume":"16","author":"H Prakken","year":"2008","unstructured":"Prakken H (2008) Formalising ordinary legal disputes: a case study. Artif Intell Law 16:333\u2013359","journal-title":"Artif Intell Law"},{"key":"9117_CR23","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"H Prakken","year":"2010","unstructured":"Prakken H (2010) An abstract framework for argumentation with structured arguments. Argument Comput 1:93\u2013124","journal-title":"Argument Comput"},{"key":"9117_CR24","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H Prakken","year":"1997","unstructured":"Prakken H, Sartor G (1997) Argument-based extended logic programming with defeasible priorities. J Appl Non-Class Log 7:25\u201375","journal-title":"J Appl Non-Class Log"},{"key":"9117_CR25","first-page":"223","volume-title":"Legal evidence and proof: statistics, stories, logic","author":"H Prakken","year":"2009","unstructured":"Prakken H, Sartor G (2009) A logical analysis of burdens of proof. In: Kaptein H, Prakken H, Verheij B (eds) Legal evidence and proof: statistics, stories, logic, Ashgate Publishing, Farnham, pp 223\u2013253"},{"key":"9117_CR26","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1142\/S0218213004001922","volume":"13","author":"C Reed","year":"2004","unstructured":"Reed C, Rowe G (2004) Araucaria: Software for argument analysis, diagramming and representation. Int J AI Tools 13:961\u2013980","journal-title":"Int J AI Tools"},{"key":"9117_CR27","unstructured":"Sartor G (2008) Legal policies and theories of legality: from \u2018banana\u2019s\u2019 to Radbruch\u2019s formula. European University Institute Florence, EUI Working Papers Law 27"},{"key":"9117_CR10","unstructured":"van den Braak S (2010) Sensemaking software for crime analysis, doctoral dissertation Department of Information and Computing Sciences, Utrecht University"},{"key":"9117_CR28","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1023\/B:ARTI.0000046008.49443.36","volume":"11","author":"B Verheij","year":"2003","unstructured":"Verheij B (2003) Dialectical argumentation with argumentation schemes: an approach to legal logic. Artif Intell Law 11:167\u2013195","journal-title":"Artif Intell Law"},{"key":"9117_CR29","first-page":"21","volume-title":"Legal knowledge and information systems. JURIX 2008: the twentyfirst annual conference","author":"B Verheij","year":"2008","unstructured":"Verheij B (2008) About the logical relations between cases and rules. In: Francesconi E, Sartor G, Tiscornia D (eds) Legal knowledge and information systems. JURIX 2008: the twentyfirst annual conference, IOS Press, Amsterdam etc, pp 21\u201332"},{"key":"9117_CR30","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0004-3702(96)00041-0","volume":"90","author":"G Vreeswijk","year":"1997","unstructured":"Vreeswijk G (1997) Abstract argumentation systems. Artif Intell 90:225\u2013279","journal-title":"Artif Intell"},{"key":"9117_CR31","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511802034","volume-title":"Argumentation schemes","author":"D Walton","year":"2008","unstructured":"Walton D, Reed C, Macagno F (2008) Argumentation schemes. Cambridge University Press, Cambridge"},{"key":"9117_CR32","first-page":"151","volume-title":"Legal knowledge and information systems. JURIX 2007: the twentieth annual conference","author":"A Wyner","year":"2007","unstructured":"Wyner A, Bench-Capon T, Atkinson K (2007) Arguments, values and baseballs: representation of Popov v. Hayashi. In: Lodder A, Mommers L (eds) Legal knowledge and information systems. JURIX 2007: the twentieth annual conference, IOS Press, Amsterdam etc, pp 151\u2013160"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s10506-012-9117-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T04:43:08Z","timestamp":1561437788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-012-9117-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["9117"],"URL":"https:\/\/doi.org\/10.1007\/s10506-012-9117-8","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3]]}}}