Bart Verheij

Orcid: 0000-0001-8927-8751

Affiliations:
  • University of Groningen, The Netherlands


According to our database1, Bart Verheij authored at least 121 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Fortiori Case-Based Reasoning: From Theory to Data.
J. Artif. Intell. Res., 2024

Building a Stronger Case: Combining Evidence and Law in Scenario-Based Bayesian Networks.
Proceedings of the HHAI 2024: Hybrid Human AI Systems for the Social Good, 2024

2023
Presumptive Reasoning in a Paraconsistent Setting.
Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

Arguments, rules and cases in law: Resources for aligning learning and reasoning in structured domains.
Argument Comput., 2023

Hierarchical a Fortiori Reasoning with Dimensions.
Proceedings of the Legal Knowledge and Information Systems, 2023

Improving Rationales with Small, Inconsistent and Incomplete Data.
Proceedings of the Legal Knowledge and Information Systems, 2023

Evaluating Methods for Setting a Prior Probability of Guilt.
Proceedings of the Legal Knowledge and Information Systems, 2023

Constructing and Explaining Case Models: A Case-Based Argumentation Perspective.
Proceedings of the New Frontiers in Artificial Intelligence, 2023

Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Hierarchical Precedential Constraint.
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

Taking the Law More Seriously by Investigating Design Choices in Machine Learning Prediction Research.
Proceedings of the 6th Workshop on Automated Semantic Analysis of Information in Legal Text co-located with the 19th International Conference on Artificial Intelligence and Law (ICAIL 2023), 2023

Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios.
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

Design of Responsible Hybrid Intelligence (Preface).
Proceedings of the Workshops at the Second International Conference on Hybrid Human-Artificial Intelligence co-located with (HHAI 2023), 2023

2022
Argumentation-Based Online Incremental Learning.
IEEE Trans Autom. Sci. Eng., 2022

Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios.
Robotics Auton. Syst., 2022

Strong admissibility for abstract dialectical frameworks.
Argument Comput., 2022

Towards an inclusive, responsible and sustainable open access model.
Argument Comput., 2022

Thirty years of Artificial Intelligence and Law: the first decade.
Artif. Intell. Law, 2022

Higher-order theory of mind is especially useful in unpredictable negotiations.
Auton. Agents Multi Agent Syst., 2022

Unpacking Arguments.
Proceedings of the Legal Knowledge and Information Systems, 2022

Landmarks in Case-Based Reasoning: From Theory to Data.
Proceedings of the HHAI 2022: Augmenting Human Intellect, 2022

Discovering the Rationale of Decisions.
Proceedings of the HHAI 2022: Augmenting Human Intellect, 2022

How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks?
Proceedings of the Computational Models of Argument, 2022

Justification in Case-Based Reasoning.
Proceedings of the 1st International Workshop on Argumentation for eXplainable AI co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

A Labeling Based Backtracking Solver for Abstract Argumentation.
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), 2022

Online Incremental Learning with Abstract Argumentation Frameworks.
Proceedings of the 1st Workshop on Argumentation & Machine Learning co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

2021
Semi-Stable Semantics for Abstract Dialectical Frameworks.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Rationale Discovery and Explainable AI.
Proceedings of the Legal Knowledge and Information Systems, 2021

Argue to Learn: Accelerated Argumentation-Based Learning.
Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

Hardness of case-based decisions: a formal theory.
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning.
Proceedings of 4th International Workshop on eXplainable and Responsible AI and Law co-located with 18th International Conference on Artificial Intelligence and Law (ICAIL 2021), 2021

Discovering the rationale of decisions: towards a method for aligning learning and reasoning.
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

2020
Analyzing the Simonshaven Case With and Without Probabilities.
Top. Cogn. Sci., 2020

Local-HDP: Interactive Open-Ended 3D Object Categorization.
CoRR, 2020

A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence.
Computer, 2020

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later.
Argument Comput., 2020

Artificial intelligence as law.
Artif. Intell. Law, 2020

Evidence & decision making in the law: theoretical, computational and empirical approaches.
Artif. Intell. Law, 2020

In memoriam Douglas N. Walton: the influence of Doug Walton on AI and law.
Artif. Intell. Law, 2020

Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases.
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), 2020

Precedent Comparison in the Precedent Model Formalism: A Technical Note.
Proceedings of the Legal Knowledge and Information Systems, 2020

Case-Based Reasoning with Precedent Models: Preliminary Report.
Proceedings of the Computational Models of Argument, 2020

A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks.
Proceedings of the Computational Models of Argument, 2020

Logical Comparison of Cases.
Proceedings of the AI Approaches to the Complexity of Legal Systems XI-XII, 2020

2019
Douglas Walton (1942-2020).
Argument Comput., 2019

Argument & Computation Community Resources (ACCR) corner.
Argument Comput., 2019

A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning.
Proceedings of the Legal Knowledge and Information Systems, 2019

Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks.
Proceedings of the International Symposium on Imprecise Probabilities: Theories and Applications, 2019

Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Handling Unforeseen Failures Using Argumentation-Based Learning.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

The XAI paradox: Systems that Perform Well for the Wrong Reasons.
Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019

2018
Research in progress: report on the ICAIL 2017 doctoral consortium.
Artif. Intell. Law, 2018

Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach.
Proceedings of the Legal Knowledge and Information Systems, 2018

Good AI and Law.
Proceedings of the EXplainable AI in Law Workshop co-located with the 31st International Conference on Legal Knowledge and Information Systems, 2018

2017
A two-phase method for extracting explanatory arguments from Bayesian networks.
Int. J. Approx. Reason., 2017

Argumentation Theory in Formal and Computational Perspective.
FLAP, 2017

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

Introduction to the special issue on Artificial Intelligence for Justice (AI4J).
Artif. Intell. Law, 2017

Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information.
Auton. Agents Multi Agent Syst., 2017

Formalizing arguments, rules and cases.
Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, 2017

2016
Argument & Computation: Change and continuity.
Argument Comput., 2016

A method for explaining Bayesian networks for legal evidence with scenarios.
Artif. Intell. Law, 2016

Formalizing value-guided argumentation for ethical systems design.
Artif. Intell. Law, 2016

Arguments for Ethical Systems Design.
Proceedings of the Legal Knowledge and Information Systems, 2016

Correct Grounded Reasoning with Presumptive Arguments.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Making Sense of Illustrated Handwritten Archives.
Proceedings of the 11th Annual International Conference of the Alliance of Digital Humanities Organizations, 2016

2015
Representing the Quality of Crime Scenarios in a Bayesian Network.
Proceedings of the Legal Knowledge and Information Systems, 2015

Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract.
Proceedings of the Legal Knowledge and Information Systems, 2015

Explaining Legal Bayesian Networks Using Support Graphs.
Proceedings of the Legal Knowledge and Information Systems, 2015

Constructing and understanding Bayesian networks for legal evidence with scenario schemes.
Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation.
Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation.
Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

Explaining Bayesian Networks Using Argumentation.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

2014
ICAIL 2013: The Fourteenth International Conference on Artificial Intelligence and Law.
AI Mag., 2014

Building Bayesian networks for legal evidence with narratives: a case study evaluation.
Artif. Intell. Law, 2014

Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence.
Proceedings of the Legal Knowledge and Information Systems, 2014

Extracting Legal Arguments from Forensic Bayesian Networks.
Proceedings of the Legal Knowledge and Information Systems, 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), 2014

Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points.
Proceedings of the Computational Models of Argument, 2014

A Tool for the Generation of Arguments from Bayesian Networks.
Proceedings of the Computational Models of Argument, 2014

2013
Legal stories and the process of proof.
Artif. Intell. Law, 2013

How much does it help to know what she knows you know? An agent-based simulation study.
Artif. Intell., 2013

Higher-Order Theory of Mind in Negotiations under Incomplete Information.
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Unfolding Crime Scenarios with Variations: A Method for Building a Bayesian Network for Legal Narratives.
Proceedings of the Legal Knowledge and Information Systems, 2013

Modeling crime scenarios in a Bayesian network.
Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Agent-Based Models for Higher-Order Theory of Mind.
Proceedings of the Advances in Social Simulation, 2013

Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network.
Proceedings of the 2013 Workshop on Computational Models of Narrative, 2013

2012
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law.
Artif. Intell. Law, 2012

Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Higher-order social cognition in rock-paper-scissors: a simulation study.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
What Makes a Story Plausible? The Need for Precedents.
Proceedings of the Legal Knowledge and Information Systems, 2011

Legal shifts in the process of proof.
Proceedings of the 13th International Conference on Artificial Intelligence and Law, 2011

2010
A hybrid formal theory of arguments, stories and criminal evidence.
Artif. Intell. Law, 2010

Argumentation and rules with exceptions.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Story Schemes for Argumentation about the Facts of a Crime.
Proceedings of the Computational Models of Narrative, 2010

2009
How much logical structure is helpful in content-based argumentation software for legal case solving?
Proceedings of the 12th International Conference on Artificial Intelligence and Law, 2009

The Toulmin Argument Model in Artificial Intelligence.
Proceedings of the Argumentation in Artificial Intelligence, 2009

2008
About the logical relations between cases and rules.
Proceedings of the Legal Knowledge and Information Systems, 2008

2007
Beyond boxes and arrows: argumentation support in terms of the knowledge structure of a legal topic.
Proceedings of the Legal Knowledge and Information Systems, 2007

A Labeling Approach to the Computation of Credulous Acceptance in Argumentation.
Proceedings of the IJCAI 2007, 2007

Formalising argumentative story-based analysis of evidence.
Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

2006
Evaluating Arguments Based on Toulmin's Scheme.
Proceedings of the Arguing on the Toulmin Model, 2006

Introduction.
Proceedings of the Arguing on the Toulmin Model, 2006

Agents Adopting Agriculture: Modeling the Agricultural Transition.
Proceedings of the From Animals to Animats 9, 2006

2004
Decision Support for Practical Reasoning.
Proceedings of the Argumentation Machines, New Frontiers in Argument and Computation., 2004

Cases and Dialectical Arguments - An Approach to Case-Based Reasoning.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

2003
DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions.
J. Log. Comput., 2003

Book Review: The Dynamics of Judicial Proof. Computation, Logic, and Common Sense.
Artif. Intell. Law, 2003

Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic.
Artif. Intell. Law, 2003

Artificial argument assistants for defeasible argumentation.
Artif. Intell., 2003

2002
On the existence and multiplicity of extensions in dialectical argumentation.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

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

Legal decision making as dialectical theory construction with argumentation schemes.
Proceedings of the Eigths International Conference on Artificial Intelligence and Law, 2001

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

1999
Computer-Mediated Legal Argument: Towards new Opportunities in Education.
J. Inf. Law Technol., 1999

The law as a dynamic interconnected system of states of affairs: a legal top ontology.
Int. J. Hum. Comput. Stud., 1999

Automated argument assistance for lawyers.
Proceedings of the Seventh International Conference on Artificial Intelligence and Law, 1999

1998
An Integrated View on Rules and Principles.
Artif. Intell. Law, 1998

1997
Logical Tools for Legal Argument: A Practical Assessment in the Domain of Tort.
Proceedings of the Sixth International Conference on Artificial Intelligence and Law, 1997

1995
The Influence of Defeated Arguments in Defeasible Argumentation.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

Arguments and Defeat in Argument-Based Nonmonotonic Reasoning.
Proceedings of the Progress in Artificial Intelligence, 1995


  Loading...