Bart Verheij

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 76

Top Venues

Publications

Ludi van Leeuwen, Rineke Verbrugge, Bart Verheij, Silja Renooij
Building a Stronger Case: Combining Evidence and Law in Scenario-Based Bayesian Networks. HHAI (2024)
Ludi van Leeuwen, Cor Steging, Bart Verheij
Design of Responsible Hybrid Intelligence (Preface). HHAI Workshops (2023)
Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij
Hierarchical a Fortiori Reasoning with Dimensions. JURIX (2023)
Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij
Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios. ICAIL (2023)
Cor Steging, Silja Renooij, Bart Verheij, Trevor J. M. Bench-Capon
Arguments, rules and cases in law: Resources for aligning learning and reasoning in structured domains. Argument Comput. 14 (2) (2023)
Wachara Fungwacharakorn, Ken Satoh, Bart Verheij
Constructing and Explaining Case Models: A Case-Based Argumentation Perspective. JSAI-isAI Workshops (2023)
Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. CoRR (2023)
Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. ICRA (2023)
Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij
Presumptive Reasoning in a Paraconsistent Setting. TARK (2023)
Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij
Evaluating Methods for Setting a Prior Probability of Guilt. JURIX (2023)
Cor Steging, Silja Renooij, Bart Verheij
Taking the Law More Seriously by Investigating Design Choices in Machine Learning Prediction Research. ASAIL@ICAIL (2023)
Cor Steging, Silja Renooij, Bart Verheij
Improving Rationales with Small, Inconsistent and Incomplete Data. JURIX (2023)
Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij
Hierarchical Precedential Constraint. ICAIL (2023)
Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
Online Incremental Learning with Abstract Argumentation Frameworks. ArgML@COMMA (2022)
Atefeh Keshavarzi Zafarghandi, Wolfgang Dvorák, Rineke Verbrugge, Bart Verheij
How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? COMMA (2022)
Guido Governatori, Trevor J. M. Bench-Capon, Bart Verheij, Michal Araszkiewicz, Enrico Francesconi, Matthias Grabmair
Thirty years of Artificial Intelligence and Law: the first decade. Artif. Intell. Law 30 (4) (2022)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
Strong admissibility for abstract dialectical frameworks. Argument Comput. 13 (3) (2022)
Pietro Baroni, Bart Verheij
Towards an inclusive, responsible and sustainable open access model. Argument Comput. 13 (1) (2022)
Cor Steging, Silja Renooij, Bart Verheij
Discovering the Rationale of Decisions. HHAI (2022)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Higher-order theory of mind is especially useful in unpredictable negotiations. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij
Landmarks in Case-Based Reasoning: From Theory to Data. HHAI (2022)
Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios. Robotics Auton. Syst. 147 (2022)
Trevor J. M. Bench-Capon, Bart Verheij
Unpacking Arguments. JURIX (2022)
Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
Argumentation-Based Online Incremental Learning. IEEE Trans Autom. Sci. Eng. 19 (4) (2022)
Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij
Justification in Case-Based Reasoning. ArgXAI@COMMA (2022)
Lukas Kinder, Matthias Thimm, Bart Verheij
A Labeling Based Backtracking Solver for Abstract Argumentation. SAFA@COMMA (2022)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
Strong admissibility for abstract dialectical frameworks. SAC (2021)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
Semi-Stable Semantics for Abstract Dialectical Frameworks. KR (2021)
Cor Steging, Bart Verheij, Silja Renooij
Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning. XAILA@ICAIL (2021)
Heng Zheng, Davide Grossi, Bart Verheij
Hardness of case-based decisions: a formal theory. ICAIL (2021)
Cor Steging, Silja Renooij, Bart Verheij
Discovering the rationale of decisions: towards a method for aligning learning and reasoning. ICAIL (2021)
Cor Steging, Silja Renooij, Bart Verheij
Rationale Discovery and Explainable AI. JURIX (2021)
Cor Steging, Silja Renooij, Bart Verheij
Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning. CoRR (2021)
Heng Zheng, Davide Grossi, Bart Verheij
Logical Comparison of Cases. AICOL (2020)
Bart Verheij
Analyzing the Simonshaven Case With and Without Probabilities. Top. Cogn. Sci. 12 (4) (2020)
Heng Zheng, Davide Grossi, Bart Verheij
Precedent Comparison in the Precedent Model Formalism: A Technical Note. JURIX (2020)
Katie Atkinson, Trevor J. M. Bench-Capon, Floris Bex, Thomas F. Gordon, Henry Prakken, Giovanni Sartor, Bart Verheij
In memoriam Douglas N. Walton: the influence of Doug Walton on AI and law. Artif. Intell. Law 28 (3) (2020)
Marcello Di Bello, Bart Verheij
Evidence & decision making in the law: theoretical, computational and empirical approaches. Artif. Intell. Law 28 (1) (2020)
Heng Zheng, Davide Grossi, Bart Verheij
Case-Based Reasoning with Precedent Models: Preliminary Report. COMMA (2020)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks. COMMA (2020)
Pietro Baroni, Francesca Toni, Bart Verheij
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later. Argument Comput. 11 (1-2) (2020)
Heng Zheng, Davide Grossi, Bart Verheij
Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases. XAILA@JURIX (2020)
Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
Local-HDP: Interactive Open-Ended 3D Object Categorization. CoRR (2020)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
Strong Admissibility for Abstract Dialectical Frameworks. CoRR (2020)
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, Christof Monz, Mark A. Neerincx, Frans A. Oliehoek, Henry Prakken, Stefan Schlobach, Linda C. van der Gaag, Frank van Harmelen, Herke van Hoof, Birna van Riemsdijk, Aimee van Wynsberghe, Rineke Verbrugge, Bart Verheij, Piek Vossen, Max Welling
A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. Computer 53 (8) (2020)
Bart Verheij
Artificial intelligence as law. Artif. Intell. Law 28 (2) (2020)
Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. ECSQARU (2019)
Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
Handling Unforeseen Failures Using Argumentation-Based Learning. CASE (2019)
Pietro Baroni, Bart Verheij
Argument & Computation Community Resources (ACCR) corner. Argument Comput. 10 (2) (2019)
Atefeh Keshavarzi Zafarghandi, Bart Verheij, Rineke Verbrugge
Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks. ISIPTA (2019)
Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
Handling Unforeseen Failures Using Argumentation-Based Learning. BNAIC/BENELEARN (2019)
Cor Steging, Lambert Schomaker, Bart Verheij
The XAI paradox: Systems that Perform Well for the Wrong Reasons. BNAIC/BENELEARN (2019)
Ludi van Leeuwen, Bart Verheij
A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning. JURIX (2019)
Pietro Baroni, Bart Verheij
Douglas Walton (1942-2020). Argument Comput. 10 (3) (2019)
Bart Verheij
Good AI and Law. XAILA@JURIX (2018)
Maria Dymitruk, Réka Markovich, Ruta Liepina, Mirna El Ghosh, Robert van Doesburg, Guido Governatori, Bart Verheij
Research in progress: report on the ICAIL 2017 doctoral consortium. Artif. Intell. Law 26 (1) (2018)
Heng Zheng, Minghui Xiong, Bart Verheij
Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach. JURIX (2018)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information. Auton. Agents Multi Agent Syst. 31 (2) (2017)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
A two-phase method for extracting explanatory arguments from Bayesian networks. Int. J. Approx. Reason. 80 (2017)
Floris Bex, Henry Prakken, Tom M. van Engers, Bart Verheij
Introduction to the special issue on Artificial Intelligence for Justice (AI4J). Artif. Intell. Law 25 (1) (2017)
Frans H. van Eemeren, Bart Verheij
Argumentation Theory in Formal and Computational Perspective. FLAP 4 (8) (2017)
Bart Verheij
Formalizing arguments, rules and cases. ICAIL (2017)
Bart Verheij
Proof with and without probabilities - Correct evidential reasoning with presumptive arguments, coherent hypotheses and degrees of uncertainty. Artif. Intell. Law 25 (1) (2017)
Bart Verheij
Correct Grounded Reasoning with Presumptive Arguments. JELIA (2016)
Bart Verheij
Arguments for Ethical Systems Design. JURIX (2016)
Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
A method for explaining Bayesian networks for legal evidence with scenarios. Artif. Intell. Law 24 (3) (2016)
Bart Verheij
Formalizing value-guided argumentation for ethical systems design. Artif. Intell. Law 24 (4) (2016)
Lambert Schomaker, Andreas Weber, Michiel Thijssen, Maarten Heerlien, Aske Plaat, Siegfried Nijssen, Fons J. Verbeek, Michael S. Lew, Eulalia Gasso Miracle, Katy Wolstencroft, Ernest Suyver, Bart Verheij, Marco A. Wiering, René Dekker, Joost N. Kok, Lissa Roberts, H. Jaap van den Herik
Making Sense of Illustrated Handwritten Archives. DH (2016)
Pietro Baroni, Bart Verheij
Argument & Computation: Change and continuity. Argument Comput. 7 (1) (2016)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL (2015)
Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
Constructing and understanding Bayesian networks for legal evidence with scenario schemes. ICAIL (2015)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL (2015)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
Explaining Bayesian Networks Using Argumentation. ECSQARU (2015)
Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
Representing the Quality of Crime Scenarios in a Bayesian Network. JURIX (2015)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. JURIX (2015)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
Explaining Legal Bayesian Networks Using Support Graphs. JURIX (2015)
Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
Building Bayesian networks for legal evidence with narratives: a case study evaluation. Artif. Intell. Law 22 (4) (2014)
Bart Verheij, Enrico Francesconi, Anne Gardner
ICAIL 2013: The Fourteenth International Conference on Artificial Intelligence and Law. AI Mag. 35 (2) (2014)
Bart Verheij
Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points. COMMA (2014)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning. ECSI (2014)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
Extracting Legal Arguments from Forensic Bayesian Networks. JURIX (2014)
Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
A Tool for the Generation of Arguments from Bayesian Networks. COMMA (2014)
Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence. JURIX (2014)
Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
Unfolding Crime Scenarios with Variations: A Method for Building a Bayesian Network for Legal Narratives. JURIX (2013)
Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network. CMN (2013)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
How much does it help to know what she knows you know? An agent-based simulation study. Artif. Intell. (2013)
Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
Modeling crime scenarios in a Bayesian network. ICAIL (2013)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Higher-Order Theory of Mind in Negotiations under Incomplete Information. PRIMA (2013)
Floris Bex, Bart Verheij
Legal stories and the process of proof. Artif. Intell. Law 21 (3) (2013)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Agent-Based Models for Higher-Order Theory of Mind. ESSA (2013)
Bart Verheij
Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. JELIA (2012)
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Higher-order social cognition in rock-paper-scissors: a simulation study. AAMAS (2012)
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, Jochen L. Leidner, David D. Lewis, Ronald Prescott Loui, L. Thorne McCarty, Henry Prakken, Frank Schilder, Erich Schweighofer, Paul Thompson, Alex Tyrrell, Bart Verheij, Douglas N. Walton, Adam Z. Wyner
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. Artif. Intell. Law 20 (3) (2012)
Floris Bex, Bart Verheij
Legal shifts in the process of proof. ICAIL (2011)
Floris Bex, Trevor J. M. Bench-Capon, Bart Verheij
What Makes a Story Plausible? The Need for Precedents. JURIX (2011)
Floris J. Bex, Peter J. van Koppen, Henry Prakken, Bart Verheij
A hybrid formal theory of arguments, stories and criminal evidence. Artif. Intell. Law 18 (2) (2010)
Bart Verheij
Argumentation and rules with exceptions. COMMA (2010)
Floris Jurriaan Bex, Bart Verheij
Story Schemes for Argumentation about the Facts of a Crime. AAAI Fall Symposium: Computational Models of Narrative (2010)
Stijn Colen, Fokie Cnossen, Bart Verheij
How much logical structure is helpful in content-based argumentation software for legal case solving? ICAIL (2009)
Bart Verheij
About the logical relations between cases and rules. JURIX (2008)

Bart Verheij.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bart Verheij