Publications
aa

Books (research)

aavan Eemeren, F.H., Garssen, B., Krabbe, E.C.W., Snoeck Henkemans, A.F., Verheij, B., & Wagemans, J.H.M. (2014). Handbook of Argumentation Theory. Dordrecht: Springer. details pdf
aaVerheij, B. (2005). Virtual Arguments. On the Design of Argument Assistants for Lawyers and Other Arguers. The Hague: TMC Asser Press. details pdf
aaVerheij, B. (1996). Rules, Reasons, Arguments. Formal Studies of Argumentation and Defeat. Maastricht: Dissertation Universiteit Maastricht. http://www.ai.rug.nl/~verheij/publications/proefschrift/. details pdf
aa

Books, conference proceedings, book series (edited)

aaVerheij, B., Francesconi, E., & Gardner, A. (eds.) (2013). The 14th International Conference on Artificial Intelligence and Law (ICAIL 2013). Proceedings of the Conference. New York (New York): ACM. details pdf
aaVerheij, B., Szeider, S., & Woltran, S. (eds.) (2012). Computational Models of Argument. Proceedings of COMMA 2012. Amsterdam: IOS Press. details pdf
aaKaptein, H., Prakken, H., & Verheij, B. (eds.) (2009). Legal Evidence and Proof: Statistics, Stories, Logic (Applied Legal Philosophy Series). Farnham: Ashgate. details pdf
aaHitchcock, D.L., & Verheij, B. (eds.) (2006). Arguing on the Toulmin Model. New Essays in Argument Analysis and Evaluation (Argumentation Library, Volume 10). Dordrecht: Springer-Verlag. details pdf
aaLeenes, R.E., & Verheij, B. (eds.) (2005). IAAIL Workshop Series, Vol. 1-5 (Second International ODR Workshop (odrworkshop.info), Argumentation in Artificial Intelligence and Law, The Role of Legal Knowledge in e-Government, LOAIT - Legal Ontologies and Artificial Intelligence Techniques, LEA 2005 – The Law of Electronic Agents). Nijmegen: Wolf Legal Publishers. details pdf
aaLodder, A.R., Clark, E., Gordon, T.F., Katsh, E., Rule, C., Thiessen, E.M., Verheij, B., Walton, D.N., & Zeleznikow, J. (eds.) (2003). Proceedings of the ODRworkshop.org, Edinburgh, June 28 2003. Edinburgh: International Association for Artificial Intelligence and Law. details
aaVerheij, B., Lodder, A.R., Loui, R.P., & Muntjewerff, A.J. (eds.) (2001). Legal Knowledge and Information Systems. JURIX 2001: The Fourteenth Annual Conference. Amsterdam: IOS Press. details pdf
aa

Journal special issue (edited)

aaBex, F.J., Prakken, H., Van Engers, T., & Verheij, B. (eds.) (2017). Artificial Intelligence and Law 25 (1). Special issue: Artificial Intelligence for Justice (AI4J). details pdf
aaHitchcock, D.L., & Verheij, B. (eds.) (2005). Argumentation 19 (3). The Toulmin model today: special issue on contemporary work using Stephen Edelston Toulmin's layout of arguments. details pdf
aa

Books (teaching material)

aaHage, J.C., Verheij, B., & Fernhout, F. (2011). Vaardig met Recht. Vaardigheden voor Juristen. Vierde Druk (Skilful in the Law. Skills for Lawyers. Fourth Edition). The Hague: Boom Juridische Uitgevers. http://www.vaardigmetrecht.nl/. details
aaHage, J.C., Verheij, B., & Fernhout, F. (2008). Vaardig met Recht. Vaardigheden voor Juristen. Derde Druk (Skilful in the Law. Skills for Lawyers. Third Edition). The Hague: Boom Juridische Uitgevers. details pdf
aaHage, J.C., Verheij, B., & Fernhout, F. (2007). Vaardig met Recht. Vaardigheden voor Juristen. Tweede Druk (Skilful in the Law. Skills for Lawyers. Second Edition). The Hague: Boom Juridische Uitgevers. details
aaVerheij, B., Hage, J.C., van der Meer, T., & Span, G. (2004). Vaardig met Recht. Over Casus Oplossen en Andere Juridische Vaardigheden (Skilful in the Law. On Case Solving and Other Legal Skills). The Hague: Boom Juridische Uitgevers. details pdf
aa

Journal articles

aaVerheij, B. (2017). Proof With and Without Probabilities. Correct Evidential Reasoning with Presumptive Arguments, Coherent Hypotheses and Degrees of Uncertainty. Artificial Intelligence and Law 25 (1), 127-154. http://dx.doi.org/10.1007/s10506-017-9199-4 details  pdf  doi
aaTimmer, S., Meyer, J.J., 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. http://dx.doi.org/10.1016/j.ijar.2016.09.002 details  pdf  doi
aaDe Weerd, H., Verbrugge, R., & Verheij, B. (2017). Negotiating with Other Minds. The Role of Recursive Theory of Mind in Negotiation with Incomplete Information. Journal of Autonomous Agents and Multi-Agent Systems 31 (2), 250-287. http://dx.doi.org/10.1007/s10458-015-9317-1 details  pdf  doi
aaBex, F.J., 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. http://dx.doi.org/10.1007/s10506-017-9198-5 details  pdf  doi
aaVlek, 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. http://dx.doi.org/10.1007/s10506-016-9183-4 details  pdf  doi
aaVerheij, B. (2016). Formalizing Value-Guided Argumentation for Ethical Systems Design. Artificial Intelligence and Law 24 (4), 387-407. http://dx.doi.org/10.1007/s10506-016-9189-y details  pdf  doi
aaVerheij, B., Bex, F.J., Timmer, S., Vlek, C., Meyer, J.J., Renooij, S., & Prakken, H. (2016). Arguments, Scenarios and Probabilities: Connections Between Three Normative Frameworks for Evidential Reasoning. Law, Probability & Risk 15, 35-70. http://dx.doi.org/10.1093/lpr/mgv013 details  pdf  doi
aaDe Weerd, H., Verbrugge, R., & Verheij, B. (2015). Higher-order Theory of Mind in the Tacit Communication Game. Biologically Inspired Cognitive Architectures 11, 10-21. http://dx.doi.org/10.1016/j.bica.2014.11.010 details  pdf  doi
aaVlek, C., 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. http://dx.doi.org/10.1007/s10506-014-9161-7 details  pdf  doi
aaVerheij, B. (2014). To Catch a Thief With and Without Numbers: Arguments, Scenarios and Probabilities in Evidential Reasoning. Law, Probability & Risk 13, 307-325. http://dx.doi.org/10.1093/lpr/mgu011 details  pdf  doi
aaDe Weerd, H., Verbrugge, R., & Verheij, B. (2013). How Much Does it Help to Know What she Knows you Know? An Agent-Based Simulation Study. Artificial Intelligence 199-200, 67-92. http://dx.doi.org/10.1016/j.artint.2013.05.004 details  pdf  doi
aaBex, F.J., & Verheij, B. (2013). Legal Stories and the Process of Proof. Artificial Intelligence and Law 21 (3), 253-278. http://dx.doi.org/10.1007/s10506-012-9137-4 details  pdf  doi
aaBex, F.J., Bench-Capon, T.J.M., & Verheij, B. (2012). What Makes a Story Plausible? The Need for Precedents. Jusletter IT, Die Zeitschrift für IT und Recht . http://jusletter-it.weblaw.ch/magnoliaPublic/issues/2012/12-09-2012/2038.html. Reprint of Bex, F.J., Bench-Capon, T.J.M., & Verheij, B. (2011). What Makes a Story Plausible? The Need for Precedents. Legal Knowledge and Information Systems. JURIX 2011: The Twenty-Fourth Annual Conference (ed. Atkinson, K.M.), 23-32. Amsterdam: IOS Press. details  pdf  doi
aaBex, F.J., & Verheij, B. (2012). Solving a Murder Case by Asking Critical Questions: An Approach to Fact-Finding in Terms of Argumentation and Story Schemes. Argumentation 26 (3), 325-353. http://dx.doi.org/10.1007/s10503-011-9257-0 details  pdf  doi
aaBench-Capon, T., Araszkiewicz, M., Ashley, K.D., 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., Thompson, P., Tyrrell, A., Verheij, B., Walton, D.N., & 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://dx.doi.org/10.1007/s10506-012-9131-x details  pdf  doi
aaBex, F.J., van Koppen, P.J., Prakken, H., & Verheij, B. (2010). A Hybrid Formal Theory of Arguments, Stories and Criminal Evidence. Artificial Intelligence and Law 18 (2), 123-152. https://doi.org/10.1007/s10506-010-9092-x details  pdf  doi
aaVerheij, B. (2007). Argumentation Support Software: Boxes-and-Arrows and Beyond. Law, Probability & Risk 6, 187-208. https://doi.org/10.1093/lpr/mgm017 details  pdf  doi
aaBex, F.J., Van den Braak, S.W., Van Oostendorp, H., Prakken, H., Verheij, B., & Vreeswijk, G. (2007). Sense-Making Software for Crime Investigation: How to Combine Stories and Arguments? Law, Probability & Risk 6, 145-168. https://doi.org/10.1093/lpr/mgm007 details  pdf  doi
aaVerheij, B. (2005). Evaluating Arguments Based on Toulmin's Scheme. Argumentation 19 (3), 347-371. http://dx.doi.org/10.1007/s10503-005-4421-z details  pdf  doi
aaHitchcock, D.L., & Verheij, B. (2005). The Toulmin Model Today: Introduction to Special Issue of Argumentation on Contemporary Work Using Stephen Edelston Toulmin's Layout of Arguments. Argumentation 19 (3), 255-258. http://dx.doi.org/10.1007/s10503-005-4414-y details  pdf  doi
aaVerheij, B. (2003). Artificial Argument Assistants for Defeasible Argumentation. Artificial Intelligence 150 (1-2), 291-324. http://dx.doi.org/10.1016/S0004-3702(03)00107-3 details  pdf  doi
aaVerheij, B. (2003). DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions. Journal of Logic and Computation 13 (3), 319-346. https://doi.org/10.1093/logcom/13.3.319 details  pdf  doi
aaVerheij, B. (2003). Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic. Artificial Intelligence and Law 11 (1-2), 167-195. http://dx.doi.org/10.1023/B:ARTI.0000046008.49443.36 details  pdf  doi
aaVerheij, B., Hage, J.C., & van Maanen, G.E. (1999). De Logica van de Onrechtmatige Daad. Nederlands Tijdschrift voor Burgerlijk Recht 16 (4), 95-102. details  pdf
aaLodder, A.R., & Verheij, B. (1999). Computer-Mediated Legal Argument: Towards New Opportunities in Education. Journal of Information, Law and Technology (JILT) 1999 (2). http://www2.warwick.ac.uk/fac/soc/law/elj/jilt/1999_2/lodder details  doi
aaHage, J.C., & Verheij, B. (1999). The Law as a Dynamic Interconnected System of States of Affairs: a Legal Top Ontology. International Journal of Human-Computer Studies 51 (6), 1043-1077. http://dx.doi.org/10.1006/ijhc.1999.0297 details  pdf  doi
aaVerheij, B., Hage, J.C., & van den Herik, H.J. (1998). An Integrated View on Rules and Principles. Artificial Intelligence and Law 6 (1), 3-26. http://dx.doi.org/10.1023/A:1008247812801 details  pdf  doi
aaHage, J.C., & Verheij, B. (1994). Reason-Based Logic: a Logic for Reasoning with Rules and Reasons. Law, Computers & Artificial Intelligence 3 (2-3), 171-209. http://dx.doi.org/10.1080/13600834.1994.9965701 details  pdf  doi
aa

Book chapters, conference & workshop proceedings papers (almost all refereed)

aaVerheij, B. (2017). Formalizing Arguments, Rules and Cases. The 16th International Conference on Artificial Intelligence and Law (ICAIL 2017). Proceedings of the Conference, 199-208. New York (New York): ACM. details  pdf
aaVerheij, B. (2016). Formalizing Correct Evidential Reasoning with Arguments, Scenarios and Probabilities. Proceedings of the ECAI 2016 Workshop on Artificial Intelligence for Justice. details  pdf
aaVerheij, B. (2016). Correct Grounded Reasoning with Presumptive Arguments. 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (LNAI 10021). (eds. Michael, L., & Kakas, A.), 481-496. Berlin: Springer-Verlag. http://dx.doi.org/10.1007/978-3-319-48758-8_31 details  pdf  doi
aaVerheij, B. (2016). Arguments for Ethical Systems Design. Legal Knowledge and Information Systems. JURIX 2016: The Twenty-Ninth Annual Conference (eds. Bex, F.J., & Villata, S.), 101-110. Amsterdam: IOS Press. http://dx.doi.org/10.3233/978-1-61499-726-9-101 details  pdf  doi
aaVerheij, B., Bex, F.J., Timmer, S., Vlek, C., Meyer, J.J., Renooij, S., & Prakken, H. (2016). Arguments, Scenarios and Probabilities: Connections Between Three Normative Frameworks for Evidential Reasoning (Abstract). Proceedings of the 28th Benelux Conference on Artificial Intelligence (BNAIC 2016) (eds. Bredeweg, B., & Bosse, T.), 192-193. details  pdf
aaVlek, C., Prakken, H., Renooij, S., & Verheij, B. (2015). Representing the Quality of Crime Scenarios in a Bayesian Network. Legal Knowledge and Information Systems. JURIX 2015: The Twenty-eighth Annual Conference (ed. Rotolo, A.), 131-140. Amsterdam: IOS Press. http://dx.doi.org/10.3233/978-1-61499-609-5-131 details  pdf  doi
aaVlek, C., Prakken, H., Renooij, S., & Verheij, B. (2015). Constructing and Understanding Bayesian Networks for Legal Evidence with Scenario Schemes. The 15th International Conference on Artificial Intelligence and Law (ICAIL 2015). Proceedings of the Conference, 128-137. New York (New York): ACM. http://dx.doi.org/10.1145/2746090.2746097 details  pdf  doi
aaTimmer, S., Meyer, J.J., Prakken, H., Renooij, S., & Verheij, B. (2015). Capturing Critical Questions in Bayesian Network Fragments. Legal Knowledge and Information Systems. JURIX 2015: The Twenty-eighth Annual Conference (ed. Rotolo, A.), 173-176. Amsterdam: IOS Press. http://dx.doi.org/10.3233/978-1-61499-609-5-173 details  pdf  doi
aaTimmer, S., Meyer, J.J., Prakken, H., Renooij, S., & Verheij, B. (2015). Explaining Legal Bayesian networks Using Support Graphs. Legal Knowledge and Information Systems. JURIX 2015: The Twenty-eighth Annual Conference (ed. Rotolo, A.), 121-130. Amsterdam: IOS Press. http://dx.doi.org/10.3233/978-1-61499-609-5-121 details  pdf  doi
aaTimmer, S., Meyer, J.J., Prakken, H., Renooij, S., & Verheij, B. (2015). Explaining Bayesian Networks using Argumentation. Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings (eds. Destercke, S., & Denoeux, T.), 83-92. Berlin: Springer. http://dx.doi.org/10.1007/978-3-319-20807-7_8 details  pdf  doi
aaTimmer, S., Meyer, J.J., Prakken, H., Renooij, S., & Verheij, B. (2015). Demonstration of a Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation. The 15th International Conference on Artificial Intelligence and Law (ICAIL 2015). Proceedings of the Conference, 233-234. New York (New York): ACM. http://dx.doi.org/10.1145/2746090.2750370 details  pdf  doi
aaTimmer, S., Meyer, J.J., Prakken, H., Renooij, S., & Verheij, B. (2015). A Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation. The 15th International Conference on Artificial Intelligence and Law (ICAIL 2015). Proceedings of the Conference, 109-118. New York (New York): ACM. http://dx.doi.org/10.1145/2746090.2746093 details  pdf  doi
aavan Eemeren, F.H., Garssen, B., Krabbe, E.C.W., Snoeck Henkemans, A.F., Verheij, B., & Wagemans, J.H.M. (2014). Chapter 11: Argumentation and Artificial Intelligence. Handbook of Argumentation Theory, 615-675. Dordrecht: Springer. details  pdf
aaVlek, C., Prakken, H., Renooij, S., & Verheij, B. (2014). Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence. Legal Knowledge and Information Systems. JURIX 2014: The Twenty-Seventh Annual Conference (ed. Hoekstra, R.), 103-112. Amsterdam: IOS Press. details  pdf
aaVerheij, B. (2014). Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points. Computational Models of Argument. Proceedings of COMMA 2014 (eds. Parsons, S., Oren, N., Reed, C., & Cerutti, F.), 433-444. Amsterdam: IOS Press. http://dx.doi.org/10.3233/978-1-61499-436-7-433 details  pdf  doi
aaTimmer, S., Meyer, J.J., Prakken, H., Renooij, S., & Verheij, B. (2014). Extracting Legal Arguments from Forensic Bayesian Networks. Legal Knowledge and Information Systems. JURIX 2014: The Twenty-Seventh Annual Conference (ed. Hoekstra, R.), 71-80. Amsterdam: IOS Press. details  pdf
aaTimmer, S., Meyer, J.J., Prakken, H., Renooij, S., & Verheij, B. (2014). A Tool for the Generation of Arguments from Bayesian Networks. Computational Models of Argument. Proceedings of COMMA 2014 (eds. Parsons, S., Oren, N., Reed, C., & Cerutti, F.), 479-480. Amsterdam: IOS Press. http://dx.doi.org/10.3233/978-1-61499-436-7-479 details  pdf  doi
aaDe Weerd, H., & Verheij, B. (2014). Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning. Proceedings of the European Conference on Social Intelligence (ECSI-2014), CEUR Workshop Proceedings 1283. (eds. Herzig, A., & Lorini, E.), 128-138. Aachen: CEUR-WS.org. http://CEUR-WS.org/Vol-1283/. details  pdf  doi
aaDe Weerd, H., & Verheij, B. (2014). The Effectiveness of Higher-Order Theory of Mind in Negotiations. Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives (RAOM 2014). Groningen, The Netherlands, August 4, 2014. CEUR Workshop Proceedings 1208. (eds. Szymanik, J., & Verbrugge, L.C.), 35-39. Aachen: CEUR-WS.org. http://CEUR-WS.org/Vol-1208/. details  pdf  doi
aaDe Weerd, H., Verbrugge, R., & Verheij, B. (2014). Agent-Based Models for Higher-Order Theory of Mind. Advances in Social Simulation. Proceedings of the 9th Conference of the European Social Simulation Association, Warsaw, Poland, September 2013. Advances in Intelligent Systems and Computing 229 (eds. Kamiński, B., & Koloch, G.), 213-224. Berlin: Springer. http://dx.doi.org/10.1007/978-3-642-39829-2_19 details  pdf  doi
aaVlek, C., Prakken, H., Renooij, S., & Verheij, B. (2013). Unfolding Crime Scenarios with Variations: A Method for Building a Bayesian Network for Legal Narratives. Legal Knowledge and Information Systems. JURIX 2013: The Twenty-Sixth Annual Conference (ed. Ashley, K.D.), 145-154. Amsterdam: IOS Press. details  pdf
aaVlek, C., Prakken, H., Renooij, S., & Verheij, B. (2013). Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network. Proceedings of the 2013 Workshop on Computational Models of Narrative (CMN 2013) (eds. Finlayson, M.A., Fisseni, B., Löwe, B., & Meister, J.C.), 315-332. Dagstuhl: OASICS. details  pdf
aaVlek, C., Prakken, H., Renooij, S., & Verheij, B. (2013). Modeling Crime Scenarios in a Bayesian Network. The 14th International Conference on Artificial Intelligence and Law (ICAIL 2013). Proceedings of the Conference, 150-159. New York (New York): ACM. details  pdf
aaVerheij, B. (2013). Arguments about Values. 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 (eds. Atkinson, K., Prakken, H., & Wyner, A.), 243-257. London: College Publications. details  pdf
aaVerheij, B., Francesconi, E., & Gardner, A. (2013). Preface. The 14th International Conference on Artificial Intelligence and Law (ICAIL 2013). Proceedings of the Conference, vi-vii. New York (New York): ACM. details  pdf
aaTimmer, S., Meyer, J.J., Prakken, H., Renooij, S., & Verheij, B. (2013). Inference and Attack in Bayesian Networks. 25th Benelux Conference on Artificial Intelligence (BNAIC 2013) (eds. Hindriks, K., De Weerdt, M., Van Riemsdijk, B., & Warnier, M.), 199-206. Delft: Delft University. details  pdf
aaDe Weerd, H., Verbrugge, R., & Verheij, B. (2013). How Much Does it Help to Know What she Knows you Know? An Agent-Based Simulation Study (Abstract). 25th Benelux Conference on Artificial Intelligence (BNAIC 2013) (eds. Hindriks, K., De Weerdt, M., Van Riemsdijk, B., & Warnier, M.), 314-315. Delft: Delft University. details  pdf
aaDe Weerd, H., Verbrugge, R., & Verheij, B. (2013). Higher-Order Theory of Mind in Negotiations Under Incomplete Information. PRIMA 2013: Principles and Practice of Multi-Agent Systems, Dunedin, New Zealand, December 2013. Lecture Notes in Artificial Intelligence 8291 (eds. Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., & Purvis, M.K.), 101-116. Berlin: Springer. http://dx.doi.org/10.1007/978-3-642-44927-7_8 details  pdf  doi
aaVerheij, B. (2012). Jumping to Conclusions. A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. 13th European Conference on Logics in Artificial Intelligence, JELIA 2012. Toulouse, France, September 2012. Proceedings (LNAI 7519) (eds. Fariñas del Cerro, L., Herzig, A., & Mengin, J.), 411-423. Berlin: Springer-Verlag. details  pdf
aaVerheij, B. (2012). Integrating argumentation, narrative and probability in legal evidence (position paper). The Third Workshop on Computational Models of Narrative (CMN 2012), 174-175. http://narrative.csail.mit.edu/ws12/proceedings.pdf. details  pdf  doi
aaDe Weerd, H., Verbrugge, R., & Verheij, B. (2012). Higher-order social cognition in rock-paper-scissors: A simulation study (extended abstract). International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (eds. Van der Hoek, W., Padgham, L., Conitzer, V., & Winikoff, M.), 1195-1196. details  pdf
aaDe Weerd, H., Verbrugge, R., & Verheij, B. (2012). Higher-order social cognition in rock-paper-scissors: A simulation study. Proceedings of the 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012) (eds. Bonanno, G., Van Ditmarsch, H., & W. van der Hoek), 218-232. details  pdf
aaBex, F.J., Bench-Capon, T.B.C., & Verheij, B. (2012). Persuasive Precedents. The Third Workshop on Computational Models of Narrative (CMN 2012), 169 -173. http://narrative.csail.mit.edu/ws12/proceedings.pdf. details  pdf  doi
aaDe Weerd, H., & Verheij, B. (2011). The Advantage of Higher-Order Theory of Mind in the Game of Limited Bidding. Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives (RAOM-2011), Groningen, The Netherlands, July 11th, 2011 (eds. van Eijck, J., & Verbrugge, L.C.), 149-164. Aachen: CEUR-WS.org. http://CEUR-WS.org/Vol-751/. details  pdf  doi
aaBex, F.J., Bench-Capon, T.J.M., & Verheij, B. (2011). What Makes a Story Plausible? The Need for Precedents. Legal Knowledge and Information Systems. JURIX 2011: The Twenty-Fourth Annual Conference (ed. Atkinson, K.M.), 23-32. Amsterdam: IOS Press. details  pdf
aaBex, F.J., & Verheij, B. (2011). Legal Shifts in the Process of Proof. The 13th International Conference on Artificial Intelligence and Law (ICAIL 2011). Proceedings of the Conference, 11-20. New York (New York): ACM. details  pdf
aaBex, F.J., & Verheij, B. (2011). Arguments, Stories and Evidence: Critical Questions for Fact-Finding. Proceedings of the Seventh Conference of the International Society for the Study of Argumentation (ISSA 2010). Amsterdam: SicSat. details  pdf
aade Bie, P., Scott-Phillips, T., Kirby, S., & Verheij, B. (2010). Using Software Agents to Investigate the Interactive Origins of Communication Systems. The Evolution of Language. Proceedings of the 8th International Conference (EvoLang8) (eds. Smith, A.D.M., Schouwstra, M., de Boer, B., & Smith, K.), 393-394. Singapore: World Scientific. details  pdf
aaVerheij, B. (2010). Argumentation and Rules with Exceptions. Computational Models of Argument. Proceedings of COMMA 2010. Frontiers in Artificial Intelligence and Applications 216 (eds. Baroni, P., Cerutti, F., Giacomin, M., & Simari, G.R.), 455-462. Amsterdam: IOS Press. details  pdf
aaCaminada, M.W.A., & Verheij, B. (2010). On the Existence of Semi-Stable Extensions. Proceedings of the 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010). http://bnaic2010.uni.lu/proceedings.html. details  pdf  doi
aaBex, F.J., & Verheij, B. (2010). Het Onderbouwen van een Feitelijk Oordeel in een Strafzaak. Reizen met mijn Rechter. Psychologie van het Recht (eds. Van Koppen, P.J., Merckelbach, H., Jelicic, M., & De Keijser, J.W.), 935-952. Deventer: Kluwer. details  pdf
aaBex, F.J., & Verheij, B. (2010). Story Schemes for Argumentation about the Facts of a Crime. Computational Models of Narrative: Papers from the AAAI Fall Symposium (FS-10-04) (eds. Finlayson, M., Gervás, P., Mueller, E., Narayanan, S., & Winston, P.H.), 6-13. Menlo Park (California): AAAI Press. http://www.aaai.org/Press/Reports/Symposia/Fall/fs-10-04.php. details  pdf  doi
aaVerheij, B. (2009). The Toulmin Argument Model in Artificial Intelligence. Or: How Semi-Formal, Defeasible Argumentation Schemes Creep into Logic. Argumentation in Artificial Intelligence (eds. Rahwan, I., & Simari, G.), 219-238. Dordrecht: Springer. details  pdf
aaVerheij, B., & Bex, F.J. (2009). Accepting the Truth of a Story about the Facts of a Criminal Case. Legal Evidence and Proof: Statistics, Stories, Logic (Applied Legal Philosophy Series) (eds. Kaptein, H., Prakken, H., & Verheij, B.), 161-193. Farnham: Ashgate. details  pdf
aaKaptein, H., Prakken, H., & Verheij, B. (2009). General Introduction. Legal Evidence and Proof: Statistics, Stories, Logic (Applied Legal Philosophy Series) (eds. Kaptein, H., Prakken, H., & Verheij, B.), 1-14. Farnham: Ashgate. details  pdf
aaColen, S., Cnossen, F., & Verheij, B. (2009). How Much Logical Structure is Helpful in Content-Based Argumentation Software for Legal Case Solving? The 12th International Conference on Artificial Intelligence and Law (ICAIL 2009). Proceedings of the Conference, 224-225. New York (New York): ACM. details  pdf
aaColen, S., Cnossen, F., & Verheij, B. (2009). How Much Logical Structure is Helpful in Content-Based Argumentation Software for Legal Case Solving? (Abstract). Proceedings of the Thirty-First Annual Conference of the Cognitive Science Society (CogSci 2009) (eds. Taatgen, N., & van Rijn, H.). http://csjarchive.cogsci.rpi.edu/proceedings/2009/papers/213/. details  pdf  doi
aaVerheij, B. (2008). About the Logical Relations between Cases and Rules. Legal Knowledge and Information Systems. JURIX 2008: The Twenty-First Annual Conference (eds. Francesconi, E., Sartor, G., & Tiscornia, D.), 21-32. Amsterdam: IOS Press. details  pdf
aaVerheij, B. (2007). A Coffeehouse Conversation on the Van den Herik Test. Liber Amicorum ter gelegenheid van de 60e verjaardag van Prof.dr. H. Jaap van den Herik, 155-163. Maastricht: Maastricht ICT Competence Center. details  pdf
aaVerheij, B. (2007). Commentaar bij E.T. Feteris: 'Een Rationele Reconstructie van het Wegen van Belangen op Basis van Doelen'. 'Alles Afwegende....' Bijdragen aan het Vijfde Symposium Juridische Argumentatie. Rotterdam 22 juni 2007 (eds. Feteris, E.T., Kloosterhuis, H., Plug, H.J., & Pontier, J.A.), 127-129. Nijmegen: Ars Aequi Libri. details  pdf
aaVerheij, B. (2007). A Labeling Approach to the Computation of Credulous Acceptance in Argumentation. IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 (ed. Veloso, M.M.), 623-628. http://www.ijcai.org/proceedings07.php. details  pdf  doi
aaVerheij, B. (2007). Over de Logische Samenhang tussen Casus en Regels. 'Alles Afwegende....' Bijdragen aan het Vijfde Symposium Juridische Argumentatie. Rotterdam 22 juni 2007 (eds. Feteris, E.T., Kloosterhuis, H., Plug, H.J., & Pontier, J.A.), 331-338. Nijmegen: Ars Aequi Libri. details  pdf
aaSchweers, M., & Verheij, B. (2007). Beyond Boxes and Arrows: Argumentation Support in Terms of the Knowledge Structure of a Legal Topic. Legal Knowledge and Information Systems. JURIX 2007: The Twentieth Annual Conference (eds. Lodder, A.R., & Mommers, L.), 109-118. Amsterdam: IOS Press. details  pdf
aaBex, F.J., Prakken, H., & Verheij, B. (2007). Formalising Argumentative Story-Based Analysis of Evidence. The 11th International Conference on Artificial Intelligence and Law (ICAIL 2007). Proceedings of the Conference, 1-10. New York (New York): ACM. details  pdf
aaBex, F.J., Van den Braak, S.W., Van Oostendorp, H., Prakken, H., Verheij, B., & Vreeswijk, G. (2007). Sense-Making Software for Crime Investigation: How to Combine Stories and Arguments? Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (eds. Dastani, M.M., & de Jong, E.), 311-312. details  pdf
aavan der Vaart, E., de Boer, B., Hankel, A., & Verheij, B. (2006). Agents Adopting Agriculture: Modeling the Agricultural Transition. From Animals to Animats 9, 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings (Lecture Notes in Computer Science: Vol. 4095) (eds. Nolfi, S., Baldassarre, G., Calabretta, R., Hallam, J.C.T., Marocco, D., Meyer, J.A., Miglino, O., & Parisi, D.), 750-761. Berlin: Springer-Verlag. details  pdf
aaVerheij, B. (2006). Evaluating Arguments Based on Toulmin's Scheme. Arguing on the Toulmin Model. New Essays in Argument Analysis and Evaluation (eds. Hitchcock, D.L., & Verheij, B.), 181-202. Dordrecht: Springer-Verlag. details  pdf
aaHitchcock, D.L., & Verheij, B. (2006). Introduction. Arguing on the Toulmin Model. New Essays in Argument Analysis and Evaluation (eds. Hitchcock, D.L., & Verheij, B.), 1-23. Dordrecht: Springer-Verlag. details  pdf
aaBex, F.J., Prakken, H., & Verheij, B. (2006). Anchored Narratives in Reasoning about Evidence. Legal Knowledge and Information Systems. JURIX 2006: The Nineteenth Annual Conference (ed. van Engers, T.), 11-20. Amsterdam: IOS Press. details  pdf
aaVerheij, B. (2004). Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic (abstract). Proceedings of the 16th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2004) (eds. Verbrugge, L.C., Taatgen, N., & Schomaker, L.R.B.), 297-298. details  pdf
aaVerheij, B. (2004). Is Recht door een Evolutionair Proces Ontstaan? Over Leven en Recht. Opstellen Aangeboden aan Prof. mr. N.H.M. Roos ter Gelegenheid van zijn Afscheid als Hoogleraar Metajuridica (eds. van Dun, F., Baakman, N., Hage, J.C., & Jettinghoff, A.), 77-81. Maastricht: Shaker Publishing. details  pdf
aaRoth, B., & Verheij, B. (2004). Cases and Dialectical Arguments - An Approach to Case-Based Reasoning. On the Move to Meaningful Internet Systems 2004: Otm 2004 Workshops, Proceedings (Lecture Notes in Computer Science, Vol. 3292), 634-651. details  pdf
aaRoth, B., & Verheij, B. (2004). Dialectical Arguments and Case Comparison. Legal Knowledge and Information Systems. JURIX 2004: The Seventeenth Annual Conference (ed. Gordon, T.F.), 99-108. Amsterdam: IOS Press. details  pdf
aaVerheij, B. (2003). Dialectical Argumentation with Argumentation Schemes: Towards a Methodology for the Investigation of Argumentation Schemes. Proceedings of the Fifth Conference of the International Society for the Study of Argumentation (ISSA 2002) (eds. van Eemeren, F.H., Blair, J.A., Willard, C.A., & Snoeck Henkemans, F.), 1033-1037. Amsterdam: Sic Sat. details  pdf
aaGirle, R., Hitchcock, D.L., McBurney, P., & Verheij, B. (2003). Decision Support for Practical Reasoning: a theoretical and computational perspective. Argumentation Machines. New Frontiers in Argument and Computation (eds. Reed, C., & Norman, T.J.), 55-84. Dordrecht: Kluwer Academic Publishers. details  pdf
aaVerheij, B. (2002). On the Existence and the Multiplicity of Extensions in Dialectical Argumentation. Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'2002) (eds. Benferhat, S., & Giunchiglia, E.), 416-425. Toulouse. details  pdf
aaVerheij, B., & Hage, J.C. (2002). Rechtsinformatica als Tak van Wetenschap. Informatietechnologie voor Juristen (eds. Oskamp, A., & Lodder, A.R.), 69-91. Deventer: Kluwer. details  pdf
aaVerheij, B. (2001). Anchored Narratives and Dialectical Argumentation. ICAIL-2001 Workshop on AI and Legal Evidence. details  pdf
aaVerheij, B. (2001). Evaluating Arguments Based on Toulmin's Scheme. Argumentation and its Applications. Proceedings of the Fourth Biennial Conference of the Ontario Society for the Study of Argumentation (OSSA 2001) (eds. Hansen, H.V., Tindale, C.W., Blair, J.A., & Johnson, R.H.). details  pdf
aaVerheij, B. (2001). Legal Decision Making as Dialectical Theory Construction with Argumentation Schemes. The 8th International Conference on Artificial Intelligence and Law (ICAIL 2001). Proceedings of the Conference, 225-226. New York (New York): ACM. The full paper is available at http://www.ai.rug.nl/~verheij/publications/argsch.htm. details  pdf  doi
aaVerheij, B. (2000). Dialectical Argumentation as a Heuristic for Courtroom Decision Making. Rationality, Information and Progress in Law and Psychology. Liber Amicorum Hans F. Crombag (eds. van Koppen, P.J., & Roos, N.), 203-226. Maastricht: Metajuridica Publications. Argentine.Lankkamp@metajur.unimaas.nl. details  pdf  doi
aaVerheij, B. (2000). Oplossing van Casusposities over Onrechtmatige Daad met Moderne Logische Hulpmiddelen. Met Recht en Reden. Bijdragen aan het Derde Symposium Juridische Argumentatie, 18 juni 1999 te Rotterdam (eds. Feteris, E.T., Kloosterhuis, H., Plug, H.J., & Pontier, J.A.), 221-230. Nijmegen: Ars Aequi Libri. details
aaVerheij, B., & Lodder, A.R. (2000). L'Argumentation Juridique Assistée par l'Ordinateur: l'Approche Visuelle vs l'Approche Verbale. Droit et Intelligence Artificielle (eds. Bourcier, D., Hassett, P., & Roquilly, C.), 73-92. Paris: Romillat. French translation of 'Computer-Mediated Legal Argument: the Verbal vs. the Visual Approach' (1998). details  doi
aaHage, J.C., & Verheij, B. (2000). The Law as a Dynamic Interconnected System of States of Affairs: a Legal Top Ontology (Abstract). Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference (BNAIC '00). De Efteling, Kaatsheuvel (eds. van den Bosch, A., & Weigand, H.), 345-346. details  pdf
aaVerheij, B. (1999). Automated Argument Assistance for Lawyers (abstract). BNAIC '99. Proceedings of the Eleventh Netherlands/Belgium Artificial Intelligence Conference (eds. Postma, E., & Gyssens, M.), 269-270. Maastricht. details
aaVerheij, B. (1999). Automated Argument Assistance for Lawyers. The Seventh International Conference on Artificial Intelligence and Law (ICAIL 1999). Proceedings of the Conference, 43-52. New York (New York): ACM. details  pdf
aaVerheij, B. (1999). Logic, Context and Valid Inference. Or: Can There be a Logic of Law? Legal Knowledge Based Systems. JURIX 1999: The Twelfth Conference (eds. van den Herik, H.J., Moens, M. -F, Bing, J., van Buggenhout, B., Zeleznikow, J., & Grütters, C.A.F.M.), 109-121. Nijmegen: Gerard Noodt Instituut. details  pdf
aaHage, J.C., & Verheij, B. (1999). Rechtsinformatica: de Stand van Zaken in de Wetenschap. Informatietechnologie voor Juristen. Handboek voor de Jurist in de 21e Eeuw (eds. Oskamp, A., & Lodder, A.R.), 65-92. Deventer: Kluwer. details  pdf
aaVerheij, B. (1998). Argue! - an Implemented System for Computer-Mediated Defeasible Argumentation. NAIC '98. Proceedings of the Tenth Netherlands/Belgium Conference on Artificial Intelligence (eds. La Poutré, H., & van den Herik, H.J.), 57-66. Amsterdam: CWI. details  pdf
aaVerheij, B. (1998). ArguMed - A Template-Based Argument Mediation System for Lawyers. Legal Knowledge Based Systems. JURIX: The Eleventh Conference (eds. Hage, J.C., Bench-Capon, T.J.M., Koers, A.W., de Vey Mestdagh, C.N.J., & Grütters, C.A.F.M.), 113-130. Nijmegen: Gerard Noodt Instituut. details  pdf
aaVerheij, B. (1998). Argument Mediation for Lawyers: the Presentation of Arguments. Proceedings of the Fourth International Conference of the International Society for the Study of Argumentation (eds. van Eemeren, F.H., Grootendorst, R., Blair, J.A., & Willard, C.A.), 820-828. Amsterdam: Sic Sat. details
aaVerheij, B., & Lodder, A.R. (1998). Computer-Mediated Legal Argument: the Verbal vs. the Visual Approach. Proceedings of the 2nd French-American Conference on Artificial Intelligence and Law - June 11-12. Nice. details
aaLodder, A.R., & Verheij, B. (1998). Opportunities of Computer-Mediated Legal Argument in Education. Proceedings of the BILETA-Conference - March 27-28. Ireland: Dublin. details
aaVerheij, B., & Hage, J.C. (1997). States of Affairs, Events, and Rules: an Abstract Model of the Law. Legal Knowledge Based Systems. JURIX: The Tenth Conference (eds. Oskamp, A., de Mulder, R.V., van Noortwijk, C., Grütters, C.A.F.M., Ashley, K.D., & Gordon, T.F.), 3-20. Nijmegen: The Foundation for Legal Knowledge Systems. details  pdf
aaVerheij, B., Hage, J.C., & Lodder, A.R. (1997). Logical Tools for Legal Argument: a Practical Assessment in the Domain of Tort. The Sixth International Conference on Artificial Intelligence and Law (ICAIL 1997). Proceedings of the Conference, 243-249. New York (New York): ACM. details  pdf
aaVerheij, B. (1996). An Integrated View on Rules and Principles. Legal Knowledge Based Systems. JURIX '96. Foundations of Legal Knowledge Systems (eds. van Kralingen, R.W., van den Herik, H.J., Prins, J.E.J., Sergot, M., & Zeleznikow, J.), 25-38. Tilburg: Tilburg University Press. details  pdf
aaVerheij, B. (1996). Two Approaches to Dialectical Argumentation: Admissible Sets and Argumentation Stages. NAIC'96. Proceedings of the Eighth Dutch Conference on Artificial Intelligence (eds. Meyer, J.J., & Van der Gaag, L.C.), 357-368. Utrecht: Universiteit Utrecht. A preliminary version was presented at the Computational Dialectics Workshop at FAPR-96. June 3-7, 1996, Bonn. details  pdf  doi
aaVerheij, B. (1995). Accrual of Arguments in Defeasible Argumentation. Dutch/German Workshop on Nonmonotonic Reasoning. Proceedings of the Second Workshop, 217-224. Delft University of Technology, Universiteit Utrecht. details  pdf
aaVerheij, B. (1995). Arguments and Defeat in Argument-Based Nonmonotonic Reasoning. Progress in Artificial Intelligence. 7th Portuguese Conference on Artificial Intelligence (EPIA '95; Lecture Notes in Artificial Intelligence, Vol. 990) (eds. Pinto-Ferreira, C., & Mamede, N.J.), 213-224. Berlin: Springer-Verlag. details  pdf
aaVerheij, B. (1995). The Influence of Defeated Arguments in Defeasible Argumentation. WOCFAI 95. Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence (eds. De Glas, M., & Pawlak, Z.), 429-440. Paris: Angkor. details  pdf
aaVerheij, B. (1995). Reason Based Logic in Law. Verso un sistema esperto giuridico integrale (eds. Ciampi, C., Natali, F.S., & Elmi, G.T.), 681-693. Padova: CEDAM. details  pdf
aaVerheij, B. (1994). Reason Based Logic and Legal Knowledge Representation. Proceedings of the Fourth National Conference on Law, Computers and Artificial Intelligence (eds. Carr, I., & Narayanan, A.), 154-165. University of Exeter. details
aaVerheij, B., & Hage, J.C. (1994). Reasoning by Analogy: a Formal Reconstruction. Legal knowledge based systems. The relation with legal theory (eds. Prakken, H., Muntjewerff, A.J., & Soeteman, A.), 65-78. Lelystad: Koninklijke Vermande. details  pdf
aaHage, J.C., & Verheij, B. (1994). Towards a Logic for Reasoning with Norms. ECAI'94 Workshop W9, Artificial Normative Reasoning (ed. Breuker, J.A.), 160-177. details
aaVerheij, B., & Hage, J.C. (1993). Reason Based Logic in Law. Towards a global expert system in law. A glance at the conference (eds. Bargellini, G., & Binazzi, S.), 110-111. Florence.
aaHage, J.C., Verheij, B., & Lodder, A.R. (1993). Reason Based Logic. A Logic that Deals with Rules and Reasons. Working Papers NAIC '93 (eds. Akkermans, J.M., & Breuker, J.A.), 293-304. details  pdf
aa

Book reviews, comments

aaDi Bello, M., & Verheij, B. (2016). Book Review. Douglas Walton: Argument Evaluation and Evidence. Argumentation . http://dx.doi.org/10.1007/s10503-016-9413-7 details  pdf  doi
aaVerheij, B. (2005). Building Blocks of a Legal System. Comments on Summers' Preadvies for the Vereniging voor Wijsbegeerte van het Recht. Rechtsfilosofie & Rechtstheorie 34 (2), 200-204. details  pdf
aaVerheij, B. (2003). Book Review: M. MacCrimmon and P. Tillers (eds.), The Dynamics of Judicial Proof. Computation, Logic, and Common Sense. Artificial Intelligence and Law 11 (3), 299-303. details  pdf
aaVerheij, B. (2001). Book Review of D. Walton's 'The New Dialectic', 'Ad Hominem Arguments' and 'One-Sided Arguments'. Artificial Intelligence and Law 9, 305-313. details  pdf
aaVerheij, B. (2000). Book Review: Formalism and Interpretation in the Logic of Law (Review of H. Prakken's 'Logical Tools for Modelling Legal Argument'). Artificial Intelligence and Law 8, 35-65. details  pdf
aaVerheij, B. (1999). De Bouw van Juridische Kennissystemen. Boekbespreking van: M.C.M. Weusten, De Bouw van Juridische Kennissystemen, KRT: Methodologie en Gereedschap (Proefschrift Universiteit Utrecht). Recht & Elektronische Media (R&EM) 1999 (3), 19-22. Ook gepubliceerd in BNVKI Newsletter 16 (5), 145-149. details  pdf  doi
aaVerheij, B. (1998). Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law door Henry Prakken (boekbespreking). NVKI Nieuwsbrief 15 (2), 54-60. details  pdf
aaVerheij, B. (1997). Bespreking Proefschrift Kees de Vey Mestdagh. Juridische Kennissystemen. Rekentuig of Rekenmeester? NVKI Nieuwsbrief 14 (6), 167-173. details  pdf
aa

Technical reports

aaVerheij, B. (2009). A Note on the Semi-Stable Semantics of Abstract Argumentation Systems. Technical report. details pdf
aaVerheij, B. (2005). An Argumentation Core Ontology as the Centerpiece of a Myriad of Argumentation Formats. Input Agentlink Argumentation Interchange Format Technical Forum 2005 . http://www.x-opennet.org/aif/. details pdf
aaVerheij, B. (2000). DefLog - a Logic of Dialectical Justification and Defeat. Technical Report. http://www.ai.rug.nl/~verheij/publications/DefLog15.htm. details pdf
aa

Miscellany

aaVerheij, B., Francesconi, E., & Gardner, A. (2014). ICAIL 2013: The Fourteenth International Conference on Artificial Intelligence and Law. AI Magazine  35 (2), 81-82. http://dx.doi.org/10.1609/aimag.v35i2.2523  doi
aaVerheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2013). AI@Rug Newsletter 8 (1). details
aaVerheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2012). AI@Rug Newsletter 7 (1). details
aaVerheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2012). AI@Rug Newsletter 7 (2). details
aaVerheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2011). AI@Rug Newsletter 6 (2). details
aaVerheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2011). AI@Rug Newsletter 6 (1). details
aaVerheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2010). AI@Rug Newsletter 5 (1). details
aaVerheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2010). AI@Rug Newsletter 5 (2). details
aaVerheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2009). AI@Rug Newsletter 4 (1). details
aaVerheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2009). AI@Rug Newsletter 4 (2). details
aaVerheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2008). AI@Rug Newsletter 3 (1). details
aaVerheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2008). AI@Rug Newsletter 3 (2). details
aaVerheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2007). AI@Rug Newsletter 2 (1). details
aaVerheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2007). AI@Rug Newsletter 2 (2). details
aaVerheij, B., Niessink, H., Schomaker, L.R.B., & Zondervan, K. (eds.) (2006). AI@Rug Newsletter 1 (1). details
aaVerheij, B., Niessink, H., Schomaker, L.R.B., & Zondervan, K. (eds.) (2006). AI@Rug Newsletter 1 (2). details
aaVerheij, B. (2000). Logic and Reasoning 1 (BNAIC 2000 Report). BNVKI Newsletter 17 (6), 132-133.
aaVerheij, B. (2000). Van Advies naar Ondersteuning. Recht & Elektronische Media (R&EM) 2000 (2), 2-3. details  pdf
aaVerheij, B. (1998). Automatisch Categoriseren van Tekst en Mogelijke Toepassingen in de Rechtsinformatica. Bespreking van Lezing door Marie-Francine Moens. NVKI Nieuwsbrief 15 (2), 51-52.
aaVerheij, B. (1996). Conference Report. FAPR '96: The International Conference on Formal and Applied Practical Reasoning. http://www.ai.rug.nl/~verheij/publications/fapr96report/. details pdf
aaVerheij, B. (1995). Frame-Based Conceptual Models of Statute Law. Bespreking Lezing Robert van Kralingen. NVKI Nieuwsbrief 12 (5), 129-130.
aaVerheij, B. (1995). Rules and Reasons: from Ontology to Rational Standards for Defeasible Reasoning. Report SKBS/B3.A/95-07 .
aaVerheij, B. (1993). ARCHIMEDES Legal Object and Link Types in the ARCHIMEDES Information Network. Report SKBS/B3.A/93-02 .
aaVerheij, B. (1993). ARCHIMEDES Reason Based Logic Formalized. Report SKBS/B3.A/93-13 .
aaVerheij, B. (1992). Derde Bijeenkomst Werkgroep Logica en Recht. NVKI Nieuwsbrief 9 (4), 123-124.
aaVerheij, B. (1992). Het ARCHIMEDES Project: Slim Zoeken in Veel Informatiebronnen. Hypothetische Conclusies van de Beoogde Dissertaties Assistenten in Opleiding Jaargang 1992 .
aaHage, J.C., Span, G., Verheij, B., & Lodder, A.R. (1992). ARCHIMEDES An Illustrated Overview of the Legal Applications. Report SKBS/B3.A/92-09 .

News

BNAIC 2017 (November 8-9, 2017)

The 29th Benelux Conference on Artificial Intelligence (Groningen)

Kennisdiner `The Fiction of Reality' (September 18, 2017)

Diner met sprekers, Studium Generale Groningen (met historicus Jan Blaauw, medisch onderzoeker Désirée Goubert, theatermaakster Sarah Moeremans). Locatie: Grand Theatre. Catering: Kruimels. Verslag in Universiteitskrant

Inaugural lecture (September 12, 2017)

Argumenten voor goede kunstmatige intelligentie (Arguments for good artificial intelligence)

Vacancies: fully funded PhD positions in artificial intelligence and argumentation (Apply before July 15, 2017)

Projects The value of data and Home robotics
- In your motivation letter, you should apply for a specific project or projects.
- There are restrictions: you should not have resided or carried out your main activity in The Netherlands for more than 12 months in the three years before July 15, 2017.

ICAIL 2017 conference paper (2017)

Formalizing Arguments, Rules and Cases

Workshop King's College, London (2017)

Evidence & Decision Making in the Law: Theoretical, Computational and Empirical Approaches (organized with Marcello Di Bello)

Artificial Intelligence and Law journal special issue (2017)

Special issue Artificial Intelligence for Justice (AI4J) (with Floris Bex, Henry Prakken and Tom van Engers)

Artificial Intelligence and Law journal paper (2017)

Proof With and Without Probabilities. Correct Evidential Reasoning with Presumptive Arguments, Coherent Hypotheses and Degrees of Uncertainty

Journal of Autonomous Agents and Multi-Agent Systems paper (2017)

Negotiating with Other Minds. The Role of Recursive Theory of Mind in Negotiation with Incomplete Information (with Harmen de Weerd and Rineke Verbrugge)

Dissertation defence (2017)

On Wednesday February 1, 2017, Sjoerd Timmer
defends his dissertation `Designing and Understanding Forensic Bayesian Networks using Argumentation' in Utrecht.

International Journal of Approximate Reasoning journal paper (2017)

A two-phase method for extracting explanatory arguments from Bayesian networks (with Sjoerd Timmer, John-Jules Meyer, Henry Prakken and Silja Renooij)

JURIX conference paper on ethical systems design (2016)

Arguments for Ethical Systems Design

Artificial Intelligence and Law journal paper on ethical systems design (2016)

Formalizing Value-Guided Argumentation for Ethical Systems Design

JELIA conference paper (2016)

Correct Grounded Reasoning with Presumptive Arguments

Final symposium NWO Forensic Science research program (2016)

Presentation of the research project on statistics, argumentation and scenarios in forensic reasoning (report by ZonMW in Dutch)

Invited researcher at the Isaac Newton Institute for Mathematical Sciences, University of Cambridge (2016)

Scientific programme Probability and Statistics in Forensic Science

Workshop and dissertation defence (2016)

Friday October 28, 2016: Dissertation defence Charlotte Vlek (press report, download dissertation)
Thursday October 27, 2016: Workshop Beyond a Reasonable Doubt: Scenarios and Bayesian Networks for Analyzing Forensic Evidence

Invited graduate course Second Summer School of Argumentation (2016)

University of Potsdam, Campus Griebnitzsee

Artificial Intelligence for Justice, workshop at ECAI (2016)

The Hague, August 30, 2016

Argument and Computation journal (2016)

First open access issue online

Artificial Intelligence and Law journal paper (2016)

A Method for Explaining Bayesian Networks for Legal Evidence with Scenarios (with Charlotte Vlek, Henry Prakken and Silja Renooij)

Stanford CodeX FutureLaw conference (2016)

Computational Law Update, speaker (invited)

Faculty Spotlight talk (2016)

Arguments for Understanding our Complex World

Law, Probability and Risk journal paper (2016)

Arguments, Scenarios and Probabilities: Connections Between Three Normative Frameworks for Evidential Reasoning (with Floris Bex, Sjoerd Timmer, Charlotte Vlek, John-Jules Meyer, Silja Renooij and Henry Prakken)

Book Virtual Arguments, Chinese translation (2016)

China University of Political Science and Law Press, series editor Professor Minghui Xiong (Sun Yat-Sen University, Institute of Logic and Cognition), translation Wu Zhou

PhD defense Harmen de Weerd and associated mini-symposium (2015)

Harmen de Weerd's dissertation: 'If You Know What I Mean. Agent-Based Models for Understanding The Function of Higher-Order Theory of Mind' (promotor: Rineke Verbrugge, copromotor: Bart Verheij)

Workshop Bielefeld, Germany (2015)

Models of Rational Proof in Criminal Law (organized by Floris Bex, Anne Ruth Mackor and Henry Prakken; with support from our NWO Forensic Science project)

Workshop University of San Diego, California (2015)

Studying Evidence in the Law - ICAIL 2015 Workshop: Formal, Computational and Philosophical Methods

Stanford CodeX FutureLaw conference 2015 (2015)

Panel New Breakthroughs in Computational Law, invited moderator

Workshop University of Groningen (2015)

Forensic Relevance of Bayesian Networks (language: Dutch)

Keynote lecture SMART Cognitive Science International Colloquium, Communication and Agency workshop (2015)

Arguments, scenarios and probabilities: how to catch a thief with and without numbers

Presentation at the Effacts LegalTech event, Amsterdam (2015)

Argumentation Technology, Or: How the Law Is Changing Artificial Intelligence

Handbook of Argumentation Theory (2014)

with a chapter on Argumentation and Artificial Intelligence

COMMA 2014 conference paper (2014)

Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points

Law, Probability and Risk journal paper (2014)

To Catch a Thief With and Without Numbers: Arguments, Scenarios and Probabilities in Evidential Reasoning

Invited speaker 8th International Workshop on Juris-informatics (JURISIN, Keio University, Tokyo) (2014)

The Future of Argumentation Technology, as guided by the needs of the law

Keynote lecture 9th International Conference on Forensic Inference and Statistics (2014)

To Catch a Thief With and Without Numbers

Artificial Intelligence and Law journal paper (2014)

Building Bayesian Networks for Legal Evidence with Narratives: a Case Study Evaluation(with Charlotte Vlek, Henry Prakken and Silja Renooij)

Stanford event (2014)

Trial With and Without Mathematics. Legal, Philosophical and Computational Perspectives. 2014 Stanford Symposium on Law and Rationality

Invited lecturing Sun Yat-Sen University (2013)

Invited graduate course "Argumentation in Artificial Intelligence, With Applications in the Law" at the Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou

BNAIC 2013 conference paper (2013)

Inference and Attack in Bayesian Networks (with Sjoerd Timmer, John-Jules Meyer, Henry Prakken and Silja Renooij)

Computational Narrative workshop (2013)

Workshop on Computational Models of Narrative (Hamburg, Germany, August 4-6, 2013), with a paper/presentation by Charlotte Vlek: Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network

ICAIL 2013 conference paper (2013)

Modeling Crime Scenarios in a Bayesian Network (with Charlotte Vlek, Henry Prakken, and Silja Renooij)

Artificial Intelligence journal paper (2013)

How Much Does it Help to Know What she Knows you Know? An Agent-Based Simulation Study (with Harmen de Weerd and Rineke Verbrugge)

Program chair (2013)

The Fourteenth International Conference on Artificial Intelligence and Law (ICAIL 2013) Rome, Italy, June 10-14, 2013

AI & Law journal paper (2013)

Legal Stories and the Process of Proof (with Floris Bex)

Journal paper ICAIL@25 (2012)

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law (with many coauthors; ed. Trevor Bench-Capon)

JELIA conference paper (2012)

Jumping to Conclusions. A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments

Forensic Science symposium (2012)

1st Symposium NWO Forensic Science (NFI Field Lab, The Hague, September 18, 2012)

Program chair (2012)

The Fourth International Conference on Computational Models of Argument (COMMA 2012) Vienna, Austria, September 10-12, 2012

Argumentation journal paper (2012)

Solving a Murder Case by Asking Critical Questions: An Approach to Fact-Finding in Terms of Argumentation and Story Schemes (with Floris Bex)