![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Bart Verheij
Person information
- affiliation: University of Groningen, The Netherlands
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c78]Ludi van Leeuwen
, Rineke Verbrugge, Bart Verheij
, Silja Renooij
:
Building a Stronger Case: Combining Evidence and Law in Scenario-Based Bayesian Networks. HHAI 2024: 291-299 - 2023
- [j39]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): 235-243 (2023) - [c77]Ludi van Leeuwen, Cor Steging, Bart Verheij:
Design of Responsible Hybrid Intelligence (Preface). HHAI Workshops 2023: 71-73 - [c76]Cor Steging, Silja Renooij, Bart Verheij:
Taking the Law More Seriously by Investigating Design Choices in Machine Learning Prediction Research. ASAIL@ICAIL 2023: 49-59 - [c75]Ludi van Leeuwen
, Bart Verheij
, Rineke Verbrugge
, Silja Renooij
:
Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios. ICAIL 2023: 323-332 - [c74]Wijnand van Woerkom
, Davide Grossi
, Henry Prakken
, Bart Verheij
:
Hierarchical Precedential Constraint. ICAIL 2023: 333-342 - [c73]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: 4960-4966 - [c72]Wachara Fungwacharakorn
, Ken Satoh
, Bart Verheij
:
Constructing and Explaining Case Models: A Case-Based Argumentation Perspective. JSAI-isAI Workshops 2023: 100-114 - [c71]Wijnand van Woerkom, Davide Grossi
, Henry Prakken, Bart Verheij
:
Hierarchical a Fortiori Reasoning with Dimensions. JURIX 2023: 43-52 - [c70]Cor Steging, Silja Renooij
, Bart Verheij
:
Improving Rationales with Small, Inconsistent and Incomplete Data. JURIX 2023: 53-62 - [c69]Ludi van Leeuwen
, Bart Verheij
, Rineke Verbrugge, Silja Renooij
:
Evaluating Methods for Setting a Prior Probability of Guilt. JURIX 2023: 63-72 - [c68]Sabine Frittella, Daniil Kozhemiachenko
, Bart Verheij:
Presumptive Reasoning in a Paraconsistent Setting. TARK 2023: 233-244 - [i5]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 abs/2301.07037 (2023) - 2022
- [j38]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): 30 (2022) - [j37]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): 481-519 (2022) - [j36]Pietro Baroni, Bart Verheij
:
Towards an inclusive, responsible and sustainable open access model. Argument Comput. 13(1): 1-2 (2022) - [j35]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
:
Strong admissibility for abstract dialectical frameworks. Argument Comput. 13(3): 249-289 (2022) - [j34]Hamed Ayoobi
, S. 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: 103911 (2022) - [j33]Hamed Ayoobi
, Ming Cao
, Rineke Verbrugge
, Bart Verheij
:
Argumentation-Based Online Incremental Learning. IEEE Trans Autom. Sci. Eng. 19(4): 3419-3433 (2022) - [c67]Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij:
Online Incremental Learning with Abstract Argumentation Frameworks. ArgML@COMMA 2022: 65-80 - [c66]Lukas Kinder, Matthias Thimm, Bart Verheij:
A Labeling Based Backtracking Solver for Abstract Argumentation. SAFA@COMMA 2022: 111-123 - [c65]Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij:
Justification in Case-Based Reasoning. ArgXAI@COMMA 2022 - [c64]Atefeh Keshavarzi Zafarghandi, Wolfgang Dvorák, Rineke Verbrugge, Bart Verheij
:
How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? COMMA 2022: 200-211 - [c63]Wijnand van Woerkom, Davide Grossi
, Henry Prakken, Bart Verheij
:
Landmarks in Case-Based Reasoning: From Theory to Data. HHAI 2022: 212-224 - [c62]Cor Steging, Silja Renooij
, Bart Verheij
:
Discovering the Rationale of Decisions. HHAI 2022: 255-257 - [c61]Trevor J. M. Bench-Capon
, Bart Verheij
:
Unpacking Arguments. JURIX 2022: 145-150 - [e7]Michal Araszkiewicz, Martin Atzmueller, Grzegorz J. Nalepa, Bart Verheij, Szymon Bobek:
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), Virtual Event, Sao Paolo, Brazil, June 21, 2021. CEUR Workshop Proceedings 3168, CEUR-WS.org 2022 [contents] - 2021
- [c60]Cor Steging, Silja Renooij
, Bart Verheij
:
Discovering the rationale of decisions: towards a method for aligning learning and reasoning. ICAIL 2021: 235-239 - [c59]Cor Steging, Bart Verheij, Silja Renooij:
Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning. XAILA@ICAIL 2021 - [c58]Heng Zheng
, Davide Grossi
, Bart Verheij
:
Hardness of case-based decisions: a formal theory. ICAIL 2021: 149-158 - [c57]Hamed Ayoobi
, Ming Cao
, Rineke Verbrugge, Bart Verheij
:
Argue to Learn: Accelerated Argumentation-Based Learning. ICMLA 2021: 1118-1123 - [c56]Cor Steging, Silja Renooij
, Bart Verheij
:
Rationale Discovery and Explainable AI. JURIX 2021: 225-234 - [c55]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
:
Semi-Stable Semantics for Abstract Dialectical Frameworks. KR 2021: 422-431 - [c54]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
:
Strong admissibility for abstract dialectical frameworks. SAC 2021: 873-880 - [e6]Grzegorz J. Nalepa, Michal Araszkiewicz, Martin Atzmueller, Bart Verheij, Szymon Bobek:
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), Prague, Czech Republic, December 9th, 2020. CEUR Workshop Proceedings 2891, CEUR-WS.org 2021 [contents] - [i4]Cor Steging, Silja Renooij, Bart Verheij:
Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning. CoRR abs/2105.06758 (2021) - 2020
- [j32]Marcello Di Bello, Bart Verheij
:
Evidence & decision making in the law: theoretical, computational and empirical approaches. Artif. Intell. Law 28(1): 1-5 (2020) - [j31]Bart Verheij
:
Artificial intelligence as law. Artif. Intell. Law 28(2): 181-206 (2020) - [j30]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): 281-326 (2020) - [j29]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): 1-14 (2020) - [j28]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): 18-28 (2020) - [j27]Bart Verheij
:
Analyzing the Simonshaven Case With and Without Probabilities. Top. Cogn. Sci. 12(4): 1175-1199 (2020) - [c53]Heng Zheng
, Davide Grossi
, Bart Verheij
:
Logical Comparison of Cases. AICOL 2020: 125-140 - [c52]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
:
A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks. COMMA 2020: 431-442 - [c51]Heng Zheng
, Davide Grossi
, Bart Verheij
:
Case-Based Reasoning with Precedent Models: Preliminary Report. COMMA 2020: 443-450 - [c50]Heng Zheng
, Davide Grossi
, Bart Verheij
:
Precedent Comparison in the Precedent Model Formalism: A Technical Note. JURIX 2020: 259-262 - [c49]Heng Zheng, Davide Grossi, Bart Verheij:
Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases. XAILA@JURIX 2020 - [i3]Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij:
Local-HDP: Interactive Open-Ended 3D Object Categorization. CoRR abs/2009.01152 (2020) - [i2]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
:
Strong Admissibility for Abstract Dialectical Frameworks. CoRR abs/2012.05997 (2020)
2010 – 2019
- 2019
- [j26]Pietro Baroni, Bart Verheij
:
Argument & Computation Community Resources (ACCR) corner. Argument Comput. 10(2): 105 (2019) - [j25]Pietro Baroni, Bart Verheij
:
Douglas Walton (1942-2020). Argument Comput. 10(3): 231 (2019) - [c48]Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij:
Handling Unforeseen Failures Using Argumentation-Based Learning. BNAIC/BENELEARN 2019 - [c47]Cor Steging, Lambert Schomaker, Bart Verheij:
The XAI paradox: Systems that Perform Well for the Wrong Reasons. BNAIC/BENELEARN 2019 - [c46]Hamed Ayoobi
, Ming Cao
, Rineke Verbrugge, Bart Verheij
:
Handling Unforeseen Failures Using Argumentation-Based Learning. CASE 2019: 1699-1704 - [c45]Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
:
Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. ECSQARU 2019: 62-73 - [c44]Atefeh Keshavarzi Zafarghandi, Bart Verheij, Rineke Verbrugge:
Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks. ISIPTA 2019: 246-255 - [c43]Ludi van Leeuwen, Bart Verheij
:
A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning. JURIX 2019: 53-62 - 2018
- [j24]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): 49-97 (2018) - [c42]Bart Verheij:
Good AI and Law. XAILA@JURIX 2018: 1 - [c41]Heng Zheng
, Minghui Xiong, Bart Verheij
:
Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach. JURIX 2018: 220-224 - [e5]Bart Verheij
, Marco A. Wiering
:
Artificial Intelligence - 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8-9, 2017, Revised Selected Papers. Communications in Computer and Information Science 823, Springer 2018, ISBN 978-3-319-76891-5 [contents] - 2017
- [j23]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): 250-287 (2017) - [j22]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): 1-3 (2017) - [j21]Bart Verheij
:
Proof with and without probabilities - Correct evidential reasoning with presumptive arguments, coherent hypotheses and degrees of uncertainty. Artif. Intell. Law 25(1): 127-154 (2017) - [j20]Frans H. van Eemeren, Bart Verheij:
Argumentation Theory in Formal and Computational Perspective. FLAP 4(8) (2017) - [j19]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: 475-494 (2017) - [c40]Bart Verheij
:
Formalizing arguments, rules and cases. ICAIL 2017: 199-208 - 2016
- [j18]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): 285-324 (2016) - [j17]Bart Verheij
:
Formalizing value-guided argumentation for ethical systems design. Artif. Intell. Law 24(4): 387-407 (2016) - [j16]Pietro Baroni, Bart Verheij
:
Argument & Computation: Change and continuity. Argument Comput. 7(1): 1-2 (2016) - [c39]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: 674-676 - [c38]Bart Verheij
:
Correct Grounded Reasoning with Presumptive Arguments. JELIA 2016: 481-496 - [c37]Bart Verheij
:
Arguments for Ethical Systems Design. JURIX 2016: 101-110 - 2015
- [c36]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij
:
Explaining Bayesian Networks Using Argumentation. ECSQARU 2015: 83-92 - [c35]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: 109-118 - [c34]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij
:
Constructing and understanding Bayesian networks for legal evidence with scenario schemes. ICAIL 2015: 128-137 - [c33]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: 233-234 - [c32]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij:
Explaining Legal Bayesian Networks Using Support Graphs. JURIX 2015: 121-130 - [c31]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij:
Representing the Quality of Crime Scenarios in a Bayesian Network. JURIX 2015: 131-140 - [c30]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij:
Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. JURIX 2015: 173-176 - 2014
- [j15]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): 375-421 (2014) - [j14]Bart Verheij, Enrico Francesconi, Anne Gardner:
ICAIL 2013: The Fourteenth International Conference on Artificial Intelligence and Law. AI Mag. 35(2): 81-82 (2014) - [c29]Bart Verheij:
Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points. COMMA 2014: 433-444 - [c28]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: 479-480 - [c27]Harmen de Weerd, Rineke Verbrugge, Bart Verheij:
Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning. ECSI 2014: 128-136 - [c26]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij
, Bart Verheij:
Extracting Legal Arguments from Forensic Bayesian Networks. JURIX 2014: 71-80 - [c25]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij:
Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence. JURIX 2014: 103-112 - [e4]Frans H. van Eemeren, Bart Garssen, Erik C. W. Krabbe, A. Francisca Snoeck Henkemans, Bart Verheij
, Jean H. M. Wagemans
:
Handbook of Argumentation Theory. Springer 2014, ISBN 978-90-481-9472-8 - 2013
- [j13]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. 199-200: 67-92 (2013) - [j12]Floris Bex, Bart Verheij:
Legal stories and the process of proof. Artif. Intell. Law 21(3): 253-278 (2013) - [c24]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij:
Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network. CMN 2013: 315-332 - [c23]Harmen de Weerd
, Rineke Verbrugge, Bart Verheij
:
Agent-Based Models for Higher-Order Theory of Mind. ESSA 2013: 213-224 - [c22]Charlotte S. Vlek, Henry Prakken, Silja Renooij
, Bart Verheij:
Modeling crime scenarios in a Bayesian network. ICAIL 2013: 150-159 - [c21]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: 145-154 - [c20]Harmen de Weerd
, Rineke Verbrugge, Bart Verheij
:
Higher-Order Theory of Mind in Negotiations under Incomplete Information. PRIMA 2013: 101-116 - [e3]Enrico Francesconi, Bart Verheij:
International Conference on Artificial Intelligence and Law, ICAIL '13, Rome, Italy, June 10-14, 2013. ACM 2013, ISBN 978-1-4503-2080-1 [contents] - 2012
- [j11]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): 215-319 (2012) - [c19]Harmen de Weerd, Rineke Verbrugge, Bart Verheij:
Higher-order social cognition in rock-paper-scissors: a simulation study. AAMAS 2012: 1195-1196 - [c18]Bart Verheij:
Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. JELIA 2012: 411-423 - [e2]Bart Verheij, Stefan Szeider, Stefan Woltran:
Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012. Frontiers in Artificial Intelligence and Applications 245, IOS Press 2012, ISBN 978-1-61499-110-6 [contents] - 2011
- [c17]Floris Bex, Bart Verheij:
Legal shifts in the process of proof. ICAIL 2011: 11-20 - [c16]Floris Bex, Trevor J. M. Bench-Capon
, Bart Verheij
:
What Makes a Story Plausible? The Need for Precedents. JURIX 2011: 23-32 - 2010
- [j10]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): 123-152 (2010) - [c15]Floris Jurriaan Bex, Bart Verheij:
Story Schemes for Argumentation about the Facts of a Crime. AAAI Fall Symposium: Computational Models of Narrative 2010 - [c14]Bart Verheij
:
Argumentation and rules with exceptions. COMMA 2010: 455-462
2000 – 2009
- 2009
- [c13]Stijn Colen, Fokie Cnossen
, Bart Verheij:
How much logical structure is helpful in content-based argumentation software for legal case solving? ICAIL 2009: 224-225 - [p4]Bart Verheij:
The Toulmin Argument Model in Artificial Intelligence. Argumentation in Artificial Intelligence 2009: 219-238 - 2008
- [c12]Bart Verheij
:
About the logical relations between cases and rules. JURIX 2008: 21-32 - 2007
- [c11]Floris J. Bex, Henry Prakken, Bart Verheij:
Formalising argumentative story-based analysis of evidence. ICAIL 2007: 1-10 - [c10]Bart Verheij:
A Labeling Approach to the Computation of Credulous Acceptance in Argumentation. IJCAI 2007: 623-628 - [c9]Maaike Schweers, Bart Verheij:
Beyond boxes and arrows: argumentation support in terms of the knowledge structure of a legal topic. JURIX 2007: 109-118 - 2006
- [c8]Elske van der Vaart, Bart de Boer, Albert Hankel, Bart Verheij:
Agents Adopting Agriculture: Modeling the Agricultural Transition. SAB 2006: 750-761 - [p3]David Hitchcock
, Bart Verheij
:
Introduction. Arguing on the Toulmin Model 2006: 1-23 - [p2]Bart Verheij:
Evaluating Arguments Based on Toulmin's Scheme. Arguing on the Toulmin Model 2006: 181-202 - [e1]David Hitchcock
, Bart Verheij:
Arguing on the Toulmin Model. Argumentation Library 10, Springer 2006, ISBN 978-1-4020-4937-8 [contents] - 2004
- [c7]Bram Roth, Bart Verheij:
Cases and Dialectical Arguments - An Approach to Case-Based Reasoning. OTM Workshops 2004: 634-651 - [p1]Roderic A. Girle, David Hitchcock
, Peter McBurney, Bart Verheij:
Decision Support for Practical Reasoning. Argumentation Machines 2004: 55-83 - 2003
- [j9]Bart Verheij
:
Artificial argument assistants for defeasible argumentation. Artif. Intell. 150(1-2): 291-324 (2003) - [j8]Bart Verheij
:
Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic. Artif. Intell. Law 11(2-3): 167-195 (2003) - [j7]Bart Verheij:
Book Review: The Dynamics of Judicial Proof. Computation, Logic, and Common Sense. Artif. Intell. Law 11(4): 299-303 (2003) - [j6]Bart Verheij
:
DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions. J. Log. Comput. 13(3): 319-346 (2003) - 2002
- [c6]Bart Verheij:
On the existence and multiplicity of extensions in dialectical argumentation. NMR 2002: 416-425 - [i1]Bart Verheij:
On the existence and multiplicity of extensions in dialectical argumentation. CoRR cs.AI/0207067 (2002) - 2001
- [j5]Bart Verheij:
Douglas Walton, The New Dialectic, Conversational Contexts of Argument, Toronto: University of Toronto Press (Review). Artif. Intell. Law 9(4): 305-313 (2001) - [c5]Bart Verheij
:
Legal decision making as dialectical theory construction with argumentation schemes. ICAIL 2001: 225-226 - 2000
- [j4]Bart Verheij:
Henry Prakken (1997). Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law. Artif. Intell. Law 8(1): 35-65 (2000)
1990 – 1999
- 1999
- [j3]Jaap Hage, Bart Verheij:
The law as a dynamic interconnected system of states of affairs: a legal top ontology. Int. J. Hum. Comput. Stud. 51(6): 1043-1077 (1999) - [j2]Arno R. Lodder, Bart Verheij:
Computer-Mediated Legal Argument: Towards new Opportunities in Education. J. Inf. Law Technol. 1999(2) (1999) - [c4]Bart Verheij:
Automated argument assistance for lawyers. ICAIL 1999: 43-52 - 1998
- [j1]Bart Verheij, Jaap Hage, H. Jaap van den Herik:
An Integrated View on Rules and Principles. Artif. Intell. Law 6(1): 3-26 (1998) - 1997
- [c3]Bart Verheij, Jaap Hage, Arno R. Lodder:
Logical Tools for Legal Argument: A Practical Assessment in the Domain of Tort. ICAIL 1997: 243-249 - 1995
- [c2]Bart Verheij:
Arguments and Defeat in Argument-Based Nonmonotonic Reasoning. EPIA 1995: 213-224 - [c1]Bart Verheij:
The Influence of Defeated Arguments in Defeasible Argumentation. WOCFAI 1995: 429-440
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint