Bart Verheij
| __ | Verheij, B. (2018). Arguments for Good Artificial Intelligence. Groningen: University of Groningen. Inaugural lecture. http://www.ai.rug.nl/~verheij/oratie/. details pdf |
| __ | van 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 |
| __ | Verheij, B. (2005). Virtual Arguments. On the Design of Argument Assistants for Lawyers and Other Arguers. The Hague: TMC Asser Press. details pdf |
| __ | Verheij, B. (1996). Rules, Reasons, Arguments. Formal Studies of Argumentation and Defeat. Maastricht: Universiteit Maastricht. Dissertation. http://www.ai.rug.nl/~verheij/publications/proefschrift/. details pdf |
| __ | Steging, C., Renooij, S., Verheij, B., & Bench-Capon, T. (2023). Arguments, rules and cases in law: Resources for aligning learning and reasoning in structured domains (Community Resources paper). Argument & Computation 14 (2), 235-243. https://doi.org/10.3233/AAC-220017 details pdf doi |
| __ | De Weerd, H., Verbrugge, R., & Verheij, B. (2022 online). Higher-order theory of mind is especially useful in unpredictable negotiations. Journal of Autonomous Agents and Multi-Agent Systems 36. https://doi.org/10.1007/s10458-022-09558-6 details pdf doi |
| __ | Ayoobi, H., Kasaei, H., Cao, M., Verbrugge, R., & Verheij, B. (2022 online). Local-HDP: Interactive Open-ended 3D Object Category Recognition in Real-Time Robotic Scenarios. Robotics and Autonomous Systems 147 (January), 103911. https://doi.org/10.1016/j.robot.2021.103911 details pdf doi |
| __ | Keshavarzi Zafarghandi, A., Verbrugge, R., & Verheij, B. (2022). Strong Admissibility for Abstract Dialectical Frameworks. Argument and Computation 13 (3), 249-289. https://doi.org/10.3233/AAC-210002 details pdf doi |
| __ | Governatori, G., Bench-Capon, T.J.M., Verheij, B., Araszkiewicz, M., Francesconi, E., & Grabmair, M. (2022). Thirty years of Artificial Intelligence and Law: the first decade. Artificial Intelligence and Law 30 (4), 481-519. https://doi.org/10.1007/s10506-022-09329-4 details pdf doi |
| __ | Ayoobi, H., Cao, M., Verbrugge, R., & Verheij, B. (2022). Argumentation-Based Online Incremental Learning. IEEE Transactions on Automation Science and Engineering 19 (4), 3419-3433. https://doi.org/10.1109/TASE.2021.3120837 details pdf doi |
| __ | Verheij, B. (2020). Analyzing the Simonshaven Case With and Without Probabilities. TopiCS in Cognitive Science 12 (4), 1175-1999. https://doi.org/10.1111/tops.12436 details pdf doi |
| __ | Verheij, B. (2020). Artificial intelligence as law. Presidential address to the seventeenth international conference on artificial intelligence and law. Artificial Intelligence and Law 28 (2), 181-206. https://doi.org/10.1007/s10506-020-09266-0 details pdf doi |
| __ | Akata, Z., Balliet, D., de Rijke, M., Dignum , F., Dignum, V., Eiben, G., Fokkens, A., Grossi, D., Hindriks, K., Hoos, H., Hung, H., Jonker, C., Monz, Christof, Neerincx, M.A., Oliehoek, F., Prakken, H., Schlobach, S., van der Gaag, L., van Harmelen, F., van Hoof, H., van Riemsdijk, B., van Wynsberghe, A., Verbrugge, R., Verheij, B., Vossen, P., & Welling, M. (2020). A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect by Collaborative, Adaptive, Responsible and Explainable Artificial Intelligence. Computer 53 (8), 18-28. https://doi.org/10.1109/MC.2020.2996587 details pdf doi |
| __ | van Eemeren, F.H., & Verheij, B. (2017). Argumentation Theory in Formal and Computational Perspective. IFCoLog Journal of Logics and Their Applications 4 (8), 2099-2181. http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf details pdf doi |
| __ | Verheij, 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 |
| __ | Timmer, 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 |
| __ | De 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 |
| __ | 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. http://dx.doi.org/10.1007/s10506-016-9183-4 details pdf doi |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | De 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 |
| __ | Vlek, 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 |
| __ | Verheij, 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 |
| __ | De 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 |
| __ | Bex, 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 |
| __ | Bex, 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 |
| __ | Bex, 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 |
| __ | Bench-Capon, T.J.M., Araszkiewicz, M., Ashley, K.D., Atkinson, K., Bex, F.J., 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 |
| __ | Bex, 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 |
| __ | Verheij, 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 |
| __ | Bex, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Lodder, 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 |
| __ | Hage, 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 |
| __ | Verheij, 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 |
| __ | Hage, 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 |
| __ | Books (research) - Journal articles - Chapters, proceedings papers - Books (education) - Books (edited) - Special issues (edited) - Reviews, comments, editorials - Technical reports - Miscellany Chapters, proceedings papers |
| __ | van Woerkom, W., Grossi, D., Prakken, H., & Verheij, B. (2023). Hierarchical a Fortiori Reasoning with Dimensions. Legal Knowledge and Information Systems. JURIX 2023: The Thirty-sixth Annual Conference (eds. Sileno, G., Spanakis, J., & van Dijck, G.), 43-52. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA230944 details pdf doi |
| __ | van Woerkom, W., Grossi, D., Prakken, H., & Verheij, B. (2023). Hierarchical Precedential Constraint. The 19th International Conference on Artificial Intelligence and Law (ICAIL 2023). Proceedings of the Conference, 333-342. New York (New York): ACM. https://doi.org/10.1145/3594536.3595154 details pdf doi |
| __ | van Woerkom, W., Grossi, D., Prakken, H., & Verheij, B. (2023). Justification in case-based reasoning. Proceedings of the First International Workshop on Argumentation for eXplainable AI (ArgXAI). CEUR-WS, Vol. 3209 (eds. Čyras, K., Kampik, T., Cocarascu, O., & Rago, A.). https://ceur-ws.org/Vol-3209/5942.pdf details pdf doi |
| __ | van Leeuwen, L., Verheij, B., Verbrugge, R., & Renooij, S. (2023). Evaluating Methods for Setting a Prior Probability of Guilt. Legal Knowledge and Information Systems. JURIX 2023: The Thirty-sixth Annual Conference (eds. Sileno, G., Spanakis, J., & van Dijck, G.), 63-72. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA230946 details pdf doi |
| __ | van Leeuwen, L., Verheij, B., Verbrugge, R., & Renooij, S. (2023). Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios. The 19th International Conference on Artificial Intelligence and Law (ICAIL 2023). Proceedings of the Conference, 323-332. New York (New York): ACM. https://doi.org/10.1145/3594536.3595125 details pdf doi |
| __ | Steging, C., Renooij, S., & Verheij, B. (2023). Improving Rationales with Small, Inconsistent and Incomplete Data. Legal Knowledge and Information Systems. JURIX 2023: The Thirty-sixth Annual Conference (eds. Sileno, G., Spanakis, J., & van Dijck, G.), 53-62. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA230945 details pdf doi |
| __ | Frittella, S., Kozhemiachenko, D., & Verheij, B. (2023). Presumptive Reasoning in a Paraconsistent Setting. Theoretical Aspects of Rationality and Knowledge 2023 (TARK 2023). EPTCS 379 (ed. Verbrugge, R.), 233-244. https://doi.org/10.4204/EPTCS.379.19 details pdf doi |
| __ | Ayoobi, H., Kasaei, H., Cao, M., Verbrugge, R., & Verheij, B. (2023). Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. 2023 IEEE International Conference on Robotics and Automation (ICRA), London, United Kingdom, 4960-4966. https://doi.org/10.1109/ICRA48891.2023.10160927 details pdf doi |
| __ | van Woerkom, W., Grossi, D., Prakken, H., & Verheij, B. (2022). Landmarks in Case-based Reasoning: From Theory to Data. Proceedings of the First International Conference on Hybrid Human-Machine Intelligence (eds. Schlobach, S., Pérez-Ortiz, M., & Tielman, M.), 212-224. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA220200 details pdf doi |
| __ | Verheij, B. (2022). The Study of Artificial Intelligence as Law. Law and Artificial Intelligence. Regulating AI and Applying AI in Legal Practice (eds. Custers, B., & Fosch-Villaronga, E.), 477-502. Berlin: Springer. https://doi.org/10.1007/978-94-6265-523-2_24 details pdf doi |
| __ | Kinder, L., Thimm, M., & Verheij, B. (2022). A Labeling Based Backtracking Solver for Abstract Argumentation. SAFA 2022. The Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022. Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022). Cardiff, Wales, United Kingdom, September 13, 2022. (eds. Gaggl, S.A., Mailly, J., Thimm, M., & Wallner, J.P.). CEUR Workshop Proceedings. http://ceur-ws.org/Vol-3236/paper9.pdf details pdf doi |
| __ | Keshavarzi Zafarghandi, A., Dvořák, W. , Verbrugge, R., & Verheij, B. (2022). How complex is the strong admissibility semantics for abstract dialectical frameworks? Computational Models of Argument. Proceedings of COMMA 2022 (eds. Toni, F., Polberg, S., Booth, R., Caminada, M., & Kido, H.), 200-211. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA220153 details pdf doi |
| __ | Bench-Capon, T., & Verheij, B. (2022). Unpacking arguments. Legal Knowledge and Information Systems. JURIX 2022: The Thirty-fifth Annual Conference (eds. Francesconi, E., Borges, G., & Sorge, C.), 145-150. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA220458 details pdf doi |
| __ | Zheng, H., Grossi, D., & Verheij, B. (2021). Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases. XAILA 2020. EXplainable and Responsible AI in Law 2020. Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020). Prague, Czech Republic, December 9th, 2020. (eds. Nalepa, G.J., Araszkiewicz, M., Atzmueller, M., Verheij, B., & Bobek, S.). CEUR Workshop Proceedings. https://ceur-ws.org/Vol-2891/XAILA-2020_paper_3.pdf details pdf doi |
| __ | Zheng, H., Grossi, D., & Verheij, B. (2021). Logical Comparison of Cases. AI Approaches to the Complexity of Legal Systems XI-XII. AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020. Revised Selected Papers (Lecture Notes in Artificial Intelligence - LNAI 130148), 125-140. Berlin: Springer. https://doi.org/10.1007/978-3-030-89811-3_9 details pdf doi |
| __ | Zheng, H., & Verheij, B. (2021). Rules, cases and arguments in artificial intelligence and law. Research Handbook on Big Data Law (ed. Vogl, R.), 374-388. Cheltenham: Edgar Elgar Publishing. https://www.e-elgar.com/shop/gbp/research-handbook-on-big-data-law-9781788972819.html details pdf doi |
| __ | Zheng, H., Grossi, D., & Verheij, B. (2021). Hardness of Case-Based Decisions: a Formal Theory. The 18th International Conference on Artificial Intelligence and Law (ICAIL 2021). Proceedings of the Conference, 149-158. New York (New York): ACM. https://doi.org/10.1145/3462757.3466071 details pdf doi |
| __ | Steging, C., Renooij, S., & Verheij, B. (2021). Rationale Discovery and Explainable AI. Legal Knowledge and Information Systems. JURIX 2021: The Thirty-fourth Annual Conference (ed. Schweighofer, E.), 225-234. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA210341 details pdf doi |
| __ | Steging, C., Renooij, S., & Verheij, B. (2021). Discovering the Rationale of Decisions: Towards a Method for Aligning Learning and Reasoning. The 18th International Conference on Artificial Intelligence and Law (ICAIL 2021). Proceedings of the Conference, 235-239. New York (New York): ACM. https://doi.org/10.1145/3462757.3466059 details pdf doi |
| __ | Keshavarzi Zafarghandi, A., Dvořák, W. , Verbrugge, R., & Verheij, B. (2021). Computational Complexity of Strong Admissibility for Abstract Dialectical Frameworks. 19th International Workshop on Non-Monotonic Reasoning (eds. Amgoud, L., & Booth, R.), 295-304. https://nmr.cs.tu-dortmund.de/proceedings/NMR2021Proceedings.pdf details pdf doi |
| __ | Keshavarzi Zafarghandi, A., Verbrugge, R., & Verheij, B. (2021). Semi-Stable Semantics for Abstract Dialectical Frameworks. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021 (eds. Bienvenu M., Lakemeyer G., & Erdem E.), 422-431. IJCAI organization. https://doi.org/10.24963/kr.2021/40 details pdf doi |
| __ | Keshavarzi Zafarghandi, A., Verbrugge, R., & Verheij, B. (2021). Strong Admissibility for Abstract Dialectical Frameworks. The 36th ACM/SIGAPP Symposium On Applied Computing. Proceedings of SAC 2021, 873-880. New York (New York): ACM. https://doi.org/10.1145/3412841.3441962 details pdf doi |
| __ | Ayoobi, H., Cao, M., Verbrugge, R., & Verheij, B. (2021). Argue to Learn: Accelerated Argumentation-Based Learning. Proceedings of The 20th IEEE International Conference on Machine Learning and Applications (ICMLA 2021), 1119-1124. Los Alamitos (California): IEEE Computer Society. https://doi.org/10.1109/ICMLA52953.2021.00183 details pdf doi |
| __ | Zheng, H., Grossi, D., & Verheij, B. (2020). Precedent Comparison in the Precedent Model Formalism: A Technical Note. Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference (eds. Villata, S., Harašta, J., & Kšemen, P.), 259-262. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA200878 details pdf doi |
| __ | Zheng, H., Grossi, D., & Verheij, B. (2020). Case-Based Reasoning with Precedent Models: Preliminary Report. Computational Models of Argument. Proceedings of COMMA 2020 (eds. Prakken, H., Bistarelli, S., Santini, F., & Taticchi, C.), 443-450. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA200528 details pdf doi |
| __ | Keshavarzi Zafarghandi, A., Verbrugge, R., & Verheij, B. (2020). A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks. Computational Models of Argument. Proceedings of COMMA 2020 (eds. Prakken, H., Bistarelli, S., Santini, F., & Taticchi, C.), 431-442. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA200527 details pdf doi |
| __ | van Leeuwen, L., & Verheij, B. (2019). A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning. Legal Knowledge and Information Systems. JURIX 2019: The Thirty-second Annual Conference (eds. Araszkiewicz, M., & Rodríguez-Doncel, V.), 53-62. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA190306 details pdf doi |
| __ | Keshavarzi Zafarghandi, A., Verbrugge, R., & Verheij, B. (2019). Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings (eds. Kern-Isberner, G., & Ognjanović, Z.), 62-73. Berlin: Springer. https://doi.org/10.1007/978-3-030-29765-7_6 details pdf doi |
| __ | Keshavarzi Zafarghandi, A., Verbrugge, R., & Verheij, B. (2019). Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks. International Symposium on Imprecise Probabilities: Theories and Applications, ISIPTA 2019, 3-6 July 2019, Thagaste, Ghent, Belgium (eds. De Bock, J., Polpo de Campos, C., De Cooman, G., Quaeghebeur, E., & Wheeler, G.R.), 246-255. Proceedings of Machine Learning Research. http://proceedings.mlr.press/v103/keshavarzi-zafarghandi19a.html details pdf doi |
| __ | Ayoobi, H., Cao, M., Verbrugge, R., & Verheij, B. (2019). Handling Unforeseen Failures Using Argumentation-Based Learning. IEEE 15th International Conference on Automation Science and Engineering (CASE 2019), 1699-1704. https://doi.org/10.1109/COASE.2019.8843207 details pdf doi |
| __ | van Eemeren, F.H., & Verheij, B. (2018). Argumentation Theory in Formal and Computational Perspective. Handbook of Formal Argumentation (eds. Baroni, P., Gabbay, D., Giacomin, M., & van der Torre, L.), 3-73. London: College Publications. http://www.collegepublications.co.uk/handbooks/?00003 details pdf doi |
| __ | Zheng, H., Xiong, M., & Verheij, B. (2018). Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach. Legal Knowledge and Information Systems. JURIX 2018: The Thirty-first Annual Conference (ed. Palmirani, M.), 220-224. Amsterdam: IOS Press. http://dx.doi.org/10.3233/978-1-61499-935-5-220 details pdf doi |
| __ | Verheij, B. (2018). On Coherent Arguments And Their Inferential Roles (with commentary by M. Beirlaen). Argumentation and Inference: Proceedings of the 2nd European Conference on Argumentation, Fribourg 2017 (Volume I) (eds. Oswald, S., & Maillat, D.), 385-412. London: College Publications. http://ecargument.org/?page_id=764 details pdf doi |
| __ | Di Bello, M., & Verheij, B. (2018). Evidential Reasoning. Handbook of Legal Reasoning and Argumentation (eds. Bongiovanni, G., Postema, G., Rotolo, A., Sartor, G., Valentini, C., & Walton, D.), 447-493. Dordrecht: Springer. https://doi.org/10.1007/978-90-481-9452-0_16 details pdf doi |
| __ | Verheij, 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. https://doi.org/10.1145/3086512.3086533 details pdf doi |
| __ | Verheij, B. (2016). Formalizing Correct Evidential Reasoning with Arguments, Scenarios and Probabilities. Proceedings of the ECAI 2016 Workshop on Artificial Intelligence for Justice (AI4J) (eds. Bex, F.J., Prakken, H., Van Engers, T., & Verheij, B.), 79-87. details pdf |
| __ | Verheij, 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. http://dx.doi.org/10.1007/978-3-319-48758-8_31 details pdf doi |
| __ | Verheij, 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 |
| __ | Vlek, 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 |
| __ | Vlek, 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 |
| __ | Timmer, 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 |
| __ | Timmer, 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 |
| __ | Timmer, 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 |
| __ | Timmer, 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 |
| __ | Timmer, 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 |
| __ | van 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. https://link.springer.com/referenceworkentry/10.1007/978-90-481-9473-5_11 details pdf doi |
| __ | Vlek, 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 |
| __ | Verheij, 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 |
| __ | Timmer, 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 |
| __ | Timmer, 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 |
| __ | De 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 |
| __ | De 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 |
| __ | De 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 |
| __ | Vlek, 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 |
| __ | Vlek, 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 |
| __ | Vlek, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Timmer, 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 |
| __ | De 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | De 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 |
| __ | Bex, F.J., Bench-Capon, T.J.M., & 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 |
| __ | De 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 |
| __ | 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 |
| __ | Bex, 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 |
| __ | Bex, 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 |
| __ | de 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 |
| __ | Verheij, 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 |
| __ | Caminada, M.W.A., & Verheij, B. (2010). On the Existence of Semi-Stable Extensions. Proceedings of the 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010). https://bnaic.gforge.uni.lu/proceedings.html details pdf doi |
| __ | Bex, 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 |
| __ | Bex, 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 |
| __ | Verheij, 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. https://doi.org/10.1007/978-0-387-98197-0_11 details pdf doi |
| __ | Verheij, 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 |
| __ | Kaptein, 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. https://www.routledge.com/Legal-Evidence-and-Proof-Statistics-Stories-Logic/Prakken-Kaptein/p/book/9780754676201 details pdf doi |
| __ | Colen, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Schweers, 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 |
| __ | Bex, 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 |
| __ | Bex, 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 |
| __ | van 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 |
| __ | Verheij, 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 |
| __ | Hitchcock, 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 |
| __ | Bex, 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 |
| __ | Roth, 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 |
| __ | Roth, 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. http://jurix.nl/pdf/j04-12.pdf details pdf doi |
| __ | Verheij, 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 |
| __ | Girle, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, B. (2001). Anchored Narratives and Dialectical Argumentation. ICAIL-2001 Workshop on AI and Legal Evidence. details pdf |
| __ | Verheij, 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.). https://scholar.uwindsor.ca/ossaarchive/OSSA4/papersandcommentaries/115/ details pdf doi |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Hage, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Lodder, A.R., & Verheij, B. (1998). Opportunities of Computer-Mediated Legal Argument in Education. Proceedings of the BILETA-Conference - March 27-28. Ireland: Dublin. details |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Hage, 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 |
| __ | Verheij, 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. |
| __ | Hage, 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 |
| __ | Books (research) - Journal articles - Chapters, proceedings papers - Books (education) - Books (edited) - Special issues (edited) - Reviews, comments, editorials - Technical reports - Miscellany Books (education) |
| __ | Hage, J.C., Verheij, B., & Fernhout, F. (2007, 2008, 2011). Vaardig met Recht. Vaardigheden voor Juristen. Tweede, derde, vierde Druk (Skilful with Law. Skills for Lawyers. Second, third, fourth Edition). The Hague: Boom Juridische Uitgevers. http://www.vaardigmetrecht.nl/. details |
| __ | Verheij, B., Hage, J.C., van der Meer, T., & Span, G. (2004). Vaardig met Recht. Over Casus Oplossen en Andere Juridische Vaardigheden (Skilful with Law. On Case Solving and Other Legal Skills). The Hague: Boom Juridische Uitgevers. details pdf |
| __ | Nalepa, G.J., Araszkiewicz, M., Atzmueller, M., Verheij, B., & Bobek, S. (eds.) (2021). XAILA 2020. EXplainable and Responsible AI in Law 2020. Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020). Prague, Czech Republic, December 9th, 2020. CEUR Workshop Proceedings. details pdf doi |
| __ | Dutilh Novaes, C., Jansen, H., van Laar, J.A., & Verheij, B. (eds.) (2020). Reason to Dissent. Proceedings of the 3rd European Conference on Argumentation (ECA 2019), Volume I. (Volume 85 of the Studies in Logic and Argumentation series.) London: College Publications. details pdf doi |
| __ | Dutilh Novaes, C., Jansen, H., van Laar, J.A., & Verheij, B. (eds.) (2020). Reason to Dissent. Proceedings of the 3rd European Conference on Argumentation (ECA 2019), Volume II. (Volume 86 of the Studies in Logic and Argumentation series.) London: College Publications. details pdf doi |
| __ | Dutilh Novaes, C., Jansen, H., van Laar, J.A., & Verheij, B. (eds.) (2020). Reason to Dissent. Proceedings of the 3rd European Conference on Argumentation (ECA 2019), Volume III. (Volume 87 of the Studies in Logic and Argumentation series.) London: College Publications. details pdf doi |
| __ | Verheij, B., & Wiering, M. (eds.) (2018). Artificial Intelligence. 29th Benelux Conference, BNAIC 2017. Groningen, The Netherlands, November 8-9, 2017. Revised Selected Papers (Communications in Computer and Information Science Volume 823). Cham: Springer. details doi |
| __ | Verheij, B., & Wiering, M. (eds.) (2017). BNAIC 2017 preproceedings. 29th Benelux Conference on Artificial Intelligence November 8–9, 2017, Groningen ISBN 978-94-034-0299-4. details |
| __ | Verheij, 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 |
| __ | Verheij, B., Szeider, S., & Woltran, S. (eds.) (2012). Computational Models of Argument. Proceedings of COMMA 2012. Amsterdam: IOS Press. details pdf |
| __ | Kaptein, H., Prakken, H., & Verheij, B. (eds.) (2009). Legal Evidence and Proof: Statistics, Stories, Logic (Applied Legal Philosophy Series). Farnham: Ashgate. details pdf |
| __ | Hitchcock, 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 |
| __ | Leenes, 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 |
| __ | Lodder, 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 |
| __ | Verheij, 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 |
| __ | Books (research) - Journal articles - Chapters, proceedings papers - Books (education) - Books (edited) - Special issues (edited) - Reviews, comments, editorials - Technical reports - Miscellany Special issues (edited) |
| __ | Baroni, P., Toni, F., & Verheij, B. (eds.) (2020). Argument & Computation 11 (1-2). Special issue - On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later details pdf doi |
| __ | Di Bello, M., & Verheij, B. (eds.) (2020). Artificial Intelligence and Law 28 (1). Special issue - Evidence & decision making in the law: theoretical, computational and empirical approaches details pdf doi |
| __ | Bex, 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 doi |
| __ | Hitchcock, 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 doi |
| __ | Books (research) - Journal articles - Chapters, proceedings papers - Books (education) - Books (edited) - Special issues (edited) - Reviews, comments, editorials - Technical reports - Miscellany Reviews, comments, editorials |
| __ | Baroni, P., & Verheij, B. (2022). Towards an inclusive, responsible and sustainable open access model. Argument & Computation 13 (1), 1-2. http://dx.doi.org/10.3233/AAC-229001 doi |
| __ | Krabbe, E.C.W., & Verheij, B. (2021). Douglas Neil Walton (1942 - 2020). Argumentation 35 (3), 513-518. https://doi.org/10.1007/s10503-020-09531-1 details pdf doi |
| __ | Atkinson, K., Bench-Capon, T.J.M., Bex, F.J., Gordon, T.F., Prakken, H., Sartor, G., & 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-2 details pdf doi |
| __ | Baroni, P., & Verheij, B. (2019). Douglas Walton (1942–2020). Argument & Computation 10 (3), 231-231. https://doi.org/10.3233/AAC-190482 doi |
| __ | Baroni, P., & Verheij, B. (2019). Argument & Computation Community Resources (ACCR) corner. Argument & Computation 10 (2), 105-105. https://doi.org/10.3233/AAC-192100 doi |
| __ | Dymitruk, M., Markovich, R., Liepiņa, R., El Ghosh, M., Van Doesburg, R., Governatori, G., & Verheij, B. (2018). Research in Progress: Report on the ICAIL 2017 Doctoral Consortium. Artificial Intelligence and Law 26 (1), 49-97. http://dx.doi.org/10.1007/s10506-018-9220-6 details pdf doi |
| __ | Di Bello, M., & Verheij, B. (2018). Book Review. Douglas Walton: Argument Evaluation and Evidence. Argumentation 32 (2), 301-307. http://dx.doi.org/10.1007/s10503-016-9413-7 details pdf doi |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, B. (2000). Van Advies naar Ondersteuning. Recht & Elektronische Media (R&EM) 2000 (2), 2-3. details pdf |
| __ | Verheij, 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 |
| __ | Verheij, 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. |
| __ | Verheij, 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 |
| __ | Verheij, B. (1997). Bespreking Proefschrift Kees de Vey Mestdagh. Juridische Kennissystemen. Rekentuig of Rekenmeester? NVKI Nieuwsbrief 14 (6), 167-173. details pdf |
| __ | Verheij, B. (1995). Frame-Based Conceptual Models of Statute Law. Bespreking Lezing Robert van Kralingen. NVKI Nieuwsbrief 12 (5), 129-130. |
| __ | Books (research) - Journal articles - Chapters, proceedings papers - Books (education) - Books (edited) - Special issues (edited) - Reviews, comments, editorials - Technical reports - Miscellany Technical reports |
| __ | Frittella, S., Kozhemiachenko, D., & Verheij, B. (2023). Presumptive Reasoning in a Paraconsistent Setting. arXiv preprint. arXiv.2303.15276 [math.LO]. https://doi.org/10.48550/arXiv.2303.15276 details |
| __ | Steging, C., Renooij, S., & Verheij, B. (2021). Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning. arXiv preprint arXiv:2105.06758 [cs.AI]. https://arxiv.org/abs/2105.06758 details |
| __ | Keshavarzi Zafarghandi, A., Verbrugge, R., & Verheij, B. (2020). Strong Admissibility for Abstract Dialectical Frameworks. arXiv preprint arXiv:2012.05997 [cs.AI]. https://arxiv.org/abs/2012.05997 details |
| __ | Ayoobi, H., Kasaei, H., Cao, M., Verbrugge, R., & Verheij, B. (2020). Local-HDP: Interactive Open-Ended 3D Object Categorization. arXiv preprint arXiv:2009.01152 [cs.CV]. https://arxiv.org/abs/2009.01152 details pdf |
| __ | Verheij, B. (2009). A Note on the Semi-Stable Semantics of Abstract Argumentation Systems. Technical report. details pdf |
| __ | Verheij, 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 |
| __ | Verheij, B. (2002). On the existence and multiplicity of extensions in dialectical argumentation. arXiv preprint arXiv:cs/0207067 [cs.AI]. https://arxiv.org/abs/cs/0207067 details |
| __ | Verheij, B. (2000). DefLog - a Logic of Dialectical Justification and Defeat. Technical Report. http://www.ai.rug.nl/~verheij/publications/DefLog15.htm. details pdf |
| __ | Verheij, B. (2024). Who shoves whom around inside a thinking self? Or: What is the meaning of symbols? Autonomous Perception in Humans and Machines. A Liber Amicorum Honoring Lambert Schomaker, 86-94. Groningen: University of Groningen. details pdf |
| __ | Verheij, B. (2024). Wiskunde, kunstmatige intelligentie en vreemde lussen. (Mathematics, artificial intelligence and strange loops.) Bernoulli Gazette. https://www.math.rug.nl/bernoulli/BernoulliGazet/BernoulliGazet2024 details pdf doi |
| __ | Steging, C., Renooij, S., & Verheij, B. (2023). Taking the Law More Seriously by Investigating Design Choices in Machine Learning Prediction Research. Proceedings of the Sixth Workshop on Automated Semantic Analysis of Information in Legal Text (ASAIL 2023), June 23, 2023, Braga, Portugal (eds. Lagioia, F., Mumford, J., Odekerken, D., & Westermann, H.), 49-59. CEUR-WS. https://ceur-ws.org/Vol-3441/paper6.pdf details pdf doi |
| __ | Fungwacharakorn, W., Satoh, K., & Verheij, B. (2023). Constructing and Explaining Case Models: A Case-based Argumentation Perspective. Seventeenth International Workshop on Juris-informatics (JURISIN 2023), 149-162. http://research.nii.ac.jp/~ksatoh/jurisin2023/ details pdf doi |
| __ | Steging, C., Renooij, S., & Verheij, B. (2022). Discovering the Rationale of Decisions. Extended abstract. Proceedings of the First International Conference on Hybrid Human-Machine Intelligence (eds. Schlobach, S., Pérez-Ortiz, M., & Tielman, M.), 255-257. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA220208 details pdf doi |
| __ | Zheng, H., Grossi, D., & Verheij, B. (2021). A formal approach to case comparison in case-based reasoning: research abstract. Logics for New-Generation AI 2021. First International Workshop. 18-20 June 2021, Hangzhou. (eds. Liao, B., Luo, J., & van der Torre, L.), 150-153. London: College Publications. http://www.collegepublications.co.uk/LNGAI/?00001 details pdf doi |
| __ | Verheij, B. (2021). A Second Coffeehouse Conversation on the Van den Herik Test. Meesterlijk. Liber amicorum ter gelegenheid van het emeritaat van prof. dr. Jaap van den Herik, hoogleraar Recht en Informatica te Leiden (eds. Custers, B.H.M., Dechesne, F., & van der Hof, S.), 101-114. Amsterdam: Ipskamp Publishing. details pdf |
| __ | Hoos, H., Verheij, B., & van den Hoven, J. (2020). Nederland, pak die kans met kunstmatige intelligentie. (The Netherlands, take that opportunity with artificial intelligence). De Volkskrant, February 25, 2020. https://www.volkskrant.nl/columns-opinie/nederland-pak-die-kans-met-kunstmatige-intelligentie~b5cc4230b/ details pdf doi |
| __ | Bex, F.J., & Verheij, B. (2020). Stories about Evidence. Bakens in de Rechtspsychologie. Liber amicorum voor Peter van Koppen (Beacons in Legal Psychology. Liber amicorum for Peter van Koppen) (eds. Horselenberg, R., van Koppen, V., & de Keijser, J.), 309-327. Den Haag: Boom Criminologie. https://www.boomdenhaag.nl/webshop/bakens-in-de-rechtspsychologie details pdf doi |
| __ | Steging, C., Schomaker, L.R.B., & Verheij, B. (2019). The XAI Paradox: systems that perform well for the wrong reasons (abstract). BNAIC/BENELEARN 2019. Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019). Brussels, Belgium, November 6-8, 2019 (eds. Beuls, K. , Bogaerts, B., Bontempi, G., Geurts, P., Harley, N., Lebichot, B., Lenaerts, T., Louppe, G., & Van Eecke, P.). CEUR Workshop Proceedings. http://ceur-ws.org/Vol-2491/abstract107.pdf details pdf doi |
| __ | Ayoobi, H., Cao, M., Verbrugge, R., & Verheij, B. (2019). Handling Unforeseen Failures Using Argumentation-Based Learning (abstract). BNAIC/BENELEARN 2019. Proceedings of the Reference AI & ML Conference for Belgium, Netherlands & Luxemburg. Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019). Brussels, Belgium, November 6-8, 2019 (eds. Beuls, K. , Bogaerts, B., Bontempi, G., Geurts, P., Harley, N., Lebichot, B., Lenaerts, T., Louppe, G., & Van Eecke, P.). CEUR Workshop Proceedings. http://ceur-ws.org/Vol-2491/abstract70.pdf details pdf doi |
| __ | Verheij, 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 |
| __ | De 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 |
| __ | Verheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2013). AI@Rug Newsletter 8 (1). details |
| __ | De 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 |
| __ | Verheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2012). AI@Rug Newsletter 7 (1). details |
| __ | Verheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2012). AI@Rug Newsletter 7 (2). details |
| __ | Verheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2011). AI@Rug Newsletter 6 (2). details |
| __ | Verheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2011). AI@Rug Newsletter 6 (1). details |
| __ | Verheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2010). AI@Rug Newsletter 5 (1). details |
| __ | Verheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2010). AI@Rug Newsletter 5 (2). details |
| __ | Colen, 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 |
| __ | Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2009). AI@Rug Newsletter 4 (1). details |
| __ | Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2009). AI@Rug Newsletter 4 (2). details |
| __ | Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2008). AI@Rug Newsletter 3 (1). details |
| __ | Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2008). AI@Rug Newsletter 3 (2). details |
| __ | Verheij, 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 |
| __ | Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2007). AI@Rug Newsletter 2 (1). details |
| __ | Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2007). AI@Rug Newsletter 2 (2). details |
| __ | Verheij, B., Niessink, H., Schomaker, L.R.B., & Zondervan, K. (eds.) (2006). AI@Rug Newsletter 1 (1). details |
| __ | Verheij, B., Niessink, H., Schomaker, L.R.B., & Zondervan, K. (eds.) (2006). AI@Rug Newsletter 1 (2). details |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, B. (2000). Logic and Reasoning 1 (BNAIC 2000 Report). BNVKI Newsletter 17 (6), 132-133. |
| __ | Verheij, 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 |
| __ | Hage, 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 |
| __ | Verheij, 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 |
| __ | Verheij, 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 |
| __ | Verheij, B. (1995). Rules and Reasons: from Ontology to Rational Standards for Defeasible Reasoning. Report SKBS/B3.A/95-07 . |
| __ | Verheij, B. (1993). ARCHIMEDES Legal Object and Link Types in the ARCHIMEDES Information Network. Report SKBS/B3.A/93-02 . |
| __ | Verheij, B. (1993). ARCHIMEDES Reason Based Logic Formalized. Report SKBS/B3.A/93-13 . |
| __ | Verheij, B. (1992). Derde Bijeenkomst Werkgroep Logica en Recht. NVKI Nieuwsbrief 9 (4), 123-124. |
| __ | Verheij, B. (1992). Het ARCHIMEDES Project: Slim Zoeken in Veel Informatiebronnen. Hypothetische Conclusies van de Beoogde Dissertaties Assistenten in Opleiding Jaargang 1992 . |
| __ | Hage, 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
Stanford CodeX FutureLaw conference (2024)
Hybrid Law and the Neuro-Symbolic Bridge, panel member
On Wednesday March 13, 2024, we are organizing two lectures on Correct Reasoning in Data-driven Artificial Intelligence. One is by Peter Bloem (Vrije Universiteit Amsterdam), the other by Huiyuan Lai (University of Groningen). Location: House of Connections in Groningen (Grote Markt 21). You are welcome to join us. (Coorganized with Balder Ten Cate and Jelle Zuidema).
Farewell symposium and valedictory speech Lambert Schomaker (2024)
On March 8, 2024, Lambert Schomaker delivers his valedictory speech, and before there is a symposium with various speakers.
Contribution to liber amicorum Lambert Schomaker (2024) (2024)
Who shoves whom around inside a thinking self? Or: What is the meaning of symbols?
The University of Groningen mathematics department publishes a newsletter for alumni, `Bernoulli Gazet'. The current edition contains some reflection on mathematics, AI and strange loops, in Dutch `Wiskunde, kunstmatige intelligentie en vreemde lussen'.
Dissertation defence with workshop (2024)
On Monday February 12, 2024 (11:00), Heng Zheng defends his dissertation `Arguments, Cases and Their Hardness. A formal theory with case studies in AI and Law' in the aula of the University of Groningen (in the academy building). And after that a workshop in celebration (14:00-17:00). You are welcome to join us.
Special interest group Ethics (2024)
In the Special interest group on Ethics of the Hybrid intelligence project, Ludi van Leeuwen presented her JURIX 2023 paper, and we presented the workshop on law, AI & philosophy we coorganized there (with Jaap Hage and Antonia Waltermann).
On January 29, 2023, SaAI (Society & AI Groningen) organized a panel discussion `Are GPT-4 & friends too big? Reflecting on 3 years of “stochastic parrots”' (moderated by Marije Miedema and with Aurelie Herbelot, Gabriele Sarti, Ana Guerberof Arenas).
Come to the University of Groningen and work with us on the future of AI! We have four vacancies for assistant, associate and full professors in AI (3x tenure track assistant professor, 1x associate/full professor). We are recruiting in a broad range of topics (Machine Learning / Pattern Recognition, Responsible & Explainable AI, Natural Language Processing, Generative AI). Please apply by Friday, January 11th, 2024.
PhD position in Artificial Intelligence and Mathematics for Cognitive Devices. Focus: AI methods for the alignment of learning and reasoning. Supervisors: Marco Grzegorczyk, Bart Verheij (application deadline: January 15, 2024)
Article about the NWO Gravitation Hybrid Intelligence project (2023)
Bennie Mols interviewed Hayley Hung and me om the Hybrid Intelligence project for the IPN I/O Magazine: Marrying the hardness of machines with the softness of people (p. 4-7)
JURIX conference papers (2023)
Three submissions were accepted as full papers and presented at the JURIX conference in Maastricht.
- Ludi van Leeuwen presented Evaluating Methods for Setting a Prior Probability of Guilt (with Rineke Verbrugge and Silja Renooij).
- Cor Steging presented Improving Rationales with Small, Inconsistent and Incomplete Data (with Silja Renooij).
- Wijnand van Woerkom presented Hierarchical a Fortiori Reasoning with Dimensions (with Davide Grossi and Henry Prakken).
JURIX 2023 workshop on AI, law and philosophy (ALP@JURIX2023, Maastricht, December 18) (coorganized with Jaap Hage, Antonia Waltermann, Ludi van Leeuwen).
AILO talk `Hybrid argumentation systems' (December 6, 2023)
Responsible AI should be capable of logical reasoning (by Charlotte Vlek)
Join us at the AI@Rug lustrum (2023)
AI in Wonderland: Celebrating 30 years of the AI program at the University of Groningen (Friday, November 3, 2023)
Invited talk `Responsible AI/the alignment of knowledge-based and data-driven AI' at the final conference of the LAST-JD-RIoE doctoral program (EU Horizon 2020) (October 26, 2023, Università Degli Studi Di Bologna)
Keynote lecture `Hybrid decision making using knowledge and data' at the International Workshop on Logic, AI and Law (LAIL 2023, September 11-12, 2023, Zhejiang University, Hangzhou) (online)
Keynote lecture `On hybrid decision making and the future of law and AI' at the VI Lisbon meeting on legal theory; theme: Artificial Intelligence & Legal Decision (University of Lisbon)
Daniil Kozhemiachenko presents the paper `Presumptive Reasoning in a Paraconsistent Setting' at TARK 2023 in Oxford (with Sabine Frittella)
Workshop on the Design of Responsible Hybrid Intelligence in München at the HHAI 2023 conference (coorganized with Cor Steging and Ludi van Leeuwen).
Cor Steging presents the paper `Taking the Law More Seriously by Investigating Design Choices in Machine Learning Prediction Research' at the ASAIL workshop at ICAIL 2023 in Braga (with Silja Renooij)
Ludi van Leeuwen presents the paper `Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios' at ICAIL 2023 in Braga (with Silja Renooij and Rineke Verbrugge)
Wijnand van Woerkom presents the paper `Hierarchical Precedential Constraint' at ICAIL 2023 in Braga (with Davide Grossi and Henry Prakken)
Visit Marcello Di Bello and three talks on evidence in AI and philosophy (2023)
Talks by Marcello Di Bello, Hylke Jellema and Ludi van Leeuwen.
Wachara Fungwacharakorn presents the paper `Constructing and Explaining Case Models: A Case-based Argumentation Perspective' at JURISIN 2023 in Kamumoto (with Ken Satoh)
PhD position on hybrid argumentation using large scale knowledge graphs (at Vrije Universiteit Amsterdam; jointly with the University of Groningen). Supervisors: Ilaria Tiddi, Bart Verheij (application deadline: June 30, 2023)
Responsible AI in the press (2023)
Will a chatbot soon replace the teacher in the classroom? (Vervangt een chatbot straks de leraar voor de klas?) (comment for Oog TV/Omroep Groningen; in Dutch)
Hamed Ayoobi's paper Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects has been accepted for the ICRA 2023 conference in London (with Hamidreza Kasaei, Ming Cao, Rineke Verbrugge)
Argument & Computation Community Resources paper (2023)
Cor Steging has described two data sets in a paper in the Argument & Computation Community Resources (ACCR) corner: `Arguments, rules and cases in law: Resources for aligning learning and reasoning in structured domains' (with Silja Renooij and Trevor Bench-Capon).
Dissertation defence with workshop (2023)
On Monday January 30, 2023 (11:00), Hamed Ayoobi defends his dissertation `Explain What You See: Argumentation-Based Learning and Robotic Vision' in the aula of the University of Groningen (in the academy building). And after that a workshop in celebration (14:00-17:00). You are welcome to join us.
The Wintersymposium of the KWG (Koninklijk Wiskundig Genootschap) is devoted to artificial intelligence. I will deliver a lecture entitled Wiskunde voor goede kunstmatige intelligentie (in Dutch; Academiegebouw Utrecht, January 14, 2023).
Unpacking arguments (with Trevor Bench-Capon)
Invited talk (Paris, Campus Concercet) (2022)
Invited talk `Algorithmic Law as Computational Argumentation' at the International Symposium on Compliance for Algorithmic Law (SCALGO 2022)
Graduate course (Hangzhou/online) (2022)
Winter school AI & Law at Zhejiang Unverisity (Guanghua Law school)
Talk at Global AI Technology Conference (Hangzhou/online, prerecorded)
A Labeling Based Backtracking Solver for Abstract Argumentation (with Lukas Kinder, Matthias Thimm). This paper is based on Lukas Kinder's BSc thesis and was presented by him at SAFA 2022.
Wijnand van Woerkom presents the paper `Justification in case-based reasoning' at ArgXAI@COMMA 2022 (with Davide Grossi and Henry Prakken)
How complex is the strong admissibility semantics for abstract dialectical frameworks? (with Atefeh Keshavarzi Zafarghandi, Wolfgang Dvořák and Rineke Verbrugge)
BNAIC/BENELEARN 2022 FACt session: FACulty focusing on the FACts of Artificial Intelligence (2022)
Speakers: Khalid Al Khatib (University of Groningen), Joost Vennekens (KU Leuven), Gianluca Bontempi (Université Libre de Bruxelles) (co-organised with Réka Markovich, Gilles Louppe, Tom Lenaerts)
Talk `Innovating artificial intelligence by looking at the law' at workshop celebrating Masha Medvedeva's PhD dissertation defence (as member of the reading committee)
Leiden Legal Technologies Program (2022)
Two contributions: B: Rechtsinformatica en rechts-AI, C: AI-systemen voor juridische logica en argumentatie
Talk at discussion meeting with Prof.dr. Jaap Hage and his PhD students (Hester van der Kaaij 2016, Antonia Waltermann 2016, Ronald Leenes 1999, Arno Lodder 1998, Bart Verheij 1996)
In an overview paper Thirty years of Artificial Intelligence and Law: the first decade coauthored withGuido Governatori, Trevor Bench-Capon, Michal Araszkiewicz, Enrico Francesconi and Matthias Grabmair, I contributed two commentaries, one on the 1993 paper `Hard cases: A procedural approach' by Jaap Hage, Ronald Leenes and Arno Lodder, and one on the 1995 paper `Rationales and argument moves' by Ronald Loui and Jeff Norman.
Talk at workshop in Regensburg (2022)
At the workshop Reasoning and uncertainty: probabilistic, logical, and psychological perspectives organized by Niki Pfeifer (University of Regensburg), Hans Rott (University of Regensburg), and Giuseppe Sanfilippo (University of Palermo), I will give a talk entitled `Arguments, scenarios and probabilities as tools for reasoning and uncertainty'.
The chapter The Study of Artificial Intelligence as Law was published in the book Law and Artificial Intelligence. Regulating AI and Applying AI in Legal Practice (edited by Bart Custers and Eduard Fosch-Villaronga). The chapter is an adapted version of AI as Law.
Wijnand van Woerkom's paper Landmarks in Case-based Reasoning: From Theory to Data (with Davide Grossi and Henry Prakken) was accepted and presented at the HHAI 2022 conference as a full paper. Cor Steging's extended abstract Discovering the Rationale of Decisions (with Silja Renooij) was accepted and presented.
Workshop HI ESDiT Collaboration on AI, Human Values and the Law at HHAI 2022, the first international conference on Hybrid Human-Artificial Intelligence
Lecture `Knowledge Representation for Hybrid Reasoning with Arguments and Evidence' at the 1st International Workshop on Knowledge Representation for Hybrid Intelligence (KR4HI) at the first international conference on Hybrid Human-Artificial Intelligence (HHAI 2022)
In the OSCMART Online Seminar on Computational Models of Argument series (May 31, 2022)
Joost J. Joosten (University of Barcelona): Model checking and formally verified software for temporal quantitative regulations (May 18, 2022)
Journal of Autonomous Agents and Multi-Agent Systems paper (2022)
Higher-order theory of mind is especially useful in unpredictable negotiations (with Harmen de Weerd and Rineke Verbrugge)
COMMA 2022: 9th International Conference on Computational Models of Argument (Cardiff).
Submission deadline: 3rd of May 2022 (anywhere on earth)
Lecture `Hybrid intelligence for algorithmic law design' at the conference on Algorithmic Law Design and Implementation (April 28 and 29, 2022; University of Barcelona)
Dissertation defence with workshop (2022)
On Tuesday April 19, 2022 (11:00), Atefeh Keshavarzi Zafarghandi defends her dissertation `Abstract Dialectical Frameworks. Semantics, Discussion Games, and Variations' in the aula of the University of Groningen (in the academy building). And after that a workshop in celebration (14:00-17:00). You are welcome to join us.
Artificial intelligence and argumentation: an update (@Matthias Thimm's Artificial Intelligence Group, University of Hagen, March 31, 2022)
Contribution to liber amicorum Peter van Koppen (2020/2022)
Stories about Evidence (with Floris Bex)
Opgave AI. De nieuwe systeemtechnologie (2022)
Discussiebijeenkomst Institute for Advanced Study (IAS, Universiteit van Amsterdam) en Wetenschappelijke Raad voor het Regeringsbeleid (WRR)
Editorial Argument & Computation (2022)
Towards an inclusive, responsible and sustainable open access model (with Pietro Baroni)
Digital Law Forum, University of Alberta/Gathertown (2022)
Panel member and talk `AI as Law', February 15, 2022
Robotics and Autonomous Systems journal paper (2022 online)
Local-HDP: Interactive Open-ended 3D Object Category Recognition in Real-Time Robotic Scenarios (with Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge)
IEEE ICMLA conference paper (2021)
Argue to Learn: Accelerated Argumentation-Based Learning (with Hamed Ayoobi, Ming Cao, Rineke Verbrugge)
Rationale Discovery and Explainable AI (with Cor Steging and Silja Renooij)
The proceedings of the JURIX 2021 conference have been published (open access).
Hybrid Intelligence project meeting (2021)
Responsible Hybrid Intelligence research line meeting (December 15, 2021, online)
Joint AICOL-XAILA workshop @ JURIX 2021 (Vilnius/online) (2021)
A new edition of the EXplainable & Responsible AI in Law (XAILA) Workshop series
Logical Comparison of Cases (with Heng Zheng, Davide Grossi)
17th ARGDIAP conference (2021)
Reasoned Argumentation. Legal, Computational and Linguistic Perspectives (online) (conference chair Michał Araszkiewicz, program chair Bart Verheij)
IEEE Transactions on Automation Science and Engineering journal paper (2021 online)
Argumentation-Based Online Incremental Learning (with Hamed Ayoobi, Ming Cao, Rineke Verbrugge)
Argument & Computation journal paper (2021 online)
Strong Admissibility for Abstract Dialectical Frameworks (with Atefeh Keshavarzi Zafarghandi and Rineke Verbrugge)
BNAIC/BENELEARN 2021 FACt session: FACulty focusing on the FACts of Artificial Intelligence (2022)
Speakers: Benoit Macq (UCLouvain), Gilles Louppe (University of Liège), Christoph Schommer (Université du Luxembourg) (co-organised with Réka Markovich, Tom Lenaerts)
Invited lecture workshop Different perspectives on argumentation (2021)
Rule-based Arguments Grounded in Cases (October 29, 2021, online/(Comenius University in Bratislava); commentator: Daniela Glavaničová)
4TU.Ethics bi-annual conference (2021)
Panel Hybrid Intelligence/Ethics of Socially Disruptive Technologies Gravitation projects (HI/ESDiT) collaboration on AI, human values and the law (October 14-15, 2021, online)
Contribution to liber amicorum Jaap van den Herik (2021)
A Second Coffeehouse Conversation on the Van den Herik Test
Talk at symposium preceding valedictory lecture Prof. dr. H.J. van den Herik (October 8) (2021)
Rekenen met recht
Explainable AI and Law (September 22, 2021, online)
Hybrid Intelligence project meeting (2021)
Responsible Hybrid Intelligence research line meeting (September 15, 2021, online)
Douglas Neil Walton (1942 - 2020) (with Erik Krabbe)
The 18th International Conference on Artificial Intelligence and Law (ICAIL 2021, Sao Paulo) (2021)
With paper presentations by Heng Zheng (Hardness of Case-Based Decisions: a Formal Theory; with Davide Grossi) and by Cor Steging (Discovering the Rationale of Decisions: Towards a Method for Aligning Learning and Reasoning; with Silja Renooij)
XAILA2021@ICAIL (June 22, 2021)
The 4th International Workshop on eXplainable and Responsible AI and Law at the ICAIL 2021 conference (coorganized with Grzegorz J. Nalepa, Michał Araszkiewicz and Martin Atzmueller). With a paper presentations by Cor Steging (Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning; with Silja Renooij)
With a presentation by Heng Zheng on A formal approach to case comparison in case-based reasoning: research abstract (with Davide Grossi)
Hardness of Case-Based Decisions: a Formal Theory (with Heng Zheng, Davide Grossi)
Discovering the Rationale of Decisions: Towards a Method for Aligning Learning and Reasoning' (with Cor Steging and Silja Renooij)
Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning (with Cor Steging, Silja Renooij)
XAILA2021@ICAIL call for papers (2021)
The 4th International Workshop on eXplainable and Responsible AI and Law (XAILA2021@ICAIL) at the ICAIL 2021 conference (coorganized with Grzegorz J. Nalepa, Michał Araszkiewicz and Martin Atzmueller).
Submission deadline: May 18, 2021
Leiden Legal Technologies Program (2021)
Two contributions: B: Rechtsinformatica en rechts-AI, C: AI-systemen voor juridische logica en argumentatie
Strong Admissibility for Abstract Dialectical Frameworks (with Atefeh Keshavarzi Zafarghandi and Rineke Verbrugge)
Chapter in Research Handbook on Big Data Law (2021)
Rules, cases and arguments in artificial intelligence and law (with Heng Zheng; handbook editor Roland Vogl, CodeX, Stanford).
Hamed Ayoobi posted a demonstration video of interactive 3D object recognition, described in this arXiv preprint
Strong Admissibility for Abstract Dialectical Frameworks (with Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge)
Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases (with Heng Zheng and Davide Grossi)
Precedent Comparison in the Precedent Model Formalism: A Technical Note (with Heng Zheng and Davide Grossi)
XAILA workshop at JURIX (December 9, 2020)
The EXplainable & Responsible AI in Law (XAILA) Workshop at JURIX 2020 (coorganized with Grzegorz J. Nalepa, Michał Araszkiewicz and Martin Atzmueller)
Hybrid Intelligence project meeting (2020)
Workshop Hybrid Intelligence: The Good, the Bad and the Ugly (December 4, 2020, online)
The proceedings of ECA 2019 - the 3rd European Conference on Argumentation in Groningen are now available (with Jan Albert van Laar, Henrike Jansen and Catarina Dutilh Novaes)
Speakers: Nico Roos (Maastricht University), Yingqian Zhang (Eindhoven University of Technology), Luc de Raedt (KU Leuven) (co-organised with Tom Lenaerts)
Argument & Computation journal call for papers (2020)
25 years since Douglas Walton's "Argumentation Schemes for Presumptive Reasoning" (guest editor Fabrizio Macagno)
Case-Based Reasoning with Precedent Models: Preliminary Report (with Heng Zheng and Davide Grossi)
A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks (with Atefeh Keshavarzi Zafarghandi and Rineke Verbrugge)
Local-HDP: Interactive Open-Ended 3D Object Categorization (with Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge)
TopiCS in Cognitive Science journal paper (2020)
Analyzing the Simonshaven Case With and Without Probabilities
Vacancy: PhD position (Utrecht) (2020)
PhD position in Hybrid Intelligence (Utrecht University): Explaining data-driven decisions with legal, ethical or social impact to end-users (supervisors Henry Prakken, UU; Davide Grossi, RUG; Bart Verheij, RUG) (application deadline: August 31, 2020)
A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect by Collaborative, Adaptive, Responsible and Explainable Artificial Intelligence (with the Hybrid Intelligence project partners)
Artificial Intelligence & Law journal article (2020)
Artificial intelligence as law. Presidential address to the seventeenth international conference on artificial intelligence and law
Argument & Computation journal special issue (2020)
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later (with Pietro Baroni, Francesca Toni) (see A&C newsletter)
In memoriam Douglas N. Walton (2020)
In memoriam Douglas N. Walton: the influence of Doug Walton on AI and law (in the Artificial Intelligence & Law journal; with Katie Atkinson, Trevor Bench-Capon, Floris Bex, Thomas Gordon, Henry Prakken, Giovanni Sartor)
Open position Human-Computer Collaboration (2020)
Tenure Track Assistant Professor in the Cognitive Modeling group of the Department of Artificial Intelligence (application deadline July 1, 2020)
Open position Cognitive & Behavioural Robotics (2020)
Tenure Track Assistant Professor in Autonomous Perceptive Systems group of the Department of Artificial Intelligence (application deadline July 1, 2020)
COMMA 2020: 8th International Conference on Computational Models of Argument (Perugia, September 8-11, 2020). Deadline (extended): May 8, 2020.
Virtual Master Day (April 3) (2020)
Masters Artificial Intelligence and Human-Machine Communication (videos also @Youtube)
Artificial Intelligence & Law journal special issue (2020)
Special issue - Evidence & decision making in the law: theoretical, computational and empirical approaches (with Marcello Di Bello)
9 PhD scholarship positions (involving mathematics, computer science and AI) @DSSC_Groningen The Centre for Data Science and Systems Complexity, including one on Responsible Processing of Natural Language Data (with Fatih Turkmen and Arianna Bisazza)
The Netherlands, take the AI opportunity, now, responsibly! (with Jeroen van den Hoven and Holger Hoos, in Dutch)
Public discussion on AI strategy in parliament committee (2020)
Hoorzitting / rondetafelgesprek Strategisch Actieplan voor Artificiële Intelligentie (Vaste kamercommissie Economie en Klimaat (see this position paper) (February 20, 2020)
Research on collaborative, adaptive, responsible, explainable hybrid intelligence, i.e., combinations of human and machine intelligence. Collaboration of six universities in the Netherlands. Ten year project, nineteen million euros, good resources, diversity. Groningen AI department supervisors: Davide Grossi, Rineke Verbrugge (co-applicant/member executive board), Bart Verheij (coordinator responsible HI)
AI exhibition Groningen Forum (2020)
Workshops `Playing with AI' (by Groningen AI students, supported by SV Cover)
A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning (with Ludi van Leeuwen)
NWO AI Research Agenda for the Netherlands (AIREA-NL)
A Good Artificial Intelligence for our Complex World (invited lecture)
BNAIC/BENELEARN 2019 paper (Thursday, November 7, Brussels) (2019)
The XAI Paradox: systems that perform well for the wrong reasons (with Cor Steging and Lambert Schomaker)
BNAIC/BENELEARN 2019 abstract (Thursday, November 7, Brussels) (2019)
Handling Unforeseen Failures Using Argumentation-Based Learning (with Hamed Ayoobi, Ming Cao, Rineke Verbrugge; abstract of CASE 2019 paper)
Speakers: Dirk Heylen (University of Twente), Holger Hoos (Leiden University), Silja Renooij (Utrecht University) (co-organised with Tom Lenaerts)
Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks (see her recent ECSQARU 2019 paper)
TechTalks050 (Groningen, September 30) (2019)
AI en recht - Robotisering in de rechtszaal (AI and law – Robotization in the courtroom; in Dutch)
Zwaartekracht grant Hybrid Intelligence: augmenting human intellect (2019)
The AI department participates in the recently awarded NWO Zwaartekracht project Hybrid Intelligence (Rineke Verbrugge co-applicant/member executive board, Bart Verheij coordinator responsible HI, Davide Grossi)
ECSQARU 2019 paper (Belgrade, September, 18-20) (2019)
Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks (with Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge)
Invited talk University of Brescia (September 12-13) (2019)
On Computational Argumentation, and the Path to a Responsible Artificial Intelligence (at the Dipartimento di Ingegneria dell' Informazione Università degli Studi di Brescia)
CASE 2019 paper (Vancouver, August 22-26) (2019)
Handling Unforeseen Failures Using Argumentation-Based Learning (with Hamed Ayoobi, Ming Cao, Rineke Verbrugge)
ISIPTA 2019 paper (Ghent, July 3-6) (2019)
Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks (with Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge)
ECA 2019 organisation (Groningen, June 24-27) (2019)
3rd European Conference on Argumentation - ECA 2019: Reason to Dissent (with Jan Albert van Laar, Henrike Jansen and Catarina Dutilh Novaes)
Presidential address ICAIL 2019 (Montreal, June 19) (2019)
Artificial Intelligence as Law
ICAIL 2019 (Montreal, June 17-21) (2019)
17th International Conference on Artificial Intelligence and Law (ICAIL 2019) (Montreal, Canada)
Panel member AI and Legal Practice (2019)
`What AI can and cannot do currently', 2nd ICAIL Workshop on AI and Legal Practice, Montreal, June 17, 2019
Vacancies: tenure track positions (all levels) (2019)
In cognitive artificial intelligence (in particular explainable AI, cognitive and behavioral robotics, responsible AI) and human computer interaction and visualisation (in particular human-computer collaboration). Currently available as Rosalind Franklin Fellowships aimed at female researchers, expected to be opened more widely. Please get in touch if you are interested (send email).
Artificial Intelligence and the Logic of Argumentation
Call for papers special issue Argument and Computation journal (2019)
25 years since Dung's paper on abstract argumentation (submission deadline May 20, 2019, extended)
Invited graduate course Central South University, Changsha (2019)
Spring School on Artificial Intelligence and Law at the at the Central South University, Changsha (with Floris Bex and Enrico Francesconi)
Conference Central South University, Changsha (2019)
`Legal Artificial Intelligence Research Frontiers', Central South University, Changsha (report)
Lecture study day argumentation platform (VIOT) (2019)
Argumentation and Artificial Intelligence (in Dutch; February 13, 2019; Huize Heyendael, Nijmegen)
Inaugural lecture (full text and slides) (2018)
Arguments for Good Artificial Intelligence (text in the original Dutch and in English translation)
Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach (with Heng Zheng and Minghui Xiong)
JURIX 2018 organisation (Groningen, December 12-14) (2018)
The 31st international conference on Legal Knowledge and Information Systems (with Monica Palmirani, Henry Prakken, Jeanne Mifsud Bonnici)
Keynote lecture at the EXplainable AI in Law (XAILA) 2018 Workshop (2018)
Keynote lecture `Good AI and Law' (at the EXplainable AI in Law (XAILA) Workshop at JURIX)
The Hague Conference `Data science voor societal challenges' (2018)
Speaker in session `Agenda setting: shaping the national data agenda' on behalf of the Groningen Centre for Data Science and Systems Complexity (DSSC)
Opening research institute (November 1) (2018)
Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence
Keynote lecture, panel chair (2018)
Keynote lecture `Good AI and Law', chair of panel `Artificial Intelligence Applied: Real Life Examples' (at the II International Congress of Law, Government and Technology in Brasilia, Brazil)
Invited lecture `Good AI and Law' (at Lawgorithm, University of São Paulo, Brazil)
ECA 2017 conference paper (2018)
On Coherent Arguments And Their Inferential Roles (with commentary by Mathieu Beirlaen)
Chapter `Evidential Reasoning' (in the Handbook of Legal Reasoning and Argumentation; with Marcello Di Bello)
Chapter `Argumentation Theory in Formal and Computational Perspective' (in the Handbook of Formal Argumentation; with Frans van Eemeren)
Dutch AI Manifesto (@IPN SIG AI, @BNVKI) (2018)
The IPN Special Interest Group AI has written a Dutch AI Manifesto emphasising three research focus areas for the coming decades: Socially-Aware AI, Explainable AI and Responsible AI.
AI and Law, Bestone, Shanghai
Invited Orient Forum lecture Zhejiang University (Hangzhou) (2018)
Road to `Good Artificial Intelligence': Argumentation Systems (at the Institute of Logic and Cognition)
Invited graduate course Sun Yat-Sen University (2018)
Spring School on Argumentation in Artificial Intelligence and Law at the Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou (with Henry Prakken and Giovanni Sartor)
Stanford CodeX FutureLaw conference (2018)
Legal Innovation Lightning Round, speaker (invited)
Filosofisch café Groningen (2018)
Lecture and discussion Argumenten voor een goede kunstmatige intelligentie (Arguments for good artificial intelligence); in Dutch
Artificial Intelligence and Law journal (2018)
Research in Progress: Report on the ICAIL 2017 Doctoral Consortium (with candidates Maria Dymitruk, Réka Markovich, Rūta Liepiņa, Mirna El Ghosh, Robert van Doesburg and co-organiser Guido Governatori)
BNAIC 2017 (November 8-9, 2017)
The 29th Benelux Conference on Artificial Intelligence (Groningen) (cochair with Marco Wiering; download the conference poster)
Invited talk (October 11-12, 2017)
Workshop on Legal evidence and argumentation (ArgLab, Lisbon). Title of talk: Proof With and Without Probabilities
Studium Generale Groningen event `The Fiction of Reality' (September 18, 2017)
Dinner with speakers (`kennisdiner' with historian Jan Blaauw, medical researcher Désirée Goubert, `theatermaakster' Sarah Moeremans). Location: Grand Theatre. Catering: Kruimels. Report `Arguing over dinner' in the Universiteitskrant in English and in Dutch.
Inaugural lecture (September 12, 2017)
Argumenten voor goede kunstmatige intelligentie (Arguments for good artificial intelligence) (see the text)
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
ICAIL 2017 Doctoral Consortium (2017)
Doctoral consortium candidates Maria Dymitruk, Réka Markovich, Rūta Liepiņa, Mirna El Ghosh, Robert van Doesburg
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)
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
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)
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)
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)
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
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)
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)
The Fourteenth International Conference on Artificial Intelligence and Law (ICAIL 2013) Rome, Italy, June 10-14, 2013
Legal Stories and the Process of Proof (with Floris Bex)
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)
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)
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)