{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T14:46:13Z","timestamp":1775832373707,"version":"3.50.1"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,9,1]],"date-time":"2008-09-01T00:00:00Z","timestamp":1220227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1007\/s10506-008-9066-4","type":"journal-article","created":{"date-parts":[[2008,11,21]],"date-time":"2008-11-21T16:04:23Z","timestamp":1227283463000},"page":"305-328","source":"Crossref","is-referenced-by-count":25,"title":["A formal model of adjudication dialogues"],"prefix":"10.1007","volume":"16","author":[{"given":"Henry","family":"Prakken","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,11,22]]},"reference":[{"key":"9066_CR1","unstructured":"Bench-Capon T (1998) Specification and implementation of Toulmin dialogue game, Legal knowledge-based systems. JURIX: the eleventh conference, Gerard Noodt Instituut, Nijmegen, pp 5\u201319"},{"key":"9066_CR2","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1023\/A:1008308627745","volume":"8","author":"T Bench-Capon","year":"2000","unstructured":"Bench-Capon T, Geldard T, Leng P (2000) A method for the computational modelling of dialectical argument with dialogue games. Artif Intell Law 8:233\u2013254","journal-title":"Artif Intell Law"},{"key":"9066_CR3","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1093\/logcom\/11.2.257","volume":"11","author":"G Brewka","year":"2001","unstructured":"Brewka G (2001) Dynamic argument systems: a formal model of argumentation processes based on situation calculus. J Logic Comput 11:257\u2013282","journal-title":"J Logic Comput"},{"key":"9066_CR4","volume-title":"Dialogue games: an approach to discourse analysis","author":"L Carlson","year":"1983","unstructured":"Carlson L (1983) Dialogue games: an approach to discourse analysis. Reidel Publishing Company, Dordrecht"},{"key":"9066_CR5","doi-asserted-by":"crossref","unstructured":"Gordon T (1993) The pleadings game: formalizing procedural justice, Proceedings of the fourth international conference on artificial intelligence and law, ACM Press, New York, pp 10\u201319","DOI":"10.1145\/158976.158978"},{"key":"9066_CR6","volume-title":"Reasoning with rules. An essay on legal reasoning and its underlying logic, law and philosophy library","author":"J Hage","year":"1997","unstructured":"Hage J (1997) Reasoning with rules. An essay on legal reasoning and its underlying logic, law and philosophy library. Kluwer Academic Publishers, Dordrecht\/Boston\/London"},{"key":"9066_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1023\/A:1008348321016","volume":"8","author":"J Hage","year":"2000","unstructured":"Hage J (2000) Dialectical models in artificial intelligence and law. Artif Intell Law 8:137\u2013172","journal-title":"Artif Intell Law"},{"key":"9066_CR8","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF00871759","volume":"2","author":"J Hage","year":"1994","unstructured":"Hage J, Leenes R, Lodder A (1994) Hard cases: a procedural approach. Artif Intell Law 2:113\u2013166","journal-title":"Artif Intell Law"},{"key":"9066_CR9","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1111\/j.1755-2567.1971.tb00065.x","volume":"37","author":"C Hamblin","year":"1971","unstructured":"Hamblin C (1971) Mathematical models of dialogue. Theoria 37:130\u2013155","journal-title":"Theoria"},{"key":"9066_CR10","doi-asserted-by":"crossref","unstructured":"Leenes R (2001) Burden of proof in dialogue games and Dutch civil procedure, Proceedings of the eighth international conference on artificial intelligence and law, ACM Press, New York, pp 109\u2013118","DOI":"10.1145\/383535.383549"},{"key":"9066_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3957-1","volume-title":"DiaLaw. On legal justification and dialogical models of argumentation, law and philosophy library","author":"A Lodder","year":"1999","unstructured":"Lodder A (1999) DiaLaw. On legal justification and dialogical models of argumentation, law and philosophy library. Kluwer Academic Publishers, Dordrecht\/Boston\/London"},{"key":"9066_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/0824-7935.00055","volume":"14","author":"R Loui","year":"1998","unstructured":"Loui R (1998) Process and policy: resource-bounded non-demonstrative reasoning. Comput Intell 14:1\u201338","journal-title":"Comput Intell"},{"key":"9066_CR13","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF00258422","volume":"8","author":"J Mackenzie","year":"1979","unstructured":"Mackenzie J (1979) Question-begging in non-cumulative systems. J Philos Logic 8:117\u2013133","journal-title":"J Philos Logic"},{"key":"9066_CR14","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00118495","volume":"4","author":"A Peczenik","year":"1996","unstructured":"Peczenik A (1996) Jumps and logic in the law. Artif Intell Law 4:297\u2013329","journal-title":"Artif Intell Law"},{"key":"9066_CR15","first-page":"253","volume":"48","author":"H Prakken","year":"2001","unstructured":"Prakken H (2001a) Modelling defeasibility in law: logic or procedure? Fundamenta Informaticae 48:253\u2013271","journal-title":"Fundamenta Informaticae"},{"key":"9066_CR16","doi-asserted-by":"crossref","unstructured":"Prakken H (2001b) Modelling reasoning about evidence in legal procedure, Proceedings of the eighth international conference on artificial intelligence and law. ACM Press, New York, pp 119\u2013128","DOI":"10.1145\/383535.383550"},{"key":"9066_CR17","doi-asserted-by":"crossref","first-page":"1009","DOI":"10.1093\/logcom\/exi046","volume":"15","author":"H Prakken","year":"2005","unstructured":"Prakken H (2005) Coherence and flexibility in dialogue games for argumentation. J Logic Comput 15:1009\u20131040","journal-title":"J Logic Comput"},{"key":"9066_CR18","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1017\/S0269888906000865","volume":"21","author":"H Prakken","year":"2006","unstructured":"Prakken H (2006) Formal systems for persuasion dialogue. Knowl Eng Rev 21:163\u2013188","journal-title":"Knowl Eng Rev"},{"key":"9066_CR19","doi-asserted-by":"crossref","unstructured":"Prakken H, Gordon T (1998) Rules of order for electronic group decision making\u2014a formalization methodology, In: Padget J (ed) Collaboration between human and artificial societies. Coordination and agent-based distributed computing, number 1624 in Springer, Lecture notes in AI, Springer Verlag, Berlin, pp 246\u2013263","DOI":"10.1007\/10703260_15"},{"key":"9066_CR21","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-classical Logics 7:25\u201375","journal-title":"J Appl Non-classical Logics"},{"key":"9066_CR22","doi-asserted-by":"crossref","unstructured":"Prakken H, Sartor G (2002) The role of logic in computational models of legal argument: a critical survey, In: Kakas A, Sadri F (eds) Logic programming and beyond. Essays in honour of Robert A. Kowalski, Part II, number 2048 in Springer, Lecture notes in computer science, Springer Verlag, Berlin, pp 342\u2013380","DOI":"10.1007\/3-540-45632-5_14"},{"key":"9066_CR23","doi-asserted-by":"crossref","unstructured":"Prakken H, Sartor G (2006) Presumptions and burdens of proof, In: van Engers TM (ed) Legal knowledge and information systems. JURIX 2006: the nineteenth annual conference, IOS Press, Amsterdam etc., pp 21\u201330","DOI":"10.2139\/ssrn.963761"},{"key":"9066_CR24","doi-asserted-by":"crossref","unstructured":"Prakken H, Sartor G (2007) Formalising arguments about the burden of persuasion, Proceedings of the eleventh international conference on artificial intelligence and law, ACM Press, New York, pp 97\u2013106","DOI":"10.2139\/ssrn.998206"},{"key":"9066_CR25","unstructured":"Prakken H, Vreeswijk G (2002) Logics for defeasible argumentation, In: Gabbay D, G\u00fcnthner F (eds) Handbook of philosophical logic, 2nd edn. Vol. 4, Kluwer Academic Publishers, Dordrecht\/Boston\/London, pp 219\u2013318"},{"key":"9066_CR20","doi-asserted-by":"crossref","unstructured":"Prakken H, Reed C, Walton D (2005) Dialogues about the burden of proof, Proceedings of the tenth international conference on artificial intelligence and law, ACM Press, New York, pp 115\u2013124","DOI":"10.1145\/1165485.1165503"},{"key":"9066_CR26","volume-title":"Dialectics: a controversy-oriented approach to the theory of knowledge","author":"N Rescher","year":"1977","unstructured":"Rescher N (1977) Dialectics: a controversy-oriented approach to the theory of knowledge. State University of New York Press, Albany, NY"},{"key":"9066_CR27","doi-asserted-by":"crossref","unstructured":"Sartor G (1995) Defeasibility in legal reasoning, In: Bankowski Z, White I, Hahn U (eds) Informatics and the foundations of legal reasoning, Law and philosophy library, Kluwer Academic Publishers, Dordrecht\/Boston\/London, pp 119\u2013157","DOI":"10.1007\/978-94-015-8531-6_4"},{"key":"9066_CR28","volume-title":"Legal reasoning: a cognitive approach to the law","author":"G Sartor","year":"2005","unstructured":"Sartor G (2005) Legal reasoning: a cognitive approach to the law. Springer Verlag, Berlin"},{"key":"9066_CR29","unstructured":"Strong J (ed) (1992) McCormick on Evidence, 4th edn. West Publishing Co., St Paul"},{"key":"9066_CR30","volume-title":"The uses of argument","author":"S Toulmin","year":"1958","unstructured":"Toulmin S (1958) The uses of argument. Cambridge University Press, Cambridge"},{"key":"9066_CR31","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1023\/A:1008304521924","volume":"8","author":"G Vreeswijk","year":"2000","unstructured":"Vreeswijk G (2000) Representation of formal dispute with a standing order. Artif Intell Law 8:205\u2013231","journal-title":"Artif Intell Law"},{"key":"9066_CR32","volume-title":"Commitment in dialogue. Basic concepts of interpersonal reasoning","author":"D Walton","year":"1995","unstructured":"Walton D, Krabbe E (1995) Commitment in dialogue. Basic concepts of interpersonal reasoning. State University of New York Press, Albany, NY"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-008-9066-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-008-9066-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-008-9066-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,10]],"date-time":"2020-05-10T17:48:30Z","timestamp":1589132910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-008-9066-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["9066"],"URL":"https:\/\/doi.org\/10.1007\/s10506-008-9066-4","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9]]}}}