Arguments and Defeat in Argument-Based Nonmonotonic Reasoning. - Bart Verheij (EPIA, 1995)

The Influence of Defeated Arguments in Defeasible Argumentation. - Bart Verheij (WOCFAI, 1995)

Logical Tools for Legal Argument: A Practical Assessment in the Domain of Tort. - Bart Verheij; Jaap Hage; Arno R. Lodder (ICAIL, 1997)

An Integrated View on Rules and Principles. - Bart Verheij; Jaap Hage; H. Jaap van den Herik (Artif. Intell. Law, 1998)

Automated argument assistance for lawyers. - Bart Verheij (ICAIL, 1999)

The law as a dynamic interconnected system of states of affairs: a legal top ontology. - Jaap Hage; Bart Verheij (Int. J. Hum. Comput. Stud., 1999)

Computer-Mediated Legal Argument: Towards new Opportunities in Education. - Arno R. Lodder; Bart Verheij (J. Inf. Law Technol., 1999)

Henry Prakken (1997). Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law. - Bart Verheij (Artif. Intell. Law, 2000)

Legal decision making as dialectical theory construction with argumentation schemes. - Bart Verheij (ICAIL, 2001)

Douglas Walton, The New Dialectic, Conversational Contexts of Argument, Toronto: University of Toronto Press (Review). - Bart Verheij (Artif. Intell. Law, 2001)

On the existence and multiplicity of extensions in dialectical argumentation. - Bart Verheij (NMR, 2002)

Artificial argument assistants for defeasible argumentation. - Bart Verheij (Artif. Intell., 2003)

Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic. - Bart Verheij (Artif. Intell. Law, 2003)

Book Review: The Dynamics of Judicial Proof. Computation, Logic, and Common Sense. - Bart Verheij (Artif. Intell. Law, 2003)

DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions. - Bart Verheij (J. Log. Comput., 2003)

Cases and Dialectical Arguments - An Approach to Case-Based Reasoning. - Bram Roth; Bart Verheij (OTM Workshops, 2004)

Decision Support for Practical Reasoning. - Roderic A. Girle; David Hitchcock; Peter McBurney; Bart Verheij (Argumentation Machines, 2004)

Agents Adopting Agriculture: Modeling the Agricultural Transition. - Elske van der Vaart; Bart de Boer; Albert Hankel; Bart Verheij (SAB, 2006)

Introduction. - David Hitchcock; Bart Verheij (Arguing on the Toulmin Model, 2006)

Evaluating Arguments Based on Toulmin's Scheme. - Bart Verheij (Arguing on the Toulmin Model, 2006)

Formalising argumentative story-based analysis of evidence. - Floris J. Bex; Henry Prakken; Bart Verheij (ICAIL, 2007)

A Labeling Approach to the Computation of Credulous Acceptance in Argumentation. - Bart Verheij (IJCAI, 2007)

Beyond boxes and arrows: argumentation support in terms of the knowledge structure of a legal topic. - Maaike Schweers; Bart Verheij (JURIX, 2007)

About the logical relations between cases and rules. - Bart Verheij (JURIX, 2008)

The Toulmin Argument Model in Artificial Intelligence. - Bart Verheij (Argumentation in Artificial Intelligence, 2009)

How much logical structure is helpful in content-based argumentation software for legal case solving? - Stijn Colen; Fokie Cnossen; Bart Verheij (ICAIL, 2009)

Story Schemes for Argumentation about the Facts of a Crime. - Floris Jurriaan Bex; Bart Verheij (AAAI Fall Symposium: Computational Models of Narrative, 2010)

Argumentation and rules with exceptions. - Bart Verheij (COMMA, 2010)

A hybrid formal theory of arguments, stories and criminal evidence. - Floris J. Bex; Peter J. van Koppen; Henry Prakken; Bart Verheij (Artif. Intell. Law, 2010)

Legal shifts in the process of proof. - Floris Bex; Bart Verheij (ICAIL, 2011)

What Makes a Story Plausible? The Need for Precedents. - Floris Bex; Trevor J. M. Bench-Capon; Bart Verheij (JURIX, 2011)

Higher-order social cognition in rock-paper-scissors: a simulation study. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (AAMAS, 2012)

Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. - Bart Verheij (JELIA, 2012)

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. - Trevor J. M. Bench-Capon; Michal Araszkiewicz; Kevin D. Ashley; Katie Atkinson; Floris Bex; Filipe Borges; Danièle Bourcier; Paul Bourgine; Jack G. Conrad; Enrico Francesconi; Thomas F. Gordon; Guido Governatori; et al. (Artif. Intell. Law, 2012)

Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network. - Charlotte S. Vlek; Henry Prakken; Silja Renooij; Bart Verheij (CMN, 2013)

Agent-Based Models for Higher-Order Theory of Mind. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (ESSA, 2013)

Modeling crime scenarios in a Bayesian network. - Charlotte S. Vlek; Henry Prakken; Silja Renooij; Bart Verheij (ICAIL, 2013)

Unfolding Crime Scenarios with Variations: A Method for Building a Bayesian Network for Legal Narratives. - Charlotte S. Vlek; Henry Prakken; Silja Renooij; Bart Verheij (JURIX, 2013)

Higher-Order Theory of Mind in Negotiations under Incomplete Information. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (PRIMA, 2013)

How much does it help to know what she knows you know? An agent-based simulation study. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (Artif. Intell., 2013)

Legal stories and the process of proof. - Floris Bex; Bart Verheij (Artif. Intell. Law, 2013)

A Tool for the Generation of Arguments from Bayesian Networks. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (COMMA, 2014)

Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points. - Bart Verheij (COMMA, 2014)

Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (ECSI, 2014)

Extracting Legal Arguments from Forensic Bayesian Networks. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (JURIX, 2014)

Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence. - Charlotte S. Vlek; Henry Prakken; Silja Renooij; Bart Verheij (JURIX, 2014)

Building Bayesian networks for legal evidence with narratives: a case study evaluation. - Charlotte S. Vlek; Henry Prakken; Silja Renooij; Bart Verheij (Artif. Intell. Law, 2014)

ICAIL 2013: The Fourteenth International Conference on Artificial Intelligence and Law. - Bart Verheij; Enrico Francesconi; Anne Gardner (AI Mag., 2014)

Explaining Bayesian Networks Using Argumentation. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (ECSQARU, 2015)

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 (ICAIL, 2015)

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 (ICAIL, 2015)

Constructing and understanding Bayesian networks for legal evidence with scenario schemes. - Charlotte S. Vlek; Henry Prakken; Silja Renooij; Bart Verheij (ICAIL, 2015)

Explaining Legal Bayesian Networks Using Support Graphs. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (JURIX, 2015)

Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (JURIX, 2015)

Representing the Quality of Crime Scenarios in a Bayesian Network. - Charlotte S. Vlek; Henry Prakken; Silja Renooij; Bart Verheij (JURIX, 2015)

Making Sense of Illustrated Handwritten Archives. - Lambert Schomaker; Andreas Weber 008; Michiel Thijssen; Maarten Heerlien; Aske Plaat; Siegfried Nijssen; Fons J. Verbeek; Michael S. Lew; Eulalia Gasso Miracle; Katy Wolstencroft; Ernest Suyver; Bart Verheij; et al. (DH, 2016)

Correct Grounded Reasoning with Presumptive Arguments. - Bart Verheij (JELIA, 2016)

Arguments for Ethical Systems Design. - Bart Verheij (JURIX, 2016)

Formalizing value-guided argumentation for ethical systems design. - Bart Verheij (Artif. Intell. Law, 2016)

A method for explaining Bayesian networks for legal evidence with scenarios. - Charlotte S. Vlek; Henry Prakken; Silja Renooij; Bart Verheij (Artif. Intell. Law, 2016)

Argument & Computation: Change and continuity. - Pietro Baroni; Bart Verheij (Argument Comput., 2016)

Formalizing arguments, rules and cases. - Bart Verheij (ICAIL, 2017)

Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (Auton. Agents Multi Agent Syst., 2017)

Introduction to the special issue on Artificial Intelligence for Justice (AI4J). - Floris Bex; Henry Prakken; Tom M. van Engers; Bart Verheij (Artif. Intell. Law, 2017)

Proof with and without probabilities - Correct evidential reasoning with presumptive arguments, coherent hypotheses and degrees of uncertainty. - Bart Verheij (Artif. Intell. Law, 2017)

Argumentation Theory in Formal and Computational Perspective. - Frans H. van Eemeren; Bart Verheij (FLAP, 2017)

A two-phase method for extracting explanatory arguments from Bayesian networks. - Sjoerd T. Timmer; John-Jules Ch. Meyer; Henry Prakken; Silja Renooij; Bart Verheij (Int. J. Approx. Reason., 2017)

Good AI and Law. - Bart Verheij (XAILA@JURIX, 2018)

Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach. - Heng Zheng 001; Minghui Xiong; Bart Verheij (JURIX, 2018)

Research in progress: report on the ICAIL 2017 doctoral consortium. - Maria Dymitruk; Réka Markovich; Ruta Liepina; Mirna El Ghosh; Robert van Doesburg; Guido Governatori; Bart Verheij (Artif. Intell. Law, 2018)

The XAI paradox: Systems that Perform Well for the Wrong Reasons. - Cor Steging; Lambert Schomaker; Bart Verheij (BNAIC/BENELEARN, 2019)

Handling Unforeseen Failures Using Argumentation-Based Learning. - Hamed Ayoobi; Ming Cao 001; Rineke Verbrugge; Bart Verheij (CASE, 2019)

Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. - Atefeh Keshavarzi Zafarghandi; Rineke Verbrugge; Bart Verheij (ECSQARU, 2019)

Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks. - Atefeh Keshavarzi Zafarghandi; Bart Verheij; Rineke Verbrugge (ISIPTA, 2019)

A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning. - Ludi van Leeuwen; Bart Verheij (JURIX, 2019)

Argument & Computation Community Resources (ACCR) corner. - Pietro Baroni; Bart Verheij (Argument Comput., 2019)

Douglas Walton (1942-2020). - Pietro Baroni; Bart Verheij (Argument Comput., 2019)

Logical Comparison of Cases. - Heng Zheng 001; Davide Grossi; Bart Verheij (AICOL, 2020)

A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks. - Atefeh Keshavarzi Zafarghandi; Rineke Verbrugge; Bart Verheij (COMMA, 2020)

Case-Based Reasoning with Precedent Models: Preliminary Report. - Heng Zheng 001; Davide Grossi; Bart Verheij (COMMA, 2020)

Precedent Comparison in the Precedent Model Formalism: A Technical Note. - Heng Zheng 001; Davide Grossi; Bart Verheij (JURIX, 2020)

Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases. - Heng Zheng 001; Davide Grossi; Bart Verheij (XAILA@JURIX, 2020)

In memoriam Douglas N. Walton: the influence of Doug Walton on AI and law. - Katie Atkinson; Trevor J. M. Bench-Capon; Floris Bex; Thomas F. Gordon; Henry Prakken; Giovanni Sartor; Bart Verheij (Artif. Intell. Law, 2020)

Evidence & decision making in the law: theoretical, computational and empirical approaches. - Marcello Di Bello; Bart Verheij (Artif. Intell. Law, 2020)

Artificial intelligence as law. - Bart Verheij (Artif. Intell. Law, 2020)

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later. - Pietro Baroni; Francesca Toni; Bart Verheij (Argument Comput., 2020)

A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. - Zeynep Akata; Dan Balliet; Maarten de Rijke; Frank Dignum; Virginia Dignum; Guszti Eiben; Antske Fokkens; Davide Grossi; Koen V. Hindriks; Holger H. Hoos; Hayley Hung; Catholijn M. Jonker; et al. (Computer, 2020)

Local-HDP: Interactive Open-Ended 3D Object Categorization. - Hamed Ayoobi; S. Hamidreza Kasaei 001; Ming Cao 001; Rineke Verbrugge; Bart Verheij (CoRR, 2020)

Analyzing the Simonshaven Case With and Without Probabilities. - Bart Verheij (Top. Cogn. Sci., 2020)

Discovering the rationale of decisions: towards a method for aligning learning and reasoning. - Cor Steging; Silja Renooij; Bart Verheij (ICAIL, 2021)

Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning. - Cor Steging; Bart Verheij; Silja Renooij (XAILA@ICAIL, 2021)

Hardness of case-based decisions: a formal theory. - Heng Zheng 001; Davide Grossi; Bart Verheij (ICAIL, 2021)

Argue to Learn: Accelerated Argumentation-Based Learning. - Hamed Ayoobi; Ming Cao 001; Rineke Verbrugge; Bart Verheij (ICMLA, 2021)

Rationale Discovery and Explainable AI. - Cor Steging; Silja Renooij; Bart Verheij (JURIX, 2021)

Semi-Stable Semantics for Abstract Dialectical Frameworks. - Atefeh Keshavarzi Zafarghandi; Rineke Verbrugge; Bart Verheij (KR, 2021)

Online Incremental Learning with Abstract Argumentation Frameworks. - Hamed Ayoobi; Ming Cao 001; Rineke Verbrugge; Bart Verheij (ArgML@COMMA, 2022)

A Labeling Based Backtracking Solver for Abstract Argumentation. - Lukas Kinder; Matthias Thimm; Bart Verheij (SAFA@COMMA, 2022)

Justification in Case-Based Reasoning. - Wijnand van Woerkom; Davide Grossi; Henry Prakken; Bart Verheij (ArgXAI@COMMA, 2022)

How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? - Atefeh Keshavarzi Zafarghandi; Wolfgang Dvorák; Rineke Verbrugge; Bart Verheij (COMMA, 2022)

Discovering the Rationale of Decisions. - Cor Steging; Silja Renooij; Bart Verheij (HHAI, 2022)

Landmarks in Case-Based Reasoning: From Theory to Data. - Wijnand van Woerkom; Davide Grossi; Henry Prakken; Bart Verheij (HHAI, 2022)

Unpacking Arguments. - Trevor J. M. Bench-Capon; Bart Verheij (JURIX, 2022)

Higher-order theory of mind is especially useful in unpredictable negotiations. - Harmen de Weerd; Rineke Verbrugge; Bart Verheij (Auton. Agents Multi Agent Syst., 2022)

Thirty years of Artificial Intelligence and Law: the first decade. - Guido Governatori; Trevor J. M. Bench-Capon; Bart Verheij; Michal Araszkiewicz; Enrico Francesconi; Matthias Grabmair (Artif. Intell. Law, 2022)

Towards an inclusive, responsible and sustainable open access model. - Pietro Baroni; Bart Verheij (Argument Comput., 2022)

Strong admissibility for abstract dialectical frameworks. - Atefeh Keshavarzi Zafarghandi; Rineke Verbrugge; Bart Verheij (Argument Comput., 2022)

Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios. - Hamed Ayoobi; S. Hamidreza Kasaei 001; Ming Cao 001; Rineke Verbrugge; Bart Verheij (Robotics Auton. Syst., 2022)

Argumentation-Based Online Incremental Learning. - Hamed Ayoobi; Ming Cao 001; Rineke Verbrugge; Bart Verheij (IEEE Trans Autom. Sci. Eng., 2022)

Design of Responsible Hybrid Intelligence (Preface). - Ludi van Leeuwen; Cor Steging; Bart Verheij (HHAI Workshops, 2023)

Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios. - Ludi van Leeuwen; Bart Verheij; Rineke Verbrugge; Silja Renooij (ICAIL, 2023)

Taking the Law More Seriously by Investigating Design Choices in Machine Learning Prediction Research. - Cor Steging; Silja Renooij; Bart Verheij (ASAIL@ICAIL, 2023)

Hierarchical Precedential Constraint. - Wijnand van Woerkom; Davide Grossi; Henry Prakken; Bart Verheij (ICAIL, 2023)

Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. - Hamed Ayoobi; Hamidreza Kasaei 001; Ming Cao 001; Rineke Verbrugge; Bart Verheij (ICRA, 2023)

Constructing and Explaining Case Models: A Case-Based Argumentation Perspective. - Wachara Fungwacharakorn; Ken Satoh; Bart Verheij (JSAI-isAI Workshops, 2023)

Evaluating Methods for Setting a Prior Probability of Guilt. - Ludi van Leeuwen; Bart Verheij; Rineke Verbrugge; Silja Renooij (JURIX, 2023)

Improving Rationales with Small, Inconsistent and Incomplete Data. - Cor Steging; Silja Renooij; Bart Verheij (JURIX, 2023)

Hierarchical a Fortiori Reasoning with Dimensions. - Wijnand van Woerkom; Davide Grossi; Henry Prakken; Bart Verheij (JURIX, 2023)

Arguments, rules and cases in law: Resources for aligning learning and reasoning in structured domains. - Cor Steging; Silja Renooij; Bart Verheij; Trevor J. M. Bench-Capon (Argument Comput., 2023)

Presumptive Reasoning in a Paraconsistent Setting. - Sabine Frittella; Daniil Kozhemiachenko; Bart Verheij (TARK, 2023)

Building a Stronger Case: Combining Evidence and Law in Scenario-Based Bayesian Networks. - Ludi van Leeuwen; Rineke Verbrugge; Bart Verheij; Silja Renooij (HHAI, 2024)

A Case-Based-Reasoning Analysis of the COMPAS Dataset. - Wijnand van Woerkom; Davide Grossi; Henry Prakken; Bart Verheij (JURIX, 2024)

A Fortiori Case-Based Reasoning: From Theory to Data. - Wijnand van Woerkom; Davide Grossi; Henry Prakken; Bart Verheij (J. Artif. Intell. Res., 2024)

Autonomous Research Assistants for Hybrid Intelligence: Landscape and Challenges. - Giacomo Zamprogno; Ilaria Tiddi; Bart Verheij (AAAI Spring Symposia, 2025)

Parameterized Argumentation-based Reasoning Tasks for Benchmarking Generative Language Models. - Cor Steging; Silja Renooij; Bart Verheij (CoRR, 2025)