Bart Verheij
Orcid: 0000-0001-8927-8751Affiliations:
- University of Groningen, The Netherlands
According to our database1,
Bart Verheij
authored at least 118 papers
between 1995 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
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
Proceedings of the Legal Knowledge and Information Systems, 2023
Proceedings of the Legal Knowledge and Information Systems, 2023
Proceedings of the Legal Knowledge and Information Systems, 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
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
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023
Proceedings of the Workshops at the Second International Conference on Hybrid Human-Artificial Intelligence co-located with (HHAI 2023), 2023
2022
Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios.
Robotics Auton. Syst., 2022
Argument Comput., 2022
Artif. Intell. Law, 2022
Auton. Agents Multi Agent Syst., 2022
Proceedings of the Legal Knowledge and Information Systems, 2022
Proceedings of the HHAI 2022: Augmenting Human Intellect, 2022
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
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
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
Proceedings of the 1st Workshop on Argumentation & Machine Learning co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022
2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the Legal Knowledge and Information Systems, 2021
Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021
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
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
Evidence & decision making in the law: theoretical, computational and empirical approaches.
Artif. Intell. Law, 2020
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
Proceedings of the Legal Knowledge and Information Systems, 2020
Proceedings of the Computational Models of Argument, 2020
Proceedings of the Computational Models of Argument, 2020
Proceedings of the AI Approaches to the Complexity of Legal Systems XI-XII, 2020
2019
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
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019
Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019
2018
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
Proceedings of the EXplainable AI in Law Workshop co-located with the 31st International Conference on Legal Knowledge and Information Systems, 2018
2017
Int. J. Approx. Reason., 2017
Proof with and without probabilities - Correct evidential reasoning with presumptive arguments, coherent hypotheses and degrees of uncertainty.
Artif. Intell. Law, 2017
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
Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, 2017
2016
Artif. Intell. Law, 2016
Artif. Intell. Law, 2016
Proceedings of the Legal Knowledge and Information Systems, 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
Proceedings of the 11th Annual International Conference of the Alliance of Digital Humanities Organizations, 2016
2015
Proceedings of the Legal Knowledge and Information Systems, 2015
Proceedings of the Legal Knowledge and Information Systems, 2015
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
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
Proceedings of the Legal Knowledge and Information Systems, 2014
Proceedings of the Legal Knowledge and Information Systems, 2014
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
Proceedings of the Computational Models of Argument, 2014
2013
How much does it help to know what she knows you know? An agent-based simulation study.
Artif. Intell., 2013
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
Proceedings of the International Conference on Artificial Intelligence and Law, 2013
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
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Proceedings of the Legal Knowledge and Information Systems, 2011
Proceedings of the 13th International Conference on Artificial Intelligence and Law, 2011
2010
Artif. Intell. Law, 2010
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010
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
Proceedings of the Argumentation in Artificial Intelligence, 2009
2008
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
Proceedings of the IJCAI 2007, 2007
Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007
2006
Proceedings of the Arguing on the Toulmin Model, 2006
Proceedings of the From Animals to Animats 9, 2006
2004
Proceedings of the Argumentation Machines, New Frontiers in Argument and Computation., 2004
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004
2003
J. Log. Comput., 2003
Artif. Intell. Law, 2003
Artif. Intell. Law, 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
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
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
Proceedings of the Seventh International Conference on Artificial Intelligence and Law, 1999
1998
1997
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
Proceedings of the Progress in Artificial Intelligence, 1995