Publications
2023
Scholarly publications
van Woerkom, W., Grossi, D.
, Prakken, H., & Verheij, B. (2023).
Hierarchical a Fortiori Reasoning with Dimensions. In G. Sileno, J. Spanakis, & G. V. Dijck (Eds.),
Legal Knowledge and Information Systems: 36th Annual Conference (pp. 43-52). (Frontiers in Artificial Intelligence and Applications; Vol. 379). IOS Press.
https://doi.org/10.3233/FAIA230944https://dspace.library.uu.nl/bitstream/handle/1874/436468/FAIA-379-FAIA230944_1_.pdf?sequence=1 Robeer, M., Bex, F., Feelders, A., & Prakken, H. (2023).
Explaining Model Behavior with Global Causal Analysis. In L. Longo (Ed.),
Explainable Artificial Intelligence: First World Conference, xAI 2023, Lisbon, Portugal, July 26–28, 2023, Proceedings, Part I (1 ed., pp. 299–323). (Communications in Computer and Information Science; Vol. 1901). Springer.
https://doi.org/10.1007/978-3-031-44064-9_17https://dspace.library.uu.nl/bitstream/handle/1874/436382/978-3-031-44064-9_17.pdf?sequence=1 Prakken, H. (2023).
Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions. In P. Marquis, S. Tran Cao, & G. Kern-Isberner (Eds.),
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (pp. 562-571). IJCAI Organization.
https://doi.org/10.24963/kr.2023/55 van Woerkom, W., Grossi, D.
, Prakken, H., & Verheij, B. (2023).
Hierarchical precedential constraint. In
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law (pp. 333-342). ACM Press.
https://doi.org/10.1145/3594536.3595154 Peters, J., Bex, F., & Prakken, H. (2023).
Model- and data-agnostic justifications with a fortiori case-based argumentation. In C. Algoritmi, & T. Reuters (Eds.),
ICAIL '23: Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law (pp. 207-216). Association for Computing Machinery (ACM).
https://doi.org/10.1145/3594536.3595164 Odekerken, D., Bex, F., & Prakken, H. (2023).
Justification, stability and relevance for case-based reasoning with incomplete focus cases. In
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law (pp. 177-186). ACM Press.
https://webspace.science.uu.nl/~prakk101/papers/icail23obp.pdf 2022
Scholarly publications
van den Belt, T.
, & Prakken, H. (2022).
Measuring the complexity of Dutch legislation. In E. Francesconi, G. Borges, & C. Sorge (Eds.),
Legal Knowledge and Information Systems. JURIX 2022: The Thirty-fifth Annual Conference. (pp. 249-254). (Frontiers in Artificial Intelligence and Applications; Vol. 362). IOS Press.
https://doi.org/10.3233/FAIA220475Peters, J. GT., Bex, F. J., & Prakken, H. (2022).
Justifications derived from inconsistent case bases using authoritativeness. In K. Čyras, T. Kampik, O. Cocarascu, & A. Rago (Eds.),
Proceedings of the 1st International Workshop on Argumentation for eXplainable AI (ArgXAI 2022) co-located with 9th International Conference on Computational Models of Argument (COMMA 2022) Cardiff, Wales, September 12, 2022. (pp. 1-13). (CEUR Workshop Proceedings; Vol. 3209). CEUR WS.
https://ceur-ws.org/Vol-3209/ van Woerkom, W., Grossi, D.
, Prakken, H., & Verheij, B. (2022).
Justification in Case-Based Reasoning. In K. Čyras, T. Kampik, O. Cocarascu, & A. Rago (Eds.),
Proceedings of the First International Workshop on Argumentation for eXplainable AI (pp. 1-13). CEUR Workshop Proceedings.
https://dspace.library.uu.nl/bitstream/handle/1874/424137/5942.pdf?sequence=1 van Woerkom, W., Grossi, D., Prakken, H., & Verheij, B. (2022). Landmarks in Case-Based Reasoning: From Theory to Data. In S. Schlobach, M. Pérez-Ortiz, & M. Tielman (Eds.), HHAI2022: Augmenting Human Intellect (Vol. 354, pp. 212-224). (Frontiers in Artificial Intelligence and Applications). IOS Press.
Pisano, G., Calegari, R.
, Prakken, H., & Sartor, G. (2022).
Arguing about the existence of conflicts. In F. Toni, S. Polberg, R. Booth, M. Caminada, & H. Kido (Eds.),
Computational Models of Argument: Proceedings of COMMA 2022 (pp. 284-295). ( Frontiers in Artificial Intelligence and Applications; Vol. 353). IOS Press.
https://doi.org/10.3233/FAIA220160Prakken, H. (2022).
Formalising an aspect of argument strength: degrees of attackability. In F. Toni, S. Polberg, R. Booth, M. Caminada, & H. Kido (Eds.),
Computational Models of Argument. Proceedings of COMMA 2022 (Vol. 353, pp. 296-307). (Frontiers in Artificial Intelligence and Applications; Vol. 353). IOS Press.
https://doi.org/10.3233/FAIA220161 Sartor, G., Araszkiewicz, M., Atkinson, K. D.
, Bex, F., van Engers, T., Francesconi, E.
, Prakken, H., Sileno, G., Schilder, F., Wyner, A. Z., & Bench-Capon, T. J. M. (2022).
Thirty years of Artificial Intelligence and Law: the second decade.
Artificial Intelligence and Law,
30(4), 521-557.
https://doi.org/10.1007/s10506-022-09326-7https://dspace.library.uu.nl/bitstream/handle/1874/424333/s10506_022_09326_7.pdf?sequence=1Wieten, R., Bex, F., Prakken, H., & Renooij, S. (2022).
Deductive and abductive argumentation based on information graphs.
Argument and Computation,
13(1), 49-91.
https://doi.org/10.3233/aac-200539 Prakken, H., & Ratsma, R. (2022).
A top-level model of case-based argumentation for explanation: Formalisation and experiments. Argument and Computation,
13(2), 159-194.
https://doi.org/10.3233/AAC-210009 2021
Scholarly publications
Bex, F., & Prakken, H. (2021).
Can predictive justice improve the predictability and consistency of judicial decision-making? In E. Schweighofer (Ed.),
Legal Knowledge and Information Systems. JURIX 2021: The Thirty-Fourth Annual Conference (pp. 207-214). (Frontiers in Artificial Intelligence and Applications; Vol. 346). IOS Press.
https://doi.org/10.3233/FAIA210338 Prakken, H. (2021).
Philosophical Reflections on Argument Strength and Gradual Acceptability. In J. Vejnarová, & N. Wilson (Eds.),
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings (1 ed., pp. 144-158). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12897 LNAI). Springer.
https://doi.org/10.1007/978-3-030-86772-0_11https://dspace.library.uu.nl/bitstream/handle/1874/415005/Prakken2021_Chapter_PhilosophicalReflectionsOnArgu.pdf?sequence=1 Wieten, R., Bex, F., Prakken, H., & Renooij, S. (2021).
Information graphs and their use for Bayesian network graph construction.
International Journal of Approximate Reasoning,
136, 249-280.
https://doi.org/10.1016/j.ijar.2021.06.007 Prakken, H. (2021).
A formal analysis of some factor- and precedent-based accounts of precedential constraint.
Artificial Intelligence and Law,
29(4), 559-585. Article 4.
https://doi.org/10.1007/s10506-021-09284-6 2020
Scholarly publications
Prakken, H., Bex, F. J., & Mackor, A. M. (2020).
Editors' Review and Introduction: Models of Rational Proof in Criminal Law.
Topics in Cognitive Science,
12(4), 1053-1067.
https://doi.org/10.1111/tops.12519 Prakken, H., Bistarelli, S., Santini, F., & Taticchi, C. (Eds.) (2020).
Computational Models of Argument: Proceedings of COMMA 2020. (Frontiers of Artificial Intelligence; Vol. 326). IOS Press.
https://doi.org/10.3233/FAIA326 Prakken, H. (2020).
On validating theories of abstract argumentation frameworks: the case of bipolar argumentation frameworks. In F. Grasso, N. L. Green, J. Schneider, & S. Wells (Eds.),
Computational Models of Natural Argument 2020: Proceedings of the 20th Workshop on Computational Models of Natural Argument co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020) Perugia, Italy (and online), September 8th, 2020. (Vol. 2669, pp. 21-30). (CEUR Workshop Proceedings; Vol. 2669). CEUR Workshop Proceedings.
http://ceur-ws.org/Vol-2669/paper3.pdf Akata, Z., Balliet, D., de Rijke, M.
, Dignum, F. P. M., Dignum, V., Eiben, G., Fokkens, A., Grossi, D., Hindriks, K. V., Hoos, H., Hung, H., Jonker, C., Monz, C., Neerincx, M., Oliehoek, F.
, Prakken, H., Schlobach, S.
, van der Gaag, L. C., van Harmelen, F., ... Welling, M. (2020).
A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence.
Computer,
53(8), 18-28.
https://doi.org/10.1109/MC.2020.2996587Atkinson, K., Bench-Capon, T. J. M.
, Bex, F. J., Sartor, G.
, Prakken, H., & Verheij, B. (2020).
In Memoriam Douglas N. Walton: The influence of Doug Walton on AI and Law.
Artificial Intelligence and Law,
28(3), 281-326.
https://doi.org/10.1007/s10506-020-09272-2Wieten, G. M., Bex, F. J., Prakken, H., & Renooij, S. (2020).
Deductive and Abductive Reasoning with Causal and Evidential Information. In H. Prakken, S. Bistarelli, F. Santini, & C. Taticchi (Eds.),
Computational Models of Argument: Proceedings of COMMA 2020 (pp. 383-394). (Frontiers in Artificial Intelligence and Applications; Vol. 326). IOS Press.
https://doi.org/10.3233/FAIA200522 Garcia, A. J.
, Prakken, H., & Simari, G. R. (2020).
A comparative study of some central notions of ASPIC+ and DeLP.
Theory and Practice of Logic Programming,
20(3), 358-390.
https://doi.org/10.1017/S1471068419000437Prakken, H. (2020).
A new use case for argumentation support tools: supporting discussions of Bayesian analyses of complex criminal cases.
Artificial Intelligence and Law,
28(1), 27-49.
https://doi.org/10.1007/s10506-018-9235-z 2019
Scholarly publications
Prakken, H. (2019).
Comparing alternative factor- and precedent-based accounts of precedential constraint. In M. Araszkiewicz, & V. Rodriguez-Doncel (Eds.),
Legal Knowledge and Information Systems. JURIX 2019: The Thirty-Second Annual Conference. (pp. 73-82). (Frontiers in Artificial Intelligence and Applications; Vol. 322). IOS Press.
https://doi.org/10.3233/FAIA190308 Wieten, R., Bex, F., Prakken, H., & Renooij, S. (2019).
Constructing Bayesian Network Graphs from Labeled Arguments. In G. Kern-Isberner, & Z. Ognjanović (Eds.),
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings (1 ed., pp. 99-110). (Lecture Notes in Computer Science; Vol. 11726). Springer Cham.
https://doi.org/10.1007/978-3-030-29765-7_9 Wieten, G. M., Bex, F. J., Prakken, H., & Renooij, S. (2019).
Supporting Discussions About Forensic Bayesian Networks Using Argumentation. In
ICAIL '19: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law (pp. 143-152). Association for Computing Machinery (ACM).
https://doi.org/10.1145/3322640.3326710 2018
Scholarly publications
Prakken, H. (2018).
Modelling support relations between arguments in debates. In C. Chesnevar, M. A. Falappa, E. Ferme, A. J. Garcia, A. G. Maguitman, D. C. Martinez, M. V. Martinez, R. O. Rodriguez, & G. I. Simari (Eds.),
Argumentation-based Proofs of Endearment: Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday (pp. 349-365). (Tributes; Vol. 37). College Publications.
https://dspace.library.uu.nl/bitstream/handle/1874/396466/debates.pdf?sequence=1 Wieten, G. M., Bex, F. J., Prakken, H., & Renooij, S. (2018).
Exploiting Causality in Constructing Bayesian Network Graphs from Legal Arguments. In M. Palmirani (Ed.),
Legal Knowledge and Information Systems: JURIX 2018: The Thirty-first Annual Conference (pp. 151-160). (Frontiers in Artificial Intelligence and Applications; Vol. 313). IOS Press.
https://doi.org/10.3233/978-1-61499-935-5-151 Modgil, S.
, & Prakken, H. (2018).
Abstract rule-based argumentation. In P. Baroni, D. Gabbay, M. Giacomin, & L. van der Torre (Eds.),
Handbook of Formal Argumentation (Vol. 1, pp. 286-361). College Publications.
http://www.cs.uu.nl/groups/IS/archive/henry/rba.pdfWieten, G. M., Bex, F. J., van der Gaag, L. C., Prakken, H., & Renooij, S. (2018).
Refining a heuristic for constructing Bayesian networks from structured arguments. In B. Verheij, & M. Wiering (Eds.),
Artificial Intelligence: 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers (1 ed., pp. 32-45). (Communications in Computer and Information Science; Vol. 823). Springer Cham.
https://doi.org/10.1007/978-3-319-76892-2_3 2017
Scholarly publications
Prakken, H. (2017).
Argument schemes for discussing Bayesian modellings of complex criminal cases. In A. Z. Wyner, & G. Casini (Eds.),
Legal Knowledge and Information Systems. JURIX 2017: The Thirtieth Annual Conference. (pp. 69-78). (Frontiers in Artificial Intelligence and Applications; Vol. 302). IOS Press.
https://doi.org/10.3233/978-1-61499-838-9-69 Atkinson, K., Baroni, P., Giacomin, M., Hunter, A.
, Prakken, H., Reed, C., Simari, G., Thimm, M., & Villata, S. (2017).
Towards artificial argumentation.
AI Magazine,
38(3), 25-36.
https://doi.org/10.1609/aimag.v38i3.2704Wei, B.
, & Prakken, H. (2017).
Defining the structure of arguments with AI models of argumentation. In F. Bex, F. Grasso, N. Green, F. Paglieri, & C. Reed (Eds.),
Argument Technologies: Theory, Analysis, and Applications (pp. 1-22). (Studies in Logic and Argumentation; Vol. 68). College Publications.
https://dspace.library.uu.nl/bitstream/handle/1874/356057/WeibinPrakken17.pdf?sequence=1Bex, F. J., van Engers, T., Prakken, H., & Verheij, B. (Eds.) (2017). Special Issue for the Workshop Artificial Intelligence for Justice. Artificial Intelligence and Law, 25(1).
Bex, F., Prakken, H., van Engers, T., & Verheij, B. (2017).
Introduction to the special issue on Artificial Intelligence for Justice (AI4J).
Artificial Intelligence and Law,
25(1), 1-3.
https://doi.org/10.1007/s10506-017-9198-5 Prakken, H. (2017).
On Making Autonomous Vehicles Respect Traffic Law: a Case Study for Dutch Law. In
proceedings of the Sixteenth International Conference on Artificial Intelligence and Law (pp. 241-244). ACM Press.
https://doi.org/10.1145/3086512.3086542 Prakken, H. (2017).
On relating abstract and structured probabilistic argumentation: a case study. In A. Antonucci, L. Cholvy, & O. Papini (Eds.),
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings (pp. 69-79). (Lecture Notes in Artificial Intelligence; Vol. 10369). Springer.
https://doi.org/10.1007/978-3-319-61581-3_7https://dspace.library.uu.nl/bitstream/handle/1874/354838/probarg.pdf?sequence=1 Timmer, S. T., Meyer, J. J. C., Prakken, H., Renooij, S., & Verheij, B. (2017).
A two-phase method for extracting explanatory arguments from Bayesian networks.
International Journal of Approximate Reasoning,
80, 475-494.
https://doi.org/10.1016/j.ijar.2016.09.002 2016
Scholarly publications
Vlek, C.
, Prakken, H., Renooij, S., & Verheij, B. (2016).
A method for explaining Bayesian networks for legal evidence with scenarios.
Artificial Intelligence and Law,
24(3), 285-324.
https://doi.org/10.1007/s10506-016-9183-4Grooters, D.
, & Prakken, H. (2016).
Two aspects of relevance in structured argumentation: minimality and paraconsistency.
Journal of Artificial Intelligence Research,
56, 197-245.
https://doi.org/10.1613/jair.5058Wei, B.
, & Prakken, H. (2016).
An analysis of critical-link semantics with variable degrees of justification.
Argument and Computation,
7(1), 35-53.
https://doi.org/10.3233/AAC-160003Prakken, H. (2016).
Rethinking the rationality postulates for argumentation-based inference. In P. Baroni, T. F. Gordon, T. Scheffler, & M. Stede (Eds.),
Computational Models of Argument : Proceedings of COMMA 2016 (pp. 419-430). (Frontiers in Artificial Intelligence; Vol. 287). IOS Press.
https://doi.org/10.3233/978-1-61499-686-6-419 Verheij, B.
, Bex, F. J., Timmer, S. T., Vlek, C. S.
, Meyer, J. J. C., Renooij, S., & Prakken, H. (2016).
Arguments, scenarios and probabilities: connections between three normative frameworks for evidential reasoning.
Law, Probability & Risk,
15(1), 35-70.
https://doi.org/10.1093/lpr/mgv013Other output
Verheij, B.
, Bex, F. J., Timmer, S. T., Vlek, C. S.
, Meyer, J. J. C., Renooij, S., & Prakken, H. (2016).
Arguments, scenarios and probabilities: connections between three normative frameworks for evidential reasoning. 192-193. Abstract from Benelux Conference on Artificial Intelligence, Amsterdam, Netherlands.
http://www.cs.uu.nl/groups/IS/archive/henry/lpr2015.pdf2015
Scholarly publications
Prakken, H. (2015).
Formalising debates about law-making proposals as practical reasoning. In M. Araszkiewicz, & K. Pleszka (Eds.),
Logic in the Theory and Practice of Lawmaking (pp. 301-321). ( Legisprudence Library; Vol. 2). Springer.
https://doi.org/10.1007/978-3-319-19575-9_11 Vlek, C. S.
, Prakken, H., Renooij, S., & Verheij, B. (2015).
Representing the quality of crime scenarios in a Bayesian network. In A. Rotolo (Ed.),
Legal Knowledge and Information Systems: JURIX 2015: The Twenty-eighth Annual Conference (pp. 131-140). (Frontiers in Artificial Intelligence and Applications; Vol. 279). IOS Press.
https://ebooks.iospress.nl/volumearticle/41984Timmer, S. T., Meyer, J. J. C., Prakken, H., Renooij, S., & Verheij, B. (2015).
Explaining Bayesian Networks using Argumentation. In S. Destercke, & T. Denoeux (Eds.),
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings (1 ed., pp. 83-92). (Lecture Notes in Computer Science ; Vol. 9161). Springer Cham.
https://doi.org/10.1007/978-3-319-20807-7_8 Timmer, S. T., Meyer, J. J. C., Prakken, H., Renooij, S., & Verheij, B. (2015).
A Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation. In
ICAIL '15: Proceedings of the 15th International Conference on Artificial Intelligence and Law (pp. 109-118). Association for Computing Machinery (ACM).
https://doi.org/10.1145/2746090.2746093 Vlek, C. S.
, Prakken, H., Renooij, S., & Verheij, B. (2015).
Constructing and Understanding Bayesian Networks for Legal Evidence with Scenario Schemes. In
ICAIL '15: Proceedings of the 15th International Conference on Artificial Intelligence and Law (pp. 128-137). Association for Computing Machinery (ACM).
https://doi.org/10.1145/2746090.2746097Prakken, H., Wyner, A. Z., Bench-Capon, T. J. M., & Atkinson, K. D. (2015).
A formalization of argumentation schemes for legal case-based reasoning in ASPIC+.
Journal of Logic and Computation,
25(5), 1141-1166.
https://doi.org/10.1093/logcom/ext010 Other output
Timmer, S. T., Meyer, J. J. C., Prakken, H., Renooij, S., & Verheij, B. (2015).
Demonstration of a Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation. 233-234. Abstract from 15th International Conference on Artificial Intelligence and Law, San Diego, United States.
https://doi.org/10.1145/2746090.2750370 2014
Scholarly publications
Timmer, S., Meyer, J.-J. C., Prakken, H., Renooij, S., & Verheij, B. (2014).
A Tool for the Generation of Arguments from Bayesian Networks. In S. Parsons, N. Oren, C. Reed, & F. Cerutti (Eds.),
Computational Models of Argument. Proceedings of COMMA 2014 (pp. 479-480). (Frontiers in Artificial Intelligence and Applications; Vol. 266). IOS Press.
https://doi.org/10.3233/978-1-61499-436-7-479 Prakken, H. (2014).
On support relations in abstract argumentation as abstractions of inferential relations. In T. Schaub, G. Friedrich, & B. O'Sullivan (Eds.),
Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014) (pp. 735-740). (Frontiers in Artificial Intelligence and Applications; Vol. 263). IOS Press.
https://doi.org/10.3233/978-1-61499-419-0-735 Vlek, C. S.
, Prakken, H., Renooij, S., & Verheij, B. (2014).
Extracting scenarios from a Bayesian network as explanations for legal evidence. In R. Hoekstra (Ed.),
Legal Knowledge and Information Systems. JURIX 2014: The Twenty-seventh Annual Conference (pp. 103-112). (Frontiers in Artificial Intelligence and Applications; Vol. 271). IOS Press.
https://doi.org/10.3233/978-1-61499-468-8-103Timmer, S., Prakken, H., Meyer, J.-J. C., Renooij, S., & Verheij, B. (2014).
Extracting legal arguments from forensic Bayesian networks. In R. Hoekstra (Ed.),
Legal Knowledge and Information Systems. JURIX 2014: The Twenty-seventh Annual Conference (pp. 71-80). (Frontiers in Artificial Intelligence and Applications; Vol. 271). IOS Press.
https://doi.org/10.3233/978-1-61499-468-8-71https://dspace.library.uu.nl/bitstream/handle/1874/304319/jurix2014.pdf?sequence=1 Besnard, P., Garcia, A., Hunter, A., Modgil, S.
, Prakken, H., Simari, G., & Toni, F. (2014).
Introduction to structured argumentation.
Argument and Computation,
5(1), 1-4.
https://doi.org/10.1080/19462166.2013.869764Vlek, C. S.
, Prakken, H., Renooij, S., & Verheij, B. (2014).
Building Bayesian networks for legal evidence with narratives: a case study evaluation.
Artificial Intelligence and Law,
22(4), 375-421.
https://doi.org/10.1007/s10506-014-9161-72013
Scholarly publications
Prakken, H., Wyner, A. Z., Bench-Capon, T. J. M., & Atkinson, K. D. (2013). A formalisation of argument schemes for case-based reasoning in ASPIC+. Department of Information and Computing Sciences, Utrecht University.
Prakken, H., Ionita, D., & Wieringa, R. (2013). Risk assessment as an argumentation game. In J. Leite, T. C. Son, P. Torroni, L. van den Torre, & S. Woltran (Eds.), Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV) (pp. 357-373). Springer.
Vlek, C. S., Prakken, H., Renooij, S., & Verheij, B. (2013). Modeling crime scenarios in a Bayesian network. In B. Verheij (Ed.), Proceedings of the 14th International Conference on Artificial Intelligence and Law (pp. 150-159). ACM Press.
Atkinson, K. D., Bench-Capon, T. J. M.
, Prakken, H., & Wyner, A. Z. (2013).
Argumentation schemes for reasoning about factors with dimensions. In K. D. Ashley (Ed.),
Legal Knowledge and Information Systems. JURIX 2013: The Twenty-sixth Annual Conference (pp. 39-48). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/jurix13liv.pdfVlek, C. S.
, Prakken, H., Renooij, S., & Verheij, B. (2013).
Unfolding crime scenarios with variations: a method for building a Bayesian network for legal narratives. In K. D. Ashley (Ed.),
Legal Knowledge and Information Systems. JURIX 2013: The Twenty-sixth Annual Conference (pp. 145-154). (Frontiers in Artificial Intelligence and Applications; Vol. 259). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/jurix13vlek.pdfTimmer, S. T., Meyer, J.-JC., Prakken, H., Renooij, S., & Verheij, B. (2013).
Inference and attack in Bayesian networks. In K. Hindriks, M. de Weerdt, B. van Riemsdijk, & M. Warnier (Eds.),
Proceedings of the 25th Benelux Conference on Artificial Intelligence (BNAIC 2013) (pp. 199-206). TU Delft Library.
http://www.cs.uu.nl/groups/IS/archive/henry/bnaic2013.pdf Bench-Capon, T. J. M., Prakken, H., Wyner, A. Z., & Atkinson, K. D. (2013). Argument schemes for reasoning with legal cases using values. In B. Verheij (Ed.), Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law (pp. 13-22). ACM Press.
Atkinson, K. D., Prakken, H., & Wyner, A. Z. (2013). From Knowledge Representation to Argumentation in AI, Law and Policy Making. A Festschrift in Honour of Trevor Bench-Capon on the Occasion of his 60th Birthday. (Tributes ed.) College Publications.
Prakken, H. (2013).
Relating ways to instantiate abstract argumentation frameworks. In K. D. Atkinson, H. Prakken, & A. Z. Wyner (Eds.),
From Knowledge Representation to Argumentation in AI, Law and Policy Making. A Festschrift in Honour of Trevor Bench-Capon on the Occasion of his 60th Birthday (pp. 167-189). (Tributes; No. 21). College Publications.
http://www.cs.uu.nl/groups/IS/archive/henry/catHP.pdf Vlek, C. S., Prakken, H., Renooij, S., & Verheij, B. (2013). Representing and evaluating legal narratives with subscenarios in a Bayesian Network. In Proceedings of the Fourth Workshop on Computational Models of Narrative (Open Access Series in Informatics)..
2012
Scholarly publications
Bin, W.
, & Prakken, H. (2012).
An analysis of critical-link semantics with variable degrees of justification. In F. Grasso, N. Green, & C. Reed (Eds.),
Proceedings of the ECAI-2012 Workshop on Computational Models of Natural Argument (pp. 39-43)
http://cmna.csc.liv.ac.uk//CMNA12/CMNA12-proceedings.pdfPrakken, H. (2012).
Formalising a legal opinion on a legislative proposal in the ASPIC+ framework. In B. Sch\ (Ed.),
Legal Knowledge and Information Systems. JURIX 2012: The Twenty-Fifth Annual Conference (pp. 119-128). (Frontiers in Artificial Intelligence and Applications; No. 250). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/jurix12.pdf Kok, E. M., Meyer, J.-JC., van Oostendorp, H., Prakken, H., & Vreeswijk, G. A. W. (2012). A Methodology for the Generation of Multi-Agent Argumentation Dialogue Scenarios. In M. Cossentino, M. Kaisers, K. Tuyls, & G. Weiss (Eds.), EUMAS'11 Selected and Revised Papers (Vol. LNAI 7541, pp. 160-174). Springer.
Kok, E. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2012).
Testing the benefits of structured argumentation in multi-agent deliberation dialogues. In P. McBurney, S. Parsons, & I. Rahwan (Eds.),
Proceedings of the 9th International Workshop on Argumentation in Multi-Agent Systems (ARGMAS-12) (pp. 87-106)
http://www.cs.uu.nl/groups/IS/archive/henry/argmas2012.pdf Kok, E. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2012).
Testing the benefits of structured argumentation in multi-agent deliberation dialogues (extended abstract). In V. Conitzer, & M. Winikoff (Eds.),
Proceedings of the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 1411-1412). International Foundation for Autonomous Agents and Multi-Agent Systems.
http://www.staff.science.uu.nl/ kok00125/docs/aamas2012abstract.pdf Bench-Capon, T., Araszkiewicz, M., Ashley, K., Atkinson, K., Bex, F., Borges, F., Bourcier, D., Bourgine, D., Conrad, J. G., Francesconi, E., Gordon, T. F., Governatori, G., Leidner, J. L., Lewis, D. D., Loui, R. P., McCarty, L. T.
, Prakken, H., Schilder, F., Schweighofer, E., ... Wyner, A. Z. (2012).
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law.
Artificial Intelligence and Law,
20(3), 215-319.
http://www.cs.uu.nl/groups/IS/archive/henry/ICAIL25AuthorsVersion.pdfKok, E. M., Meyer, J.-JC., van Oostendorp, H., Prakken, H., & Vreeswijk, G. A. W. (2012).
A Methodology for the Generation of Multi-Agent Argumentation Dialogue Scenarios. In M. Cossentino, M. Kaisers, K. Tuyls, & G. Weiss (Eds.),
Multi-Agent Systems: 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers (1 ed., pp. 160–174). (Lecture Notes in Computer Science ; Vol. 7541). Springer.
https://doi.org/10.1007/978-3-642-34799-3_11https://dspace.library.uu.nl/bitstream/handle/1874/308717/Scenarios.pdf?sequence=1 Bex, F. J., Modgil, S. J.
, Prakken, H., & Reed, C. (2012).
On logical reifications of the Argument Interchange Format.
Journal of Logic and Computation.
https://doi.org/10.1093/logcom/exs033 Prakken, H. (2012).
Some reflections on two current trends in formal argumentation. In A. Artikis, R. Craven, N. K. Ciçekli, B. Sadighi, & K. Stathis (Eds.),
Logic Programs, Norms and Action. Essays in Honour of Marek J. Sergot on the Occasion of his 60th Birthday (pp. 249-272). (Lecture Notes in Artificial Intelligence; No. 7360). Springer.
http://www.cs.uu.nl/groups/IS/archive/henry/mjs12.pdf Kok, E. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2012). Testing the Benefits of Structured Argumentation in Multi-Agent Deliberation Dialogues. In P. McBurney, S. Parsons, & I. Rahwan (Eds.), Proceedings of the 9th International Workshop on Argumentation in Multi-Agent Systems (pp. 87-106).
2011
Scholarly publications
Prakken, H., & Sartor, G. (2011).
On modelling burdens and standards of proof in structured argumentation. In K. D. Atkinson (Ed.),
Legal Knowledge and Information Systems. JURIX 2011: The Twenty-Fourth Annual Conference (pp. 83-92). (Frontiers in Artificial Intelligence and Applications; Vol. 235). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/jurix11.pdf Bench-Capon, T. J. M., Prakken, H., & Visser, W. (2011). Argument schemes for two-phase democratic deliberation. In T. van Engers (Ed.), Proceedings of the Thirteenth International Conference on Artificial Intelligence and Law (pp. 21-30). ACM Press.
van der Weide, T. L., Dignum, F. P. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2011). Arguing About Preferences And Decisions. In P. McBurney, I. Rahwan, & S. Parsons (Eds.), Argumentation in Multi-Agent Systems. 7th International Workshop. Revised Selected and Invited Papers (pp. 68-85). Springer.
van der Weide, T. L., Dignum, F. P. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2011).
Multi-criteria argument selection in persuasion dialogues. In K. Tumer, & P. Yolum (Eds.),
Proceedings of the 10th International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 921-928). International Foundation for Autonomous Agents and Multi-Agent Systems.
http://www.cs.uu.nl/groups/IS/archive/henry/aamas11tom.pdf Modgil, S.
, & Prakken, H. (2011).
Revisiting preferences and argumentation. In T. Walsh (Ed.),
Proceedings of the 22nd International Joint Conference on Artificial Intelligence (pp. 1021-1026). International Joint Conferences on Artificial Intelligence.
http://www.cs.uu.nl/groups/IS/archive/henry/ijcai11sm.pdfKok, E. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2011). A Formal Argumentation Framework for Deliberation Dialogues. In P. McBurney, S. Parsons, & I. Rahwan (Eds.), Argumentation in Multi-Agent Systems: Proceedings of ArgMAS 2010 (pp. 31-48). Springer.
van Gijzel, B.
, & Prakken, H. (2011).
Relating Carneades with abstract argumentation. In T. Walsh (Ed.),
Proceedings of the 22nd International Joint Conference on Artificial Intelligence (pp. 1113-1119). International Joint Conferences on Artificial Intelligence.
http://www.cs.uu.nl/groups/IS/archive/henry/ijcai11Bas.pdf2010
Scholarly publications
Prakken, H. (2010).
On the nature of argument schemes. In C. A. Reed, & C. Tindale (Eds.),
Dialectics, Dialogue and Argumentation. An Examination of Douglas Walton's Theories of Reasoning and Argument (pp. 167-185). (Tributes Series; No. 12). College Publications.
http://www.cs.uu.nl/groups/IS/archive/henry/schemes10.pdf van Driel, S.
, & Prakken, H. (2010).
Visualising the argumentation structure of an expert witness report with Rationale (extended abstract). In A. Z. Wyner (Ed.),
Proceedings of the Workshop on Modelling Legal Cases and Legal Rules, in conjunction with JURIX-10 (pp. 1-8)
http://www.cs.uu.nl/groups/IS/archive/henry/wscases.pdfKok, E. W.
, Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2010).
formal argumentation framework for deliberation dialogues. In P. McBurney, S. Parsons, & I. Rahwan (Eds.),
Proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems (ARGMAS-10) (pp. 73-90)
http://www.cs.uu.nl/groups/IS/archive/henry/argmas10eric.pdfvan der Weide, T. L., Dignum, F. P. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2010). Arguing About Preferences And Decisions (abstract). In P. Bouvry, L. van der Torre, E. Dubois, & T. Latour (Eds.), Proc. 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010)
Bex, F. J., Prakken, H., & Reed, C. A. (2010).
An analysis of the AIF in terms of the ASPIC framework. In P. Baroni, F. Cerutti, M. Giacomin, & G. R. Simari (Eds.),
Computational Models of Argument. Proceedings of COMMA 2010 (pp. 99-110). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/comma10-aif.pdf van der Weide, T. L., Dignum, F. P. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2010). Practical Reasoning Using Values (Giving Meaning to Values). In P. McBurney, I. Rahwan, S. Parsons, & N. Maudet (Eds.), Argumentation in Multi-Agent Systems, 6th International Workshop, ArgMAS 2009, Budapest, Hungary, 2009 (LNAI ed., Vol. 6057, pp. 79-93). Springer Berlin Heidelberg.
Modgil, S. J.
, & Prakken, H. (2010).
Reasoning about preferences in structured extended argumentation frameworks. In P. Baroni, F. Cerutti, M. Giacomin, & G. R. Simari (Eds.),
Computational Models of Argument. Proceedings of COMMA 2010 (pp. 347-358). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/comma10-eaf.pdfvan der Weide, T. L., Dignum, F. P. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2010).
Arguing about preferences and decisions. In P. McBurney, S. Parsons, & I. Rahwan (Eds.),
Proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems (ARGMAS-10) (pp. 229-246)
http://www.cs.uu.nl/groups/IS/archive/henry/argmas10tom.pdf 2009
Scholarly publications
van der Weide, T. L., Dignum, F. P. M., Prakken, H., Vreeswijk, G. A. W., & Meyer, J.-JC. (2009). Practical Reasoning Using Values. In P. McBurney, I. Rahwan, S. Parsons, & P. Moraitis (Eds.), Proceedings of the Sixth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2009), Budapest, Hungary (pp. 225-240)
Bench-Capon, T. J. M.
, & Prakken, H. (2009).
A case study of hypothetical and value-based reasoning in US Supreme-Court cases. In G. Governatori (Ed.),
Legal Knowledge and Information Systems. JURIX 2009: The Twenty-Second Annual Conference (pp. 11-20). (Frontiers in Artificial Intelligence and Applications; No. 205). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/jurix09.pdfPrakken, H. (2009). An abstract framework for argumentation with structured arguments. UU BETA ICS Departement Informatica.
Prakken, H. (2009). A case study of medico-legal argumentation in disability assessment (research abstract). In K. D. Atkinson (Ed.), Modeling Legal Cases. A Pre-Conference Workshop at the 12th International Conference on Artificial Intelligence and Law (pp. 91-94). Huygens Editorial.
van der Weide, T., Dignum, F. P. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2009).
Practical reasoning using values. Giving meaning to values. In P. McBurney, S. Parsons, I. Rahwan, & N. Maudet (Eds.),
Proceedings of the Sixth International Workshop on Argumentation in Multi-Agent Systems (ARGMAS-08) (pp. 225-240). Huygens Editorial.
http://www.cs.uu.nl/groups/IS/archive/henry/argmas09.pdf Joseph, S., & Prakken, H. (2009). Coherence-driven argumentation to norm consensus. In Proceedings of the Twelfth International Conference on Artificial Intelligence and Law (pp. 58-67). ACM Press.
Other output
van der Weide, T. L., Dignum, F. P. M., Prakken, H., Vreeswijk, G. A. W., & Meyer, J.-JC. (2009). Argumentation About Motivation. 34-35. Abstract from Human Factors Event.
2008
Scholarly publications
Prakken, H. (2008). A Formal Model of Adjudication Dialogues. Artificial Intelligence and Law, 16(3), 305-328.
Riveret, R.
, Prakken, H., Rotolo, A., & Sartor, G. (2008).
Heuristics in argumentation: a game-theoretical investigation. In P. Besnard, S. Doutre, & A. Hunter (Eds.),
Computational Models of Argument. Proceedings of {COMMA} 2008 (pp. 324-335). (Frontiers in Artificial Intelligence and Applications; No. 172). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/sartorprob08.pdfvan der Weide, T., Dignum, F. P. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2008). Personality-based practical reasoning. In I. Rahwan, & P. Moraitis (Eds.), Proceedings of the Fifth International Workshop on Argumentation in Multi-Agent Systems ({ARGMAS}-08) (pp. 76-93)
van den Braak, S. W., van Oostendorp, H., Prakken, H., & Vreeswijk, G. A. W. (2008).
Representing narrative and testimonial knowledge in sense-making software for crime analysis. In E. Francesconi, G. Sartor, & D. Tiscornia (Eds.),
Legal Knowledge and Information Systems. {JURIX 2008}: The Twenty-First Annual Conference (pp. 160-169). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/jurix08avers.pdf Modgil, S.
, & Prakken, H. (2008).
Applying preferences to dialogue graphs. In P. Besnard, S. Doutre, & A. Hunter (Eds.),
Computational Models of Argument. Proceedings of {COMMA} 2008 (pp. 252-263). (Frontiers in Artificial Intelligence and Applications; No. 172). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/modgilprakken08.pdfPrakken, H. (2008). Combining modes of reasoning: an application of abstract argumentation. In S. Hölldobler, C. Lutz, & H. Wansing (Eds.), Proceedings of {JELIA} 2008, The 11th European Conference on Logics in Artificial Intelligence (pp. 349-361). Springer.
van den Braak, S. W., van Oostendorp, H., Vreeswijk, G. A. W., & Prakken, H. (2008).
The role of compression and refinement in visualization tools for crime analysts. In G. Kanselaar, V. Jonker, P. A. Kirschner, & F. J. Prins (Eds.),
International Perspectives in the Learning Sciences: Cre8ing a Learning World. Proceedings of the Eighth International Conference for the Learning Sciences - {ICLS} 2008 (pp. 3-1443145)
http://people.cs.uu.nl/susanb/publications/ICLS08_BraakEtAl.pdf Prakken, H. (2008). Formalising ordinary legal disputes: a case study. Artificial Intelligence and Law, 16(4).
Bex, F. J., & Prakken, H. (2008).
Investigating stories in a formal dialogue game. In P. Besnard, S. Doutre, & A. Hunter (Eds.),
Computational Models of Argument. Proceedings of {COMMA} 2008 (pp. 73-84). (Frontiers in Artificial Intelligence and Applications; No. 172). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/bexprakken08.pdf van der Weide, T. L., Dignum, F. P. M., Meyer, J.-JC., Prakken, H., & Vreeswijk, G. A. W. (2008). Personality-Based Practical Reasoning. In I. Rahwan, & P. Moraitis (Eds.), Argumentation in Multi-Agent Systems: Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 2008 Revised Selected and Invited Papers (pp. 3-18). Springer.
van den Braak, S. W., van Oostendorp, H., Vreeswijk, G. A. W., & Prakken, H. (2008).
Utilizing compression and refinement to handle large cases in crime analysis. In F. Grasso, N. Green, R. Kibble, & C. Reed (Eds.),
Workshop Notes of the {ECAI}-06 Workshop on Computational Models of Natural Argument ({CMNA}-06} (pp. 60-67)
http://www.cs.uu.nl/groups/IS/archive/henry/CMNA08Color.pdf 2007
Scholarly publications
Riveret, R., Rotolo, A., Sartor, G.
, Prakken, H., & Roth, B. (2007).
Success chances in argument games: a probabilistic approach to legal disputes. In A. R. Lodders, & L. Mommers (Eds.),
Legal Knowledge and Information Systems. JURIX 2007: The Twentieth Annual Conference (pp. 99-108). (Frontiers in Artificial Intelligence and Applications; No. 165). IOS Press.
http://www.cs.uu.nl/research/projects/evidence/publications/Jurix2006BexF.pdfDijkstra, P., Prakken, H., & de Vey Mestdagh, C. N. J. (2007). An implementation of norm-based agent negotiation. In Proceedings of the Eleventh International Conference on Artificial Intelligence and Law (pp. 167-175). ACM Press.
Prakken, H., & Sartor, G. (2007). Formalising arguments about the burden of persuasion. In Proceedings of the Eleventh International Conference on Artificial Intelligence and Law (pp. 97-106). ACM Press.
Bex, F. J., van den Braak, S. W., van Oostendorp, H., Prakken, H., Verheij, B.
, & Vreeswijk, G. A. W. (2007).
Sense-making software for crime investigation: how to combine stories and arguments? Law, Probablity and Risk,
6(1-4), 145-168.
http://lpr.oxfordjournals.org/cgi/content/abstract/mgm007?ijkey=NpByaFIpmKYaR4F&keytype=ref van den Braak, S. W., Vreeswijk, G. A. W., & Prakken, H. (2007). AVERs: An argument visualization tool for representing stories about evidence. In Proceedings of the Eleventh International Conference on Artificial Intelligence and Law (pp. 11-15). ACM Press.
Bex, F. J., Prakken, H., & Verheij, B. (2007). Formalising argumentative story-based analysis of evidence. In Proceedings of the Eleventh International Conference on Artificial Intelligence and Law (pp. 1-10). ACM Press.
Other output
Bex, F. J., van den Braak, S. W., van Oostendorp, H., Prakken, H., Verheij, B.
, & Vreeswijk, G. A. W. (2007).
Sense-making software for crime investigation: how to combine stories and arguments?. 311-312. Abstract from Unknown event, Asilomar, USA.
http://people.cs.uu.nl/susanb/publications/BNAIC2007_BexBraakEtAl.pdf 2006
Scholarly publications
van den Braak, S. W., van Oostendorp, H., Prakken, H., & Vreeswijk, G. A. W. (2006).
A critical review of argument visualization tools: Do users become better reasoners? In F. Grasso, R. Kibble, & C. Reed (Eds.),
Workshop Notes of the ECAI-06 Workshop on Computational Models of Natural Argument (CMNA-06 (pp. 67-75)
http://www.cs.uu.nl/people/susanb/publications/ECAI06_Long_Paper_BraakEtAl.pdf Bench-Capon, T. J. M.
, & Prakken, H. (2006).
Argumentation. In A. R. Lodder, & A. Oskamp (Eds.),
Information Technology & Lawyers: Advanced technology in the legal domain, from challenges to daily routine (pp. 61-80). Springer.
http://www.cs.uu.nl/groups/IS/archive/henry/tbc+hp05.pdfPrakken, H. (2006).
Combining sceptical epistemic reasoning with credulous practical reasoning. In P. E. Dunne, & T. J. M. Bench-Capon (Eds.),
Computational Models of Argument. Proceedings of COMMA 2006 (pp. 311-322). (Frontiers in Artificial Intelligence and Applications; No. 144). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/b+a.pdf Bodenstaff, L.
, Prakken, H., & Vreeswijk, G. A. W. (2006).
On formalising dialogue systems for argumentation in the event calculus. In J. Dix, & A. Hunter (Eds.),
Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning (pp. 374-382)
http://www.cs.uu.nl/groups/IS/archive/henry/nmr06.pdfVeenen, J., & Prakken, H. (2006). A protocol for arguing about rejections in negotiation. In S. Parsons, N. Maudet, P. Moraitis, & I. Rahwan (Eds.), Argumentation in Multi-Agent Systems (pp. 138-153). Springer.
Prakken, H. (2006). Artificial Intelligence and law, logic and argumentation schemes. In D. Hitchcock, & B. Verheij (Eds.), Arguing on the Toulmin Model. New Essays in Argument Analysis and Evaluation (pp. 231-245). Springer.
Bench-Capon, T. J. M.
, & Prakken, H. (2006).
Justifying actions by accruing arguments. In P. E. Dunne, & T. J. M. Bench-Capon (Eds.),
Computational Models of Argument. Proceedings of COMMA 2006 (pp. 247-258). (Frontiers in Artificial Intelligence and Applications; No. 144). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/action.pdfPrakken, H., & Sartor, G. (2006).
Presumptions and burdens of proof. In T. M. van Engers (Ed.),
Legal Knowledge and Information Systems. JURIX 2006: The Nineteenth Annual Conference (pp. 21-30). (Frontiers in Artificial Intelligence and Applications; No. 152). IOS Press.
http://www.cs.uu.nl/groups/IS/archive/henry/jurix06bop.pdf Amgoud, L., Bodenstaff, L.
, Caminada, M., McBurney, S.
, Prakken, H., Veenen, J.
, & Vreeswijk, G. A. W. (2006).
Final Review and Report on Formal Argumentation System. ASPIC Consortium.
http://www.argumentation.org/ASPIC%20-%20Deliverables/ASPIC-D2.6.zip2005
Scholarly publications
Dijkstra, P., Bex, F. J., Prakken, H., & de Vey Mestdagh, C. N. J. (2005). Outline of a multi-agent system for regulated information exchange in crime investigations. In P. E. D. & T.J.M. Bench-Capon (Ed.), Argumentation in Artificial Intelligence and Law (pp. 27-37). Wolf Legal Publishers.
Prakken, H. (2005). AI & Law, logic and argument schemes. Argumentation, 19(4), 303-320.
Prakken, H., Reed, C., & Walton, D. N. (2005). Dialogues about the burden of proof. In Proceedings of the Tenth International Conference on Artificial Intelligence and Law (pp. 115-124). ACM Press.
Prakken, H. (2005). Coherence and flexibility in dialogue games for argumentation. Journal of Logic and Computation, 15, 1009-1040.
Prakken, H. (2005). A study of accrual of arguments, with applications to evidential reasoning. In Proceedings of the Tenth International Conference on Artificial Intelligence and Law (pp. 85-94). ACM Press.
Veenen, J., & Prakken, H. (2005). A protocol for arguing about rejections in negotiation. In N. Maudet, P. Moraitis, S. Parsons, & I. Rahwan (Eds.), Proceedings of the Second Workshop on Argumentation in Multi-Agent Systems (ArgMas-05)
Dijkstra, P., Bex, F. J., Prakken, H., & de Vey Mestdagh, C. N. J. (2005). Towards a multi-agent system for regulated information exchange in crime investigations. Artificial Intelligence and Law, 13.
Prakken, H. (2005). Argumentatiemanagement voor juristen. Oratie Faculteit der Rechtsgeleerdheid, Rijksuniversiteit Groningen, 27 september 2005. Unknown Publisher.
2004
Scholarly publications
Amgoud, L., Caminada, M., Cayrol, C., Doutre, S., Lagasquie-Schiex, M.-C., Prakken, H., & Vreeswijk, G. A. W. (2004). Towards a Consensual Formal Model: inference part. In J. Fox (Ed.), Draft Formal Semantics for Inference and Decision-Making (pp. 1-54). ASPIC Consortium.
Bex, F. J., & Prakken, H. (2004). Reinterpreting arguments in dialogue: an application to evidential reasoning. In T. F. Gordon (Ed.), Legal Knowledge and Information Systems. JURIX 2004: The Seventeenth Annual Conference (pp. 119-129). IOS Press.
Prakken, H. (2004). Analysing reasoning about evidence with formal models of argumentation. Law, Probability & Risk, 3, 33-50.
Prakken, H. (2004). Applications Database - Entries on Legal Applications. In J. Fox (Ed.), Applications Database ASPIC Consortium.
Prakken, H., & Sartor, G. (2004). The three faces of defeasibility in the law. Ratio Juris, 17, 125-165.
Bex, F. J., Prakken, H., Reed, C., & Walton, D. N. (2004). Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artificial Intelligence and Law, 12, 125-165.
Prakken, H., Reed, C., & Walton, D. N. (2004). Argumentation schemes and burden of proof. In F. Grasso, C. Reed, & G. Carenini (Eds.), Proceedings of the ECAI-2004 Workshop on Computational Models of Natural Argument (pp. 81-86)
Bench-Capon, T. J. M., & Prakken, H. (2004). Tools and applications in the legal domain. In J. Fox (Ed.), Review of Argumentation Technology: State of the Art, Technical and User Requirements. (pp. 29-42). ASPIC Consortium.
Amgoud, L., Caminada, M., Cayrol, C., Doutre, S., Lagasquie-Schiex, M.-C., Modgil, S., Prakken, H., & Vreeswijk, G. A. W. (2004). Argument-Based Inference. In J. Fox (Ed.), Theoretical Framework for Argumentation (pp. 3-46). ASPIC Consortium.
Wintgens, L., & Prakken, H. (2004). The level theory of coherence. BNVKI newsletter, 21, 93-95.
McBurney, P., & Prakken, H. (2004). Argumentation in dialogues. In J. Fox (Ed.), Theoretical Framework for Argumentation (pp. 57-84). ASPIC Consortium.
Caminada, M., Doutre, S., Modgil, S., Prakken, H., & Vreeswijk, G. A. W. (2004). Implementations of argument-based inference. In J. Fox (Ed.), Review of Argumentation Technology: State of the Art, Technical and User requirements (pp. 2-13). ASPIC Consortium.
Prakken, H. (2004). AI &Law, logic and argumentation schemes. In Proceedings of the First Congress of Compared Legal Cultures and Systems, Instituto de Investigaciones Juridicas Instituto de Investigaciones Juridicas, Universidad Nacional Autonoma de Mexico.
2003
Scholarly publications
Bench-Capon, T. J. M., Freeman, J. B., Hohmann, H., & Prakken, H. (2003). Computational models, argumentation theories and legal practice. In C. Reed, & T. J. Norman (Eds.), Argumentation Machines. New Frontiers in Argument and Computation (pp. 85-120). Kluwer Academic Publishers.
Prakken, H. (2003). Logical dialectics: the missing link between deductivism and pragma-dialectics. In F. H. van Eemeren, J. A. Blair, C. A. Willard, & A. F. S. Henkemans (Eds.), Proceedings of the Fifth Conference of the International Society for the Study of Argumentation (pp. 857-860). Sic Sat.
Brewka, G., Prakken, H., & Vreeswijk, G. A. W. (2003). Special issue on Computational Dialectics: an introduction. Journal of Logic and Computation, 13(3), 317-318.
de Bruin, H., Prakken, H., & Svensson, J. (2003). The use of legal knowledge-based systems in public administration: what can go wrong? (extended abstract). In L. K. Branting, & S. Br (Eds.), Evaluation of Legal Reasoning and Problem-Solving Systems. Papers from the ICAIL 2003 Workshop (pp. 14-16).
Prakken, H., Reed, C., & Walton, D. N. (2003). Argumentation schemes and generalisations in reasoning about evidence. In Proceedings of the Ninth International Conference on Artificial Intelligence and Law (pp. 32-41). ACM Press.
2002
Scholarly publications
Prakken, H., & Sartor, G. (2002). Defeasibility in the law. In A. Peczenik (Ed.), Proceedings of the Workshop on the Philosophy of Law of the Fourth European Congress for Analytic Philosophy (ECAP 4)
Prakken, H. (2002). An exercise in formalising teleological case-based reasoning. Artificial Intelligence and Law, 10(1-3), 113-133.
Prakken, H. (2002). Bayesian Probability Theory and Legal Reasoning. BNVKI newsletter, 19(6), 154-156.
Prakken, H., & Sartor, G. (2002). The role of logic in computational models of legal argument. In A. Kakas, & F. Sadri (Eds.), Computational Logic: Logic Programming and Beyond. Essays In Honour of Robert A. Kowalski, Part II (pp. 342-380). (LNCS; No. 2048). Springer.
de Bruin, H., Prakken, H., & Svensson, J. S. (2002). The use of legal knowledge-based systems in public administration: what can go wrong ? In T. J. M. Bench-Capon, A. Daskalopulu, & R. Winkels (Eds.), Legal Knowledge and Information Systems. JURIX 2002: The Fifteenth Annual Conference (pp. 123-132). IOS Press.
Prakken, H. (2002). The Spirit of St. Louis. An ICAIL-2001 Report. BNVKI newsletter, 19(5), 118-120.
Prakken, H. (2002). An exercise in formalising teleological case-based reasoning (extended abstract). In H. Blockeel, & M. Denecker (Eds.), Fourteenth Belgian-Dutch AI Conference (BNAIC'02) (pp. 473-474).
Prakken, H. (2002).
Intuitions and the modelling of defeasible reasoning: some case studies. In S. Benferhat, & E. Giunchiglia (Eds.),
Proceedings of the Ninth International Workshop on Nonmonotonic Reasoning (pp. 91-99). The Computing Research Repository.
http://Ianl.arXirg/find/cs/1au:+Prakken/0/1/0/past/0/1 Prakken, H. (2002). Incomplete arguments in legal discourse: a case study. In T. J. M. Bench-Capon, A. Daskalopulu, & R. Winkels (Eds.), Legal Knowledge and Information Systems. JURIX 2002: The Fifteenth Annual Conference (pp. 93-102). IOS Press.
Prakken, H., & Vreeswijk, G. A. W. (2002). Encoding schemes for a discourse support system for legal argument. In G. Carenini, F. Grasso, & C. Reed (Eds.), Proceedings of the ECAI-2002 Workshop on Computational Models of Natural Argument (pp. 31-39).
Prakken, H., & Vreeswijk, G. A. W. (2002). Logics for defeasible argumentation. In D. M. Gabbay, & F. Guenthner (Eds.), Handbook of Philosophical Logic, 2nd edition, Vol 4 (pp. 219-318). Kluwer Academic Publishers.
2001
Scholarly publications
Prakken, H., & Renooij, S. (2001). Reconstructing causal reasoning about evidence: a case study. In B. Verheij, A. R. Lodder, R. P. Loui, & A. J. Muntjewerff (Eds.), Legal Knowledge and Information Systems. JURIX 2001: The Fourteenth Annual Conference (pp. 131-142). (Frontiers in Artificial Intelligence and Applications; Vol. 70). IOS Press.
Prakken, H. (2001). Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese, 127(1, 2), 187-219.
Prakken, H. (2001). Modelling reasoning about evidence in legal procedure. In Proceedings of the Eighth International Conference on Artificial Intelligence and Law (pp. 119-128). ACM Press.
Prakken, H. (2001). Modelling reasoning about evidence in legal procedure (abstract). In B. Krose, M. de Rijke, G. Schreiber, & M. van Someren (Eds.), Thirteenth Belgian-Dutch AI Conference (BNAIC'01) (pp. 219-220)
Prakken, H. (2001). Modelling defeasibility in law: logic or procedure? Fundamenta Informaticae, 48(2, 3), 253-271.
2000
Scholarly publications
Prakken, H. (2000). An Exercise in Formalising Teleological Case-Based Reasoning (Extended Abstract). In J. Breuker, R. Leenes, & R. Winkels (Eds.), Legal Knowledge and Information Systems. JURIX 2000: The Thirteenth Annual Conference. (pp. 49-57). IOS Press.
Prakken, H. (2000). On dialogue systems with speech acts, arguments, and counterarguments. In M. Ojeda-Aciego, I. P. de Guzman, G. Brewka, & L. Moniz Pereria (Eds.), Proceedings of JELIA'2000, The 7th European Workshop on Logic for Artificial Intelligence. Springer Lecture Notes in AI 1919 (pp. 239-253). Springer.
Vreeswijk, G. A. W., & Prakken, H. (2000). Credulous and Sceptical Argument Games for Preferred Semantics. In M. Ojeda-Aciego, I. P. de Guzman, G. Brewka, & L. Moniz Pereria (Eds.), Proceedings of JELIA'2000, The 7th European Workshop on Logic for Artificial Intelligence (pp. 239-253). Springer.
1999
Scholarly publications
Prakken, H., & Sartor, G. (1999). A system for defeasible argumentation, with defeasible priorities. In M. J. Wooldridge, & M. Veloso (Eds.), Artificial Intelligence Today. Springer Lecture Notes in AI 1600 (pp. 365-379). Springer.
Prakken, H., & Gordon, T. F. (1999). Rules of order for electronic group decision making. A formalization methodology. In J. A. Padget (Ed.), Collaboration between Human and Artificial Societies: Coordination and Agent-Based Distributed Computing. Springer Lecture Notes in AI 1624 (pp. 246-263). Springer.
Prakken, H. (1999). On formalising burden of proof in legal arument. In H. J. Herik (Ed.), Legal Knowledge-based Systems. JURIX'99: The Twelfth Conference (pp. 85-97). Gerard Noodt Instituut.
Prakken, H. (1999). Dialectical proof for defeasible argumentation with defeasible priorities (preliminary report). In J.-JC. Meijer, & P.-Y. Schobbens (Eds.), Formal Models of Agents: ESPRIT Project ModelAge Final Workshop, Selected Papers. Springer Lecture Notes in AI 1760 (pp. 202-215). Springer.
McNamara, P. M., & Prakken, H. (1999). Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science. IOS Press.
1998
Scholarly publications
McNamara, P. M., & Prakken, H. (1998). Proceedings of the Fourth International Workshop on Deontic Logig in Computer Science. CIRFID.
Prakken, H., & Sartor, G. (1998). Argumentation frameworks: the missing link between arguments and procedure. European Journal of Law, Philosophy and Computer Science, 1-2, 379-396.
Prakken, H., & Sartor, G. (1998). Moddeling reasoning with precedents in a formal dialoque game. Artificial Intelligence and Law, 6(2-4), 231-287.