Bart Verheij - RankMe

143 papers A* 4A 1B 4C 48Misc 2Journal 46Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	A Fortiori Case-Based Reasoning: From Theory to Data (Abstract Reprint). AAAI Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij
2025	—	`conf`	Autonomous Research Assistants for Hybrid Intelligence: Landscape and Challenges. AAAI Spring Symposia Giacomo Zamprogno, Ilaria Tiddi, Bart Verheij
2025	C	`conf`	Evaluating Methods for Scenario Reasoning using Bayesian Networks in Exhaustive and Non-Exhaustive Settings. ICAIL Ludi Simone van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij
2025	—	`conf`	Evaluating Novel Arguments in Case Models: Lessons from Belief Change and Abstract Argumentation for Case-based Reasoning. NMR Wachara Fungwacharakorn, Guilherme Paulino-Passos, Bart Verheij, Ken Satoh
2025	—	`conf`	Hybrid Reasoning with Evidence: Arguments, Scenarios, Probabilities (Keynote). ECSQARU (Workshops and Tutorials) Bart Verheij
2025	C	`conf`	On Compatibility between Situation Outcome Cases and Logical Cases. ICAIL Wachara Fungwacharakorn, Guilherme Paulino-Passos, Bart Verheij, Ken Satoh
2025	C	`conf`	Parameterized Argumentation-based Reasoning Tasks for Benchmarking Generative Language Models. ICAIL Cor Steging, Silja Renooij, Bart Verheij
2025	J	`jnl`	Parameterized Argumentation-based Reasoning Tasks for Benchmarking Generative Language Models. CoRR Cor Steging, Silja Renooij, Bart Verheij
2024	C	`conf`	A Case-Based-Reasoning Analysis of the COMPAS Dataset. JURIX Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij
2024	J	`jnl`	A Fortiori Case-Based Reasoning: From Theory to Data. J. Artif. Intell. Res. Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij
2024	—	`conf`	Building a Stronger Case: Combining Evidence and Law in Scenario-Based Bayesian Networks. HHAI Ludi van Leeuwen, Rineke Verbrugge, Bart Verheij, Silja Renooij
2023	J	`jnl`	Arguments, rules and cases in law: Resources for aligning learning and reasoning in structured domains. Argument Comput. Cor Steging, Silja Renooij, Bart Verheij, Trevor J. M. Bench-Capon
2023	—	`conf`	Constructing and Explaining Case Models: A Case-Based Argumentation Perspective. JSAI-isAI Workshops Wachara Fungwacharakorn, Ken Satoh, Bart Verheij
2023	—	`conf`	Design of Responsible Hybrid Intelligence (Preface). HHAI Workshops Ludi van Leeuwen, Cor Steging, Bart Verheij
2023	C	`conf`	Evaluating Methods for Setting a Prior Probability of Guilt. JURIX Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij
2023	A*	`conf`	Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. ICRA Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
2023	J	`jnl`	Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects. CoRR Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
2023	C	`conf`	Hierarchical Precedential Constraint. ICAIL Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij
2023	C	`conf`	Hierarchical a Fortiori Reasoning with Dimensions. JURIX Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij
2023	C	`conf`	Improving Rationales with Small, Inconsistent and Incomplete Data. JURIX Cor Steging, Silja Renooij, Bart Verheij
2023	B	`conf`	Presumptive Reasoning in a Paraconsistent Setting. TARK Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij
2023	—	`conf`	Taking the Law More Seriously by Investigating Design Choices in Machine Learning Prediction Research. ASAIL@ICAIL Cor Steging, Silja Renooij, Bart Verheij
2023	C	`conf`	Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios. ICAIL Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij
2022	—	`conf`	A Labeling Based Backtracking Solver for Abstract Argumentation. SAFA Lukas Kinder, Matthias Thimm, Bart Verheij
2022	J	`jnl`	Argumentation-Based Online Incremental Learning. IEEE Trans Autom. Sci. Eng. Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
2022	—	`conf`	Discovering the Rationale of Decisions. HHAI Cor Steging, Silja Renooij, Bart Verheij
2022	J	`jnl`	Higher-order theory of mind is especially useful in unpredictable negotiations. Auton. Agents Multi Agent Syst. Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2022	C	`conf`	How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? COMMA Atefeh Keshavarzi Zafarghandi, Wolfgang Dvorák, Rineke Verbrugge, Bart Verheij
2022	—	`conf`	Justification in Case-Based Reasoning. ArgXAI Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij
2022	—	`conf`	Landmarks in Case-Based Reasoning: From Theory to Data. HHAI Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij
2022	J	`jnl`	Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios. Robotics Auton. Syst. Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
2022	—	`conf`	Online Incremental Learning with Abstract Argumentation Frameworks. ArgML@COMMA Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
2022	—	`ed.`	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. XAILA@ICAIL Michal Araszkiewicz, Martin Atzmueller, Grzegorz J. Nalepa, Bart Verheij, Szymon Bobek
2022	J	`jnl`	Strong admissibility for abstract dialectical frameworks. Argument Comput. Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2022	J	`jnl`	Thirty years of Artificial Intelligence and Law: the first decade. Artif. Intell. Law Guido Governatori, Trevor J. M. Bench-Capon, Bart Verheij, Michal Araszkiewicz, Enrico Francesconi, Matthias Grabmair
2022	J	`jnl`	Towards an inclusive, responsible and sustainable open access model. Argument Comput. Pietro Baroni, Bart Verheij
2022	C	`conf`	Unpacking Arguments. JURIX Trevor J. M. Bench-Capon, Bart Verheij
2021	C	`conf`	Argue to Learn: Accelerated Argumentation-Based Learning. ICMLA Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
2021	—	`conf`	Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning. XAILA@ICAIL Cor Steging, Bart Verheij, Silja Renooij
2021	J	`jnl`	Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning. CoRR Cor Steging, Silja Renooij, Bart Verheij
2021	C	`conf`	Discovering the rationale of decisions: towards a method for aligning learning and reasoning. ICAIL Cor Steging, Silja Renooij, Bart Verheij
2021	C	`conf`	Hardness of case-based decisions: a formal theory. ICAIL Heng Zheng, Davide Grossi, Bart Verheij
2021	—	`ed.`	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. XAILA@JURIX Grzegorz J. Nalepa, Michal Araszkiewicz, Martin Atzmueller, Bart Verheij, Szymon Bobek
2021	C	`conf`	Rationale Discovery and Explainable AI. JURIX Cor Steging, Silja Renooij, Bart Verheij
2021	A*	`conf`	Semi-Stable Semantics for Abstract Dialectical Frameworks. KR Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2021	Misc	`conf`	Strong admissibility for abstract dialectical frameworks. SAC Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2020	C	`conf`	A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks. COMMA Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2020	J	`jnl`	A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence. Computer 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
2020	J	`jnl`	Analyzing the Simonshaven Case With and Without Probabilities. Top. Cogn. Sci. Bart Verheij
2020	J	`jnl`	Artificial intelligence as law. Artif. Intell. Law Bart Verheij
2020	C	`conf`	Case-Based Reasoning with Precedent Models: Preliminary Report. COMMA Heng Zheng, Davide Grossi, Bart Verheij
2020	J	`jnl`	Evidence & decision making in the law: theoretical, computational and empirical approaches. Artif. Intell. Law Marcello Di Bello, Bart Verheij
2020	J	`jnl`	In memoriam Douglas N. Walton: the influence of Doug Walton on AI and law. Artif. Intell. Law Katie Atkinson, Trevor J. M. Bench-Capon, Floris Bex, Thomas F. Gordon, Henry Prakken, Giovanni Sartor, Bart Verheij
2020	J	`jnl`	Local-HDP: Interactive Open-Ended 3D Object Categorization. CoRR Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij
2020	—	`conf`	Logical Comparison of Cases. AICOL Heng Zheng, Davide Grossi, Bart Verheij
2020	J	`jnl`	On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later. Argument Comput. Pietro Baroni, Francesca Toni, Bart Verheij
2020	C	`conf`	Precedent Comparison in the Precedent Model Formalism: A Technical Note. JURIX Heng Zheng, Davide Grossi, Bart Verheij
2020	—	`conf`	Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases. XAILA@JURIX Heng Zheng, Davide Grossi, Bart Verheij
2020	J	`jnl`	Strong Admissibility for Abstract Dialectical Frameworks. CoRR Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2019	C	`conf`	A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning. JURIX Ludi van Leeuwen, Bart Verheij
2019	J	`jnl`	Argument & Computation Community Resources (ACCR) corner. Argument Comput. Pietro Baroni, Bart Verheij
2019	C	`conf`	Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. ECSQARU Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij
2019	J	`jnl`	Douglas Walton (1942-2020). Argument Comput. Pietro Baroni, Bart Verheij
2019	—	`conf`	Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks. ISIPTA Atefeh Keshavarzi Zafarghandi, Bart Verheij, Rineke Verbrugge
2019	—	`conf`	Handling Unforeseen Failures Using Argumentation-Based Learning. BNAIC/BENELEARN Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
2019	—	`conf`	Handling Unforeseen Failures Using Argumentation-Based Learning. CASE Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij
2019	—	`conf`	The XAI paradox: Systems that Perform Well for the Wrong Reasons. BNAIC/BENELEARN Cor Steging, Lambert Schomaker, Bart Verheij
2018	—	`ed.`	Artificial Intelligence - 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8-9, 2017, Revised Selected Papers BNAIC Bart Verheij, Marco A. Wiering
2018	C	`conf`	Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach. JURIX Heng Zheng, Minghui Xiong, Bart Verheij
2018	—	`conf`	Good AI and Law. XAILA@JURIX Bart Verheij
2018	J	`jnl`	Research in progress: report on the ICAIL 2017 doctoral consortium. Artif. Intell. Law Maria Dymitruk, Réka Markovich, Ruta Liepina, Mirna El Ghosh, Robert van Doesburg, Guido Governatori, Bart Verheij
2017	J	`jnl`	A two-phase method for extracting explanatory arguments from Bayesian networks. Int. J. Approx. Reason. Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2017	J	`jnl`	Argumentation Theory in Formal and Computational Perspective. FLAP Frans H. van Eemeren, Bart Verheij
2017	C	`conf`	Formalizing arguments, rules and cases. ICAIL Bart Verheij
2017	J	`jnl`	Introduction to the special issue on Artificial Intelligence for Justice (AI4J). Artif. Intell. Law Floris Bex, Henry Prakken, Tom M. van Engers, Bart Verheij
2017	J	`jnl`	Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information. Auton. Agents Multi Agent Syst. Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2017	J	`jnl`	Proof with and without probabilities - Correct evidential reasoning with presumptive arguments, coherent hypotheses and degrees of uncertainty. Artif. Intell. Law Bart Verheij
2016	J	`jnl`	A method for explaining Bayesian networks for legal evidence with scenarios. Artif. Intell. Law Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
2016	J	`jnl`	Argument & Computation: Change and continuity. Argument Comput. Pietro Baroni, Bart Verheij
2016	C	`conf`	Arguments for Ethical Systems Design. JURIX Bart Verheij
2016	B	`conf`	Correct Grounded Reasoning with Presumptive Arguments. JELIA Bart Verheij
2016	J	`jnl`	Formalizing value-guided argumentation for ethical systems design. Artif. Intell. Law Bart Verheij
2016	—	`conf`	Making Sense of Illustrated Handwritten Archives. DH 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
2015	C	`conf`	A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2015	C	`conf`	Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. JURIX Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2015	C	`conf`	Constructing and understanding Bayesian networks for legal evidence with scenario schemes. ICAIL Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
2015	C	`conf`	Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2015	C	`conf`	Explaining Bayesian Networks Using Argumentation. ECSQARU Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2015	C	`conf`	Explaining Legal Bayesian Networks Using Support Graphs. JURIX Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2015	C	`conf`	Representing the Quality of Crime Scenarios in a Bayesian Network. JURIX Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
2014	C	`conf`	A Tool for the Generation of Arguments from Bayesian Networks. COMMA Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2014	C	`conf`	Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points. COMMA Bart Verheij
2014	J	`jnl`	Building Bayesian networks for legal evidence with narratives: a case study evaluation. Artif. Intell. Law Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
2014	C	`conf`	Extracting Legal Arguments from Forensic Bayesian Networks. JURIX Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij
2014	C	`conf`	Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence. JURIX Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
2014	—	`book`	Handbook of Argumentation Theory. Frans H. van Eemeren, Bart Garssen, Erik C. W. Krabbe, A. Francisca Snoeck Henkemans, Bart Verheij, Jean H. M. Wagemans
2014	J	`jnl`	ICAIL 2013: The Fourteenth International Conference on Artificial Intelligence and Law. AI Mag. Bart Verheij, Enrico Francesconi, Anne Gardner
2014	—	`conf`	Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning. ECSI Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2013	—	`conf`	Agent-Based Models for Higher-Order Theory of Mind. ESSA Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2013	B	`conf`	Higher-Order Theory of Mind in Negotiations under Incomplete Information. PRIMA Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2013	J	`jnl`	How much does it help to know what she knows you know? An agent-based simulation study. Artif. Intell. Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2013	C	`ed.`	International Conference on Artificial Intelligence and Law, ICAIL '13, Rome, Italy, June 10-14, 2013 ICAIL Enrico Francesconi, Bart Verheij
2013	J	`jnl`	Legal stories and the process of proof. Artif. Intell. Law Floris Bex, Bart Verheij
2013	C	`conf`	Modeling crime scenarios in a Bayesian network. ICAIL Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
2013	—	`conf`	Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network. CMN Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
2013	C	`conf`	Unfolding Crime Scenarios with Variations: A Method for Building a Bayesian Network for Legal Narratives. JURIX Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij
2012	J	`jnl`	A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. Artif. Intell. 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, 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
2012	C	`ed.`	Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012 COMMA Bart Verheij, Stefan Szeider, Stefan Woltran
2012	A	`conf`	Higher-order social cognition in rock-paper-scissors: a simulation study. AAMAS Harmen de Weerd, Rineke Verbrugge, Bart Verheij
2012	B	`conf`	Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. JELIA Bart Verheij
2011	C	`conf`	Legal shifts in the process of proof. ICAIL Floris Bex, Bart Verheij
2011	C	`conf`	What Makes a Story Plausible? The Need for Precedents. JURIX Floris Bex, Trevor J. M. Bench-Capon, Bart Verheij
2010	J	`jnl`	A hybrid formal theory of arguments, stories and criminal evidence. Artif. Intell. Law Floris J. Bex, Peter J. van Koppen, Henry Prakken, Bart Verheij
2010	C	`conf`	Argumentation and rules with exceptions. COMMA Bart Verheij
2010	—	`conf`	Story Schemes for Argumentation about the Facts of a Crime. AAAI Fall Symposium: Computational Models of Narrative Floris Jurriaan Bex, Bart Verheij
2009	C	`conf`	How much logical structure is helpful in content-based argumentation software for legal case solving? ICAIL Stijn Colen, Fokie Cnossen, Bart Verheij
2009	—	`ch.`	The Toulmin Argument Model in Artificial Intelligence. Argumentation in Artificial Intelligence Bart Verheij
2008	C	`conf`	About the logical relations between cases and rules. JURIX Bart Verheij
2007	A*	`conf`	A Labeling Approach to the Computation of Credulous Acceptance in Argumentation. IJCAI Bart Verheij
2007	C	`conf`	Beyond boxes and arrows: argumentation support in terms of the knowledge structure of a legal topic. JURIX Maaike Schweers, Bart Verheij
2007	C	`conf`	Formalising argumentative story-based analysis of evidence. ICAIL Floris J. Bex, Henry Prakken, Bart Verheij
2006	—	`conf`	Agents Adopting Agriculture: Modeling the Agricultural Transition. SAB Elske van der Vaart, Bart de Boer, Albert Hankel, Bart Verheij
2006	—	`book`	Arguing on the Toulmin Model Arguing on the Toulmin Model David Hitchcock, Bart Verheij
2006	—	`ch.`	Evaluating Arguments Based on Toulmin's Scheme. Arguing on the Toulmin Model Bart Verheij
2006	—	`ch.`	Introduction. Arguing on the Toulmin Model David Hitchcock, Bart Verheij
2004	—	`conf`	Cases and Dialectical Arguments - An Approach to Case-Based Reasoning. OTM Workshops Bram Roth, Bart Verheij
2004	—	`ch.`	Decision Support for Practical Reasoning. Argumentation Machines Roderic A. Girle, David Hitchcock, Peter McBurney, Bart Verheij
2003	J	`jnl`	Artificial argument assistants for defeasible argumentation. Artif. Intell. Bart Verheij
2003	J	`jnl`	Book Review: The Dynamics of Judicial Proof. Computation, Logic, and Common Sense. Artif. Intell. Law Bart Verheij
2003	J	`jnl`	DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions. J. Log. Comput. Bart Verheij
2003	J	`jnl`	Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic. Artif. Intell. Law Bart Verheij
2002	J	`jnl`	On the existence and multiplicity of extensions in dialectical argumentation CoRR Bart Verheij
2002	—	`conf`	On the existence and multiplicity of extensions in dialectical argumentation. NMR Bart Verheij
2001	J	`jnl`	Douglas Walton, The New Dialectic, Conversational Contexts of Argument, Toronto: University of Toronto Press (Review). Artif. Intell. Law Bart Verheij
2001	C	`conf`	Legal decision making as dialectical theory construction with argumentation schemes. ICAIL Bart Verheij
2000	J	`jnl`	Henry Prakken (1997). Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law. Artif. Intell. Law Bart Verheij
1999	C	`conf`	Automated argument assistance for lawyers. ICAIL Bart Verheij
1999	J	`jnl`	Computer-Mediated Legal Argument: Towards new Opportunities in Education. J. Inf. Law Technol. Arno R. Lodder, Bart Verheij
1999	J	`jnl`	The law as a dynamic interconnected system of states of affairs: a legal top ontology. Int. J. Hum. Comput. Stud. Jaap Hage, Bart Verheij
1998	J	`jnl`	An Integrated View on Rules and Principles. Artif. Intell. Law Bart Verheij, Jaap Hage, H. Jaap van den Herik
1997	C	`conf`	Logical Tools for Legal Argument: A Practical Assessment in the Domain of Tort. ICAIL Bart Verheij, Jaap Hage, Arno R. Lodder
1995	Misc	`conf`	Arguments and Defeat in Argument-Based Nonmonotonic Reasoning. EPIA Bart Verheij
1995	—	`conf`	The Influence of Defeated Arguments in Defeasible Argumentation. WOCFAI Bart Verheij