| 2026 | AAAI | A Fortiori Case-Based Reasoning: From Theory to Data (Abstract Reprint). | Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij |
| 2025 | ECSQARU | Hybrid Reasoning with Evidence: Arguments, Scenarios, Probabilities (Keynote). | Bart Verheij |
| 2025 | ICAIL | On Compatibility between Situation Outcome Cases and Logical Cases. | Wachara Fungwacharakorn, Guilherme Paulino-Passos, Bart Verheij, Ken Satoh |
| 2025 | ICAIL | Evaluating Methods for Scenario Reasoning using Bayesian Networks in Exhaustive and Non-Exhaustive Settings. | Ludi Simone van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij |
| 2025 | ICAIL | Parameterized Argumentation-based Reasoning Tasks for Benchmarking Generative Language Models. | Cor Steging, Silja Renooij, Bart Verheij |
| 2024 | JURIX | A Case-Based-Reasoning Analysis of the COMPAS Dataset. | Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij |
| 2023 | ICAIL | Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios. | Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij |
| 2023 | ICAIL | Taking the Law More Seriously by Investigating Design Choices in Machine Learning Prediction Research. | Cor Steging, Silja Renooij, Bart Verheij |
| 2023 | ICAIL | Hierarchical Precedential Constraint. | Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij |
| 2023 | ICRA | Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. | Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij |
| 2023 | JURIX | Evaluating Methods for Setting a Prior Probability of Guilt. | Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij |
| 2023 | JURIX | Improving Rationales with Small, Inconsistent and Incomplete Data. | Cor Steging, Silja Renooij, Bart Verheij |
| 2023 | JURIX | Hierarchical a Fortiori Reasoning with Dimensions. | Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij |
| 2022 | COMMA | Online Incremental Learning with Abstract Argumentation Frameworks. | Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij |
| 2022 | COMMA | A Labeling Based Backtracking Solver for Abstract Argumentation. | Lukas Kinder, Matthias Thimm, Bart Verheij |
| 2022 | COMMA | Justification in Case-Based Reasoning. | Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij |
| 2022 | COMMA | How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? | Atefeh Keshavarzi Zafarghandi, Wolfgang Dvork, Rineke Verbrugge, Bart Verheij |
| 2022 | JURIX | Unpacking Arguments. | Trevor J. M. Bench-Capon, Bart Verheij |
| 2021 | ICAIL | Discovering the rationale of decisions: towards a method for aligning learning and reasoning. | Cor Steging, Silja Renooij, Bart Verheij |
| 2021 | ICAIL | Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning. | Cor Steging, Bart Verheij, Silja Renooij |
| 2021 | ICAIL | Hardness of case-based decisions: a formal theory. | Heng Zheng, Davide Grossi, Bart Verheij |
| 2021 | ICMLA | Argue to Learn: Accelerated Argumentation-Based Learning. | Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij |
| 2021 | JURIX | Rationale Discovery and Explainable AI. | Cor Steging, Silja Renooij, Bart Verheij |
| 2021 | KR | Semi-Stable Semantics for Abstract Dialectical Frameworks. | Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij |
| 2021 | SAC | Strong admissibility for abstract dialectical frameworks. | Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij |
| 2020 | COMMA | A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks. | Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij |
| 2020 | COMMA | Case-Based Reasoning with Precedent Models: Preliminary Report. | Heng Zheng, Davide Grossi, Bart Verheij |
| 2020 | JURIX | Precedent Comparison in the Precedent Model Formalism: A Technical Note. | Heng Zheng, Davide Grossi, Bart Verheij |
| 2020 | JURIX | Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases. | Heng Zheng, Davide Grossi, Bart Verheij |
| 2019 | ECSQARU | Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. | Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij |
| 2019 | JURIX | A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning. | Ludi van Leeuwen, Bart Verheij |
| 2018 | JURIX | Good AI and Law. | Bart Verheij |
| 2018 | JURIX | Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach. | Heng Zheng, Minghui Xiong, Bart Verheij |
| 2017 | ICAIL | Formalizing arguments, rules and cases. | Bart Verheij |
| 2016 | JELIA | Correct Grounded Reasoning with Presumptive Arguments. | Bart Verheij |
| 2016 | JURIX | Arguments for Ethical Systems Design. | Bart Verheij |
| 2015 | ECSQARU | Explaining Bayesian Networks Using Argumentation. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | ICAIL | A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | ICAIL | Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | ICAIL | Constructing and understanding Bayesian networks for legal evidence with scenario schemes. | Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | JURIX | Explaining Legal Bayesian Networks Using Support Graphs. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | JURIX | Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2015 | JURIX | Representing the Quality of Crime Scenarios in a Bayesian Network. | Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij |
| 2014 | COMMA | A Tool for the Generation of Arguments from Bayesian Networks. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2014 | COMMA | Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points. | Bart Verheij |
| 2014 | JURIX | Extracting Legal Arguments from Forensic Bayesian Networks. | Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij |
| 2014 | JURIX | Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence. | Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij |
| 2013 | ICAIL | Modeling crime scenarios in a Bayesian network. | Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij |
| 2013 | JURIX | Unfolding Crime Scenarios with Variations: A Method for Building a Bayesian Network for Legal Narratives. | Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij |
| 2013 | PRIMA | Higher-Order Theory of Mind in Negotiations under Incomplete Information. | Harmen de Weerd, Rineke Verbrugge, Bart Verheij |
| 2012 | AAMAS | Higher-order social cognition in rock-paper-scissors: a simulation study. | Harmen de Weerd, Rineke Verbrugge, Bart Verheij |
| 2012 | JELIA | Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. | Bart Verheij |
| 2011 | ICAIL | Legal shifts in the process of proof. | Floris Bex, Bart Verheij |
| 2011 | JURIX | What Makes a Story Plausible? The Need for Precedents. | Floris Bex, Trevor J. M. Bench-Capon, Bart Verheij |
| 2010 | COMMA | Argumentation and rules with exceptions. | Bart Verheij |
| 2009 | ICAIL | How much logical structure is helpful in content-based argumentation software for legal case solving? | Stijn Colen, Fokie Cnossen, Bart Verheij |
| 2008 | JURIX | About the logical relations between cases and rules. | Bart Verheij |
| 2007 | ICAIL | Formalising argumentative story-based analysis of evidence. | Floris J. Bex, Henry Prakken, Bart Verheij |
| 2007 | IJCAI | A Labeling Approach to the Computation of Credulous Acceptance in Argumentation. | Bart Verheij |
| 2007 | JURIX | Beyond boxes and arrows: argumentation support in terms of the knowledge structure of a legal topic. | Maaike Schweers, Bart Verheij |
| 2001 | ICAIL | Legal decision making as dialectical theory construction with argumentation schemes. | Bart Verheij |
| 1999 | ICAIL | Automated argument assistance for lawyers. | Bart Verheij |
| 1997 | ICAIL | Logical Tools for Legal Argument: A Practical Assessment in the Domain of Tort. | Bart Verheij, Jaap Hage, Arno R. Lodder |
| 1995 | EPIA | Arguments and Defeat in Argument-Based Nonmonotonic Reasoning. | Bart Verheij |