HOME cs.uu.nl home education contact library calendar search UU.NL
about us research people archive services jobs

publications by prof. dr. mr. H. Prakken

Henry  Prakken

prof. dr. mr. H. Prakken

some publications

Kok, E.M., Meyer, J-J.Ch., Oostendorp, H. van, Prakken, H. & Vreeswijk, G.A.W. (2011). A Methodology for the Generation of Multi-Agent Argumentation Dialogue Scenarios. In Proceedings of the 9th European Workshop on Multi-Agent Systems. Maastricht, The Netherlands.

Weide, T.L. van der, Dignum, F.P.M., Meyer, J-J.Ch., 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 Vol. 6614. Lecture Notes in Computer Science (pp. 68-85). Berlin/Heidelberg: Springer/Verlag.

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). New York: ACM Press.

Prakken, H. (2011). Argumentation without arguments. Argumentation, 25(2), 171-184.

Weide, T.L. van der, Dignum, F.P.M., Meyer, J-J.Ch., 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.

Gijzel, B. van & 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.

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.

Kok, E.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2010). A Formal Argumentation Framework for Deliberation Dialogues. In Proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems Lecture Notes in Artificial Intelligence. Toronto, Canada.

Prakken, H. (2010). An abstract framework for argumentation with structured arguments. Argument and Computation, 1(2), 93-124.

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). Amsterdam: IOS Press.

Weide, T.L. van der, Dignum, F.P.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2010). Arguing About Preferences And Decisions (abstract). In P. Bouvry, L. van der Torre, E. Dubois & Th. Latour (Eds.), Proc. 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010).

Weide, T.L. van der, Dignum, F.P.M., Meyer, J-J.Ch., 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).

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 (Tributes Series, 12) (pp. 167-185). London: College Publications.

Weide, T.L. van der, Dignum, F.P.M., Meyer, J-J.Ch., 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 Vol. 6057. Lecture Notes in Artificial Intelligence.

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). Amsterdam: IOS Press.

Bench-Capon, T.J.M. & Prakken, H. (2010). Using argument schemes for hypothetical reasoning in law. Artificial intelligence and law, 18(3), 153-174.

Driel, S. van & 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).

Kok, E.W., Meyer, J-J.Ch., 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).

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 (Frontiers in Artificial Intelligence and Applications, 205) (pp. 11-20). IOS Press.

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 Vol. 5. IDT Series (pp. 91-94). Barcelona: Huygens Editorial.

Prakken, H. (2009). An abstract framework for argumentation with structured arguments. onbekend: UU BETA ICS Departement Informatica.

Weide, T.L. van der, Dignum, F.P.M., Prakken, H., Vreeswijk, G.A.W. & Meyer, J-J.Ch. (2009). Argumentation About Motivation. In Human Factors Event 2009 (pp. 34-35).

Bench-Capon, T.J.M., Prakken, H. & Sartor, G. (2009). Argumentation in legal reasoning. In I. Rahwan & G. Simari (Eds.), Argumentation in Artificial Intelligence (pp. 363-382). Springer US.

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). New York: ACM Press.

Prakken, H. (2009). Models of persuasion dialogue. In I. Rahwan & G. Simari (Eds.), Argumentation in Artificial Intelligence (pp. 281-300). Springer US.

Weide, T.L. van der, Dignum, F.P.M., Meyer, J-J.Ch., Prakken, H. & Vreeswijk, G.A.W. (2009). 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 Vol. 5384/2009. Lecture Notes in Computer Science (pp. 3-18). Berlin / Heidelberg: Springer.

Weide, T.L. van der, Dignum, F.P.M., Prakken, H., Vreeswijk, G.A.W. & Meyer, J-J.Ch. (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).

Weide, T. van der, Dignum, F.P.M., Meyer, J-J.Ch., 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, URL =). Barcelona: Huygens Editorial.

Dix, J., Parsons, S., Prakken, H. & Simari, G. (2009). Research Challenges for Argumentation. Computer Science - Research and Development, 23(1), 27-34.

Prakken, H. (2008). A Formal Model of Adjudication Dialogues. UU-CS 2008-031. onbekend: UU WINFI Informatica en Informatiekunde.

Prakken, H. (2008). A Formal Model of Adjudication Dialogues. Artificial intelligence and law, 16(3), 305-328.

Modgil, S. & Prakken, H. (2008). Applying preferences to dialogue graphs. In Ph. Besnard, S. Doutre & A. Hunter (Eds.), Computational Models of Argument. Proceedings of {COMMA} 2008 (Frontiers in Artificial Intelligence and Applications, 172) (pp. 252-263). IOS Press.

Prakken, 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). Berlin Heidelberg: Springer Verlag.

Prakken, H. (2008). Formalising ordinary legal disputes: a case study. Artificial intelligence and law, 16(4).

Riveret, R., Prakken, H., Rotolo, A. & Sartor, G. (2008). Heuristics in argumentation: a game-theoretical investigation. In Ph. Besnard, S. Doutre & A. Hunter (Eds.), Computational Models of Argument. Proceedings of {COMMA} 2008 (Frontiers in Artificial Intelligence and Applications, 172) (pp. 324-335). IOS Press.

Bench-Capon, T.J.M. & Prakken, H. (2008). Introducing the Logic and Law corner. Journal of logic and computation, 18(1), 1-12.

Bex, F.J. & Prakken, H. (2008). Investigating stories in a formal dialogue game. In Ph. Besnard, S. Doutre & A. Hunter (Eds.), Computational Models of Argument. Proceedings of {COMMA} 2008 (Frontiers in Artificial Intelligence and Applications, 172) (pp. 73-84). IOS Press.

Weide, T. van der, Dignum, F.P.M., Meyer, J-J.Ch., 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).

Braak, S.W. van den, Oostendorp, H. van, Prakken, H. & Vreeswijk, G.A.W. (2008). Representing causal knowledge in sense-making software for crime analysis. UU-CS 2008-24. onbekend: UU WINFI Informatica en Informatiekunde.

Braak, S.W. van den, Oostendorp, H. van, 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 Vol. 189. Frontiers in Artificial Intelligence and Applications (pp. 160-169). Amsterdam, The Netherlands: IOS Press.

Braak, S.W. van den, Oostendorp, H. van, 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).

Braak, S.W. van den, Oostendorp, H. van, 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).

Braak, S.W. van den, 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). New York: ACM Press.

Dijkstra, P., Prakken, H. & Vey Mestdagh, C.N.J. de (2007). An implementation of norm-based agent negotiation. In Proceedings of the Eleventh International Conference on Artificial Intelligence and Law (pp. 167-175). New York: 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). New York: 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). New York: ACM Press.

Prakken, H. (2007). Formalising ordinary legal disputes: a case study. UU-CS 2007-048. onbekend: UU WINFI Informatica en Informatiekunde.

Bex, F.J., Braak, S.W. van den, Oostendorp, H. van, Prakken, H., Verheij, B. & Vreeswijk, G.A.W. (2007). Sense-making software for crime investigation: how to combine stories and arguments? In M.M. Dastani & E. de Jong (Eds.), Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (pp. 311-312).

Bex, F.J., Braak, S.W. van den, Oostendorp, H. van, 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.

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 (Frontiers in Artificial Intelligence and Applications, 165) (pp. 99-108). IOS Press.

Gordon, T.F., Prakken, H. & Walton, D.N. (2007). The Carneades model of argument and burden of proof. Artificial intelligence, 171, 875-896.

Braak, S.W. van den, Oostendorp, H. van, 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).

Veenen, 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). Berlin Heidelberg: Springer Verlag.

Bex, F.J., Prakken, H. & Verheij, B. (2006). Anchored narratives in reasoning about evidence. In T.M. van Engers (Ed.), Legal Knowledge and Information Systems. JURIX 2006: The Nineteenth Annual Conference (Frontiers in Artificial Intelligence and Applications, 152) (pp. 11-20). IOS Press.

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 Verlag.

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 Verlag.

Prakken, 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 (Frontiers in Artificial Intelligence and Applications, 144) (pp. 311-322). IOS Press.

Amgoud, L., Bodenstaff, L., Caminada, M., McBurney, P., Parsons, S., Prakken, H., Veenen, J. & Vreeswijk, G.A.W. (2006). Final Review and Report on Formal Argumentation System. : ASPIC Consortium.

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.

Prakken, H. (2006). Formal systems for persuasion dialogue. The knowledge engineering review, 21, 163-188.

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 (Frontiers in Artificial Intelligence and Applications, 144) (pp. 247-258). IOS Press.

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).

Prakken, 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 (Frontiers in Artificial Intelligence and Applications, 152) (pp. 21-30). IOS 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).

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). New York: ACM Press.

Prakken, H. (2005). AI & Law, logic and argument schemes. Argumentation, 19.

Prakken, H. (2005). Argumentatiemanagement voor juristen. Oratie Faculteit der Rechtsgeleerdheid, Rijksuniversiteit Groningen, 27 september 2005..

Prakken, H. (2005). Coherence and Flexibility in Dialogue Games for Argumentation. UU-CS 2005-021. onbekend: UU WINFI Informatica en Informatiekunde.

Prakken, H. (2005). Coherence and flexibility in dialogue games for argumentation. Journal of logic and computation, 15, 1009-1040.

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). New York: ACM Press.

Dijkstra, P., Bex, F.J., Prakken, H. & Vey Mestdagh, C.N.J. de (2005). Outline of a multi-agent system for regulated information exchange in crime investigations. In P.E..Dunne & T.J.M. Bench-Capon (Eds.), Argumentation in Artificial Intelligence and Law (pp. 27-37). Nijmegen: Wolf Legal Publishers.

Dijkstra, P., Bex, F.J., Prakken, H. & Vey Mestdagh, C.N.J. de (2005). Towards a multi-agent system for regulated information exchange in crime investigations. Artificial intelligence and law, 13.

Prakken, H. (2004). AI & Law, logic and argumentation schemes. In Proceedings of the First Congress of Compared Legal Cultures and Systems, Instituto de Investigaciones Jur?dicas. Mexico City: Instituto de InvestigacionesJuridicas.

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.

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.

McBurney, P. & Prakken, H. (2004). Argumentation in dialogues. In J. Fox (Ed.), Theoretical Framework for Argumentation (pp. 57-84). ASPIC Consortium.

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).

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.

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.

Wintgens, L. & Prakken, H. (2004). The level theory of coherence. BNVKI newsletter, 21, 93-95.

Prakken, H. & Sartor, G. (2004). The three faces of defeasibility in the law. Ratio Juris, 17, 125-165.

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., 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., Reed, C. & Walton, D.N. (2003). 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. (2003). Argumentation schemes and generalisations in reasoning about evidence. In Proceedings of the Ninth International Conference on Artificial Intelligence and Law (pp. 32-41). New York: ACM Press.

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). Boston/Dordrecht/London: 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..Snoec Henkemans (Eds.), Proceedings of the Fifth Conference of the International Society for the Study of Argumentation (pp. 857-860). Amsterdam: Sic Sat.

Vreeswijk, G.A.W., Brewka, G. & Prakken, H. (2003). Special Issue on Computational Dialectics: an Introduction. Journal of logic and computation, 13(3), 317-318.

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.

Prakken, H. (Ed.). (2003). Journal of logic and computation, 13(3).

Bruin, H. de, 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). Edinburgh.

Prakken, H. (2002). An exercise in formalising teleological case-based reasoning. Artificial intelligence and law, 10(1-3), 113-133.

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). Leuven, Belgium.

Prakken, H. (2002). Bayesian Probability Theory and Legal Reasoning. BNVKI newsletter, 19(6), 154-156.

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). Lund, Sweden.

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). Lyon, France.

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). Amsterdam, the Netherlands: IOS Press.

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.

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). Dordrecht/Boston/London: Kluwer Academic Publishers.

Prakken, H. (2002). The Spirit of St. Louis. An ICAIL-2001 Report. BNVKI newsletter, 19(5), 118-120.

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 (LNCS, 2048) (pp. 342-380). Berlin, Germany: Springer-Verlag.

Bruin, H. de, 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). Amsterdam. the Netherlands: IOS Press.

Prakken, H. (2001, June 25). AI & Law research on legal evidence: an overview. St. Louis, MO, U.S.A., Legal Evidence Workshop, a Workshop of the Eighth International Conference on Artificial Intelligence and Law.

Prakken, H. (2001, May 11). Argumentatieonderzoek in de rechtsinformatica: mogelijke toepassingen. Utrecht, The Netherlands, JURIX Meeting (Stichting Juridische Kennissystemen.

Prakken, H. (2001, November 23). Contracts from an AI & Law perspective. Tilburg, The Netherlands, SOBU/SIKS Colloquium on `Contracts'.

Prakken, H. (2001). Modelling defeasibility in law: logic or procedure? Fundamenta Informaticae, 48(2, 3), 253-271.

Prakken, H. (2001, June 23). Modelling reasoning about evidence in legal procedure. St. Louis, U.S.A., Eighth International Conference on Artificial Intelligence and Law.

Prakken, H. (2001, October 26). Modelling reasoning about evidence in legal procedure. Amsterdam, The Netherlands, Thirteenth Belgian-Dutch AI Conference (BNAIC'01).

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). New York, U.S.A.: 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. & 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). Amsterdam, The Netherlands: IOS Press.

Prakken, H. (2001, December 14). Reconstructing causal reasoning about evidence: a case study. Amsterdam, The Netherlands, JURIX'2001: 14th International Conference on Legal Knowledge and Information Systems.

Prakken, H. (2001). Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese, 127(1, 2), 187-219.

Prakken, H. (Ed.). (2001). Artificial intelligence and law.

Prakken, H. (2000, December 15). An Exercise in Formalising Teleological Case-Based Reasoning. Enschede (Nl), JURIX 2000: 13 International Conference on legal Knowledge-Based Systems.

Prakken, H. (2000, August 22). An Exercise in Formalising Teleological Case-Based Reasoning. Berlijn (BRD), ECAI'2000 Workshop on Computational Dialectics: Models of Argumentation, Negotiation and Decision Making.

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). Amsterdam/Berlin/Oxford/Tokyo/Washington, DC: IOS Press.

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). Berlin: Springer Verlag.

Prakken, H. (2000, April 4). Defeasibility in law: logic or procedure? Liverpool (UK), Seminarium Department of Computer Science, University of Liverpool.

Prakken, H. (2000, October 1). On dialogue systems with speech acts, arguments, and counterarguments. Malaga (Sp), The 7th European Workshop on Logic for Artificial Intelligence.

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). Berlin: Springer Verlag.

Prakken, H. (2000, September 14). On dialogue systems with speech acts, arguments, and counterarguments. London (UK), Scientific meeting of EC-funded ALFEBIITE-project.

Prakken, H. (2000, November 1). Relating Protocols for Dynamic Dispute with Logics for Defeasable Argumentation. Kaatsheuvel (NL), Twelfth Belgian-Dutch AI Conference (BNAIC'00).

Prakken, H. (Ed.). (2000). Artificial intelligence and law.

Feteris, E. & Prakken, H. (Eds.). (2000). Artificial intelligence and law, 8(2-3).

Prakken, H. (2000, October 26). The use of games in modelling argumentation. Nunspeet (NL), Schoolweek van Onderzoeksschool Logica.

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). Berlin: Springer Verlag.

Prakken, H. (1999). Dialectical proof for defeasible argumentation with defeasible priorities (preliminary report). In J.-J.Ch. 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). Berlin: Springer-Verlag.

McNamara, P.M. & Prakken, H. (1999). Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science. Amsterdam: IOS Press.

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). Nijmegen: Gerard Noodt Instituut.

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). Berlin: Springer Verlag.

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.

McNamara, P.M. & Prakken, H. (Eds.). (1998). Proceedings of the Fourth International Workshop on Deontic Logig in Computer Science. Bologna, Italy: CIRFID.


valid-html401 webmaster@cs.uu.nl, Fri, 18 May 2012 23:31:55 +0200 ← Departement Informatica, Universiteit Utrecht