dblp: Bart Verheij
https://dblp.org/pid/99/3259.html
dblp person page RSS feedWed, 16 Oct 2024 20:34:41 +0200en-USdaily1released under the CC0 1.0 licensedblp@dagstuhl.de (dblp team)dblp@dagstuhl.de (dblp team)Computers/Computer_Science/Publications/Bibliographieshttp://www.rssboard.org/rss-specificationhttps://dblp.org/img/logo.144x51.pngdblp: Bart Verheijhttps://dblp.org/pid/99/3259.html14451Building a Stronger Case: Combining Evidence and Law in Scenario-Based Bayesian Networks.https://doi.org/10.3233/FAIA240202Ludi van Leeuwen, Rineke Verbrugge, Bart Verheij, Silja Renooij: Building a Stronger Case: Combining Evidence and Law in Scenario-Based Bayesian Networks.HHAI2024: 291-299]]>https://dblp.org/rec/conf/hhai/LeeuwenVVR24Mon, 01 Jan 2024 00:00:00 +0100Arguments, rules and cases in law: Resources for aligning learning and reasoning in structured domains.https://doi.org/10.3233/AAC-220017Cor 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)]]>https://dblp.org/rec/journals/argcom/StegingRVB23Sun, 01 Jan 2023 00:00:00 +0100Design of Responsible Hybrid Intelligence (Preface).https://ceur-ws.org/Vol-3456/preface2.pdfLudi van Leeuwen, Cor Steging, Bart Verheij: Design of Responsible Hybrid Intelligence (Preface).HHAI Workshops2023: 71-73]]>https://dblp.org/rec/conf/hhai/LeeuwenSV23Sun, 01 Jan 2023 00:00:00 +0100Taking the Law More Seriously by Investigating Design Choices in Machine Learning Prediction Research.https://ceur-ws.org/Vol-3441/paper6.pdfCor Steging, Silja Renooij, Bart Verheij: Taking the Law More Seriously by Investigating Design Choices in Machine Learning Prediction Research.ASAIL@ICAIL2023: 49-59]]>https://dblp.org/rec/conf/icail/StegingRV23Sun, 01 Jan 2023 00:00:00 +0100Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios.https://doi.org/10.1145/3594536.3595125Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij: Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios.ICAIL2023: 323-332]]>https://dblp.org/rec/conf/icail/LeeuwenVVR23Sun, 01 Jan 2023 00:00:00 +0100Hierarchical Precedential Constraint.https://doi.org/10.1145/3594536.3595154Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij: Hierarchical Precedential Constraint.ICAIL2023: 333-342]]>https://dblp.org/rec/conf/icail/WoerkomGPV23Sun, 01 Jan 2023 00:00:00 +0100Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects.https://doi.org/10.1109/ICRA48891.2023.10160927Hamed Ayoobi, Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij: Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects.ICRA2023: 4960-4966]]>https://dblp.org/rec/conf/icra/AyoobiKCVV23Sun, 01 Jan 2023 00:00:00 +0100Constructing and Explaining Case Models: A Case-Based Argumentation Perspective.https://doi.org/10.1007/978-3-031-60511-6_7Wachara Fungwacharakorn, Ken Satoh, Bart Verheij: Constructing and Explaining Case Models: A Case-Based Argumentation Perspective.JSAI-isAI Workshops2023: 100-114]]>https://dblp.org/rec/conf/jsai/FungwacharakornSV23Sun, 01 Jan 2023 00:00:00 +0100Hierarchical a Fortiori Reasoning with Dimensions.https://doi.org/10.3233/FAIA230944Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij: Hierarchical a Fortiori Reasoning with Dimensions.JURIX2023: 43-52]]>https://dblp.org/rec/conf/jurix/WoerkomGPV23Sun, 01 Jan 2023 00:00:00 +0100Improving Rationales with Small, Inconsistent and Incomplete Data.https://doi.org/10.3233/FAIA230945Cor Steging, Silja Renooij, Bart Verheij: Improving Rationales with Small, Inconsistent and Incomplete Data.JURIX2023: 53-62]]>https://dblp.org/rec/conf/jurix/StegingRV23Sun, 01 Jan 2023 00:00:00 +0100Evaluating Methods for Setting a Prior Probability of Guilt.https://doi.org/10.3233/FAIA230946Ludi van Leeuwen, Bart Verheij, Rineke Verbrugge, Silja Renooij: Evaluating Methods for Setting a Prior Probability of Guilt.JURIX2023: 63-72]]>https://dblp.org/rec/conf/jurix/LeeuwenVVR23Sun, 01 Jan 2023 00:00:00 +0100Presumptive Reasoning in a Paraconsistent Setting.https://doi.org/10.4204/EPTCS.379.19Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij: Presumptive Reasoning in a Paraconsistent Setting.TARK2023: 233-244]]>https://dblp.org/rec/journals/corr/abs-2303-15276Sun, 01 Jan 2023 00:00:00 +0100Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects.https://doi.org/10.48550/arXiv.2301.07037Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij: Explain What You See: Open-Ended Segmentation and Recognition of Occluded 3D Objects.CoRRabs/2301.07037 (2023)]]>https://dblp.org/rec/journals/corr/abs-2301-07037Sun, 01 Jan 2023 00:00:00 +0100Higher-order theory of mind is especially useful in unpredictable negotiations.https://doi.org/10.1007/s10458-022-09558-6Harmen 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)]]>https://dblp.org/rec/journals/aamas/WeerdVV22Sat, 01 Jan 2022 00:00:00 +0100Thirty years of Artificial Intelligence and Law: the first decade.https://doi.org/10.1007/s10506-022-09329-4Guido 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. Law30(4): 481-519 (2022)]]>https://dblp.org/rec/journals/ail/GovernatoriBVAF22Sat, 01 Jan 2022 00:00:00 +0100Towards an inclusive, responsible and sustainable open access model.https://doi.org/10.3233/AAC-229001Pietro Baroni, Bart Verheij: Towards an inclusive, responsible and sustainable open access model.Argument Comput.13(1): 1-2 (2022)]]>https://dblp.org/rec/journals/argcom/BaroniV22Sat, 01 Jan 2022 00:00:00 +0100Strong admissibility for abstract dialectical frameworks.https://doi.org/10.3233/AAC-210002Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij: Strong admissibility for abstract dialectical frameworks.Argument Comput.13(3): 249-289 (2022)]]>https://dblp.org/rec/journals/argcom/ZafarghandiVV22Sat, 01 Jan 2022 00:00:00 +0100Local-HDP: Interactive open-ended 3D object category recognition in real-time robotic scenarios.https://doi.org/10.1016/j.robot.2021.103911Hamed 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)]]>https://dblp.org/rec/journals/ras/AyoobiKCVV22Sat, 01 Jan 2022 00:00:00 +0100Argumentation-Based Online Incremental Learning.https://doi.org/10.1109/TASE.2021.3120837Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij: Argumentation-Based Online Incremental Learning.IEEE Trans Autom. Sci. Eng.19(4): 3419-3433 (2022)]]>https://dblp.org/rec/journals/tase/AyoobiCVV22Sat, 01 Jan 2022 00:00:00 +0100Online Incremental Learning with Abstract Argumentation Frameworks.https://ceur-ws.org/Vol-3208/paper5.pdfHamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij: Online Incremental Learning with Abstract Argumentation Frameworks.ArgML@COMMA2022: 65-80]]>https://dblp.org/rec/conf/comma/Ayoobi0VV22Sat, 01 Jan 2022 00:00:00 +0100A Labeling Based Backtracking Solver for Abstract Argumentation.https://ceur-ws.org/Vol-3236/paper9.pdfLukas Kinder, Matthias Thimm, Bart Verheij: A Labeling Based Backtracking Solver for Abstract Argumentation.SAFA@COMMA2022: 111-123]]>https://dblp.org/rec/conf/comma/KinderTV22Sat, 01 Jan 2022 00:00:00 +0100Justification in Case-Based Reasoning.https://ceur-ws.org/Vol-3209/5942.pdfWijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij: Justification in Case-Based Reasoning.ArgXAI@COMMA2022]]>https://dblp.org/rec/conf/comma/WoerkomGPV22Sat, 01 Jan 2022 00:00:00 +0100How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks?https://doi.org/10.3233/FAIA220153Atefeh Keshavarzi Zafarghandi, Wolfgang Dvorák, Rineke Verbrugge, Bart Verheij: How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks?COMMA2022: 200-211]]>https://dblp.org/rec/conf/comma/ZafarghandiDVV22Sat, 01 Jan 2022 00:00:00 +0100Landmarks in Case-Based Reasoning: From Theory to Data.https://doi.org/10.3233/FAIA220200Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij: Landmarks in Case-Based Reasoning: From Theory to Data.HHAI2022: 212-224]]>https://dblp.org/rec/conf/hhai/WoerkomGPV22Sat, 01 Jan 2022 00:00:00 +0100Discovering the Rationale of Decisions.https://doi.org/10.3233/FAIA220208Cor Steging, Silja Renooij, Bart Verheij: Discovering the Rationale of Decisions.HHAI2022: 255-257]]>https://dblp.org/rec/conf/hhai/StegingRV22Sat, 01 Jan 2022 00:00:00 +0100Unpacking Arguments.https://doi.org/10.3233/FAIA220458Trevor J. M. Bench-Capon, Bart Verheij: Unpacking Arguments.JURIX2022: 145-150]]>https://dblp.org/rec/conf/jurix/Bench-CaponV22Sat, 01 Jan 2022 00:00:00 +0100Proceedings 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.https://ceur-ws.org/Vol-3168Michal 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.org2022[contents]]]>https://dblp.org/rec/conf/icail/2021xailaSat, 01 Jan 2022 00:00:00 +0100Discovering the rationale of decisions: towards a method for aligning learning and reasoning.https://doi.org/10.1145/3462757.3466059Cor Steging, Silja Renooij, Bart Verheij: Discovering the rationale of decisions: towards a method for aligning learning and reasoning.ICAIL2021: 235-239]]>https://dblp.org/rec/conf/icail/StegingRV21Fri, 01 Jan 2021 00:00:00 +0100Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning.https://ceur-ws.org/Vol-3168/XAILA2021ICAIL_paper_3.pdfCor Steging, Bart Verheij, Silja Renooij: Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning.XAILA@ICAIL2021]]>https://dblp.org/rec/conf/icail/StegingVR21Fri, 01 Jan 2021 00:00:00 +0100Hardness of case-based decisions: a formal theory.https://doi.org/10.1145/3462757.3466071Heng Zheng, Davide Grossi, Bart Verheij: Hardness of case-based decisions: a formal theory.ICAIL2021: 149-158]]>https://dblp.org/rec/conf/icail/ZhengGV21Fri, 01 Jan 2021 00:00:00 +0100Argue to Learn: Accelerated Argumentation-Based Learning.https://doi.org/10.1109/ICMLA52953.2021.00183Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij: Argue to Learn: Accelerated Argumentation-Based Learning.ICMLA2021: 1118-1123]]>https://dblp.org/rec/conf/icmla/AyoobiyCVV21Fri, 01 Jan 2021 00:00:00 +0100Rationale Discovery and Explainable AI.https://doi.org/10.3233/FAIA210341Cor Steging, Silja Renooij, Bart Verheij: Rationale Discovery and Explainable AI.JURIX2021: 225-234]]>https://dblp.org/rec/conf/jurix/StegingRV21Fri, 01 Jan 2021 00:00:00 +0100Semi-Stable Semantics for Abstract Dialectical Frameworks.https://doi.org/10.24963/kr.2021/40Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij: Semi-Stable Semantics for Abstract Dialectical Frameworks.KR2021: 422-431]]>https://dblp.org/rec/conf/kr/ZafarghandiVV21Fri, 01 Jan 2021 00:00:00 +0100Strong admissibility for abstract dialectical frameworks.https://doi.org/10.1145/3412841.3441962Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij: Strong admissibility for abstract dialectical frameworks.SAC2021: 873-880]]>https://dblp.org/rec/conf/sac/ZafarghandiVV21Fri, 01 Jan 2021 00:00:00 +0100Proceedings 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.https://ceur-ws.org/Vol-2891Grzegorz 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.org2021[contents]]]>https://dblp.org/rec/conf/jurix/2020xailaFri, 01 Jan 2021 00:00:00 +0100Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning.https://arxiv.org/abs/2105.06758Cor Steging, Silja Renooij, Bart Verheij: Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning.CoRRabs/2105.06758 (2021)]]>https://dblp.org/rec/journals/corr/abs-2105-06758Fri, 01 Jan 2021 00:00:00 +0100Evidence & decision making in the law: theoretical, computational and empirical approaches.https://doi.org/10.1007/s10506-019-09253-0Marcello Di Bello, Bart Verheij: Evidence & decision making in the law: theoretical, computational and empirical approaches.Artif. Intell. Law28(1): 1-5 (2020)]]>https://dblp.org/rec/journals/ail/BelloV20Wed, 01 Jan 2020 00:00:00 +0100Artificial intelligence as law.https://doi.org/10.1007/s10506-020-09266-0Bart Verheij: Artificial intelligence as law.Artif. Intell. Law28(2): 181-206 (2020)]]>https://dblp.org/rec/journals/ail/Verheij20Wed, 01 Jan 2020 00:00:00 +0100In memoriam Douglas N. Walton: the influence of Doug Walton on AI and law.https://doi.org/10.1007/s10506-020-09272-2Katie 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. Law28(3): 281-326 (2020)]]>https://dblp.org/rec/journals/ail/AtkinsonBBGPSV20Wed, 01 Jan 2020 00:00:00 +0100On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later.https://doi.org/10.3233/AAC-200901Pietro 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)]]>https://dblp.org/rec/journals/argcom/BaroniTV20Wed, 01 Jan 2020 00:00:00 +0100A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence.https://doi.org/10.1109/MC.2020.2996587Zeynep 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.Computer53(8): 18-28 (2020)]]>https://dblp.org/rec/journals/computer/AkataBRDDEFGHHH20Wed, 01 Jan 2020 00:00:00 +0100Analyzing the Simonshaven Case With and Without Probabilities.https://doi.org/10.1111/tops.12436Bart Verheij: Analyzing the Simonshaven Case With and Without Probabilities.Top. Cogn. Sci.12(4): 1175-1199 (2020)]]>https://dblp.org/rec/journals/topics/Verheij20Wed, 01 Jan 2020 00:00:00 +0100Logical Comparison of Cases.https://doi.org/10.1007/978-3-030-89811-3_9Heng Zheng, Davide Grossi, Bart Verheij: Logical Comparison of Cases.AICOL2020: 125-140]]>https://dblp.org/rec/conf/aicol/ZhengGV20Wed, 01 Jan 2020 00:00:00 +0100A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks.https://doi.org/10.3233/FAIA200527Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij: A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks.COMMA2020: 431-442]]>https://dblp.org/rec/conf/comma/ZafarghandiVV20Wed, 01 Jan 2020 00:00:00 +0100Case-Based Reasoning with Precedent Models: Preliminary Report.https://doi.org/10.3233/FAIA200528Heng Zheng, Davide Grossi, Bart Verheij: Case-Based Reasoning with Precedent Models: Preliminary Report.COMMA2020: 443-450]]>https://dblp.org/rec/conf/comma/ZhengGV20Wed, 01 Jan 2020 00:00:00 +0100Precedent Comparison in the Precedent Model Formalism: A Technical Note.https://doi.org/10.3233/FAIA200878Heng Zheng, Davide Grossi, Bart Verheij: Precedent Comparison in the Precedent Model Formalism: A Technical Note.JURIX2020: 259-262]]>https://dblp.org/rec/conf/jurix/ZhengGV20Wed, 01 Jan 2020 00:00:00 +0100Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases.https://ceur-ws.org/Vol-2891/XAILA-2020_paper_3.pdfHeng Zheng, Davide Grossi, Bart Verheij: Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases.XAILA@JURIX2020]]>https://dblp.org/rec/conf/jurix/ZhengGV20aWed, 01 Jan 2020 00:00:00 +0100Local-HDP: Interactive Open-Ended 3D Object Categorization.https://arxiv.org/abs/2009.01152Hamed Ayoobi, S. Hamidreza Kasaei, Ming Cao, Rineke Verbrugge, Bart Verheij: Local-HDP: Interactive Open-Ended 3D Object Categorization.CoRRabs/2009.01152 (2020)]]>https://dblp.org/rec/journals/corr/abs-2009-01152Wed, 01 Jan 2020 00:00:00 +0100Strong Admissibility for Abstract Dialectical Frameworks.https://arxiv.org/abs/2012.05997Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij: Strong Admissibility for Abstract Dialectical Frameworks.CoRRabs/2012.05997 (2020)]]>https://dblp.org/rec/journals/corr/abs-2012-05997Wed, 01 Jan 2020 00:00:00 +0100Argument & Computation Community Resources (ACCR) corner.https://doi.org/10.3233/AAC-192100Pietro Baroni, Bart Verheij: Argument & Computation Community Resources (ACCR) corner.Argument Comput.10(2): 105 (2019)]]>https://dblp.org/rec/journals/argcom/BaroniV19Tue, 01 Jan 2019 00:00:00 +0100Douglas Walton (1942-2020).https://doi.org/10.3233/AAC-190482Pietro Baroni, Bart Verheij: Douglas Walton (1942-2020).Argument Comput.10(3): 231 (2019)]]>https://dblp.org/rec/journals/argcom/BaroniV19aTue, 01 Jan 2019 00:00:00 +0100Handling Unforeseen Failures Using Argumentation-Based Learning.https://ceur-ws.org/Vol-2491/abstract70.pdfHamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij: Handling Unforeseen Failures Using Argumentation-Based Learning.BNAIC/BENELEARN2019]]>https://dblp.org/rec/conf/bnaic/AyoobiCVV19Tue, 01 Jan 2019 00:00:00 +0100The XAI paradox: Systems that Perform Well for the Wrong Reasons.https://ceur-ws.org/Vol-2491/abstract107.pdfCor Steging, Lambert Schomaker, Bart Verheij: The XAI paradox: Systems that Perform Well for the Wrong Reasons.BNAIC/BENELEARN2019]]>https://dblp.org/rec/conf/bnaic/StegingSV19Tue, 01 Jan 2019 00:00:00 +0100Handling Unforeseen Failures Using Argumentation-Based Learning.https://doi.org/10.1109/COASE.2019.8843207Hamed Ayoobi, Ming Cao, Rineke Verbrugge, Bart Verheij: Handling Unforeseen Failures Using Argumentation-Based Learning.CASE2019: 1699-1704]]>https://dblp.org/rec/conf/case/AyoobiCVV19Tue, 01 Jan 2019 00:00:00 +0100Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks.https://doi.org/10.1007/978-3-030-29765-7_6Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij: Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks.ECSQARU2019: 62-73]]>https://dblp.org/rec/conf/ecsqaru/ZafarghandiVV19Tue, 01 Jan 2019 00:00:00 +0100Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks.http://proceedings.mlr.press/v103/keshavarzi-zafarghandi19a.htmlAtefeh Keshavarzi Zafarghandi, Bart Verheij, Rineke Verbrugge: Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks.ISIPTA2019: 246-255]]>https://dblp.org/rec/conf/isipta/ZafarghandiVV19Tue, 01 Jan 2019 00:00:00 +0100A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning.https://doi.org/10.3233/FAIA190306Ludi van Leeuwen, Bart Verheij: A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning.JURIX2019: 53-62]]>https://dblp.org/rec/conf/jurix/LeeuwenV19Tue, 01 Jan 2019 00:00:00 +0100Research in progress: report on the ICAIL 2017 doctoral consortium.https://doi.org/10.1007/s10506-018-9220-6Maria 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. Law26(1): 49-97 (2018)]]>https://dblp.org/rec/journals/ail/DymitrukMLGDGV18Mon, 01 Jan 2018 00:00:00 +0100Good AI and Law.https://ceur-ws.org/Vol-2381/xaila2018_invited.pdfBart Verheij: Good AI and Law.XAILA@JURIX2018: 1]]>https://dblp.org/rec/conf/jurix/Verheij18Mon, 01 Jan 2018 00:00:00 +0100Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach.https://doi.org/10.3233/978-1-61499-935-5-220Heng Zheng, Minghui Xiong, Bart Verheij: Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach.JURIX2018: 220-224]]>https://dblp.org/rec/conf/jurix/ZhengXV18Mon, 01 Jan 2018 00:00:00 +0100Artificial Intelligence - 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8-9, 2017, Revised Selected Papers.https://doi.org/10.1007/978-3-319-76892-2Bart 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, Springer2018, ISBN 978-3-319-76891-5[contents]]]>https://dblp.org/rec/conf/bnaic/2017Mon, 01 Jan 2018 00:00:00 +0100Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information.https://doi.org/10.1007/s10458-015-9317-1Harmen 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)]]>https://dblp.org/rec/journals/aamas/WeerdVV17Sun, 01 Jan 2017 00:00:00 +0100Introduction to the special issue on Artificial Intelligence for Justice (AI4J).https://doi.org/10.1007/s10506-017-9198-5Floris Bex, Henry Prakken, Tom M. van Engers, Bart Verheij: Introduction to the special issue on Artificial Intelligence for Justice (AI4J).Artif. Intell. Law25(1): 1-3 (2017)]]>https://dblp.org/rec/journals/ail/BexPEV17Sun, 01 Jan 2017 00:00:00 +0100Proof with and without probabilities - Correct evidential reasoning with presumptive arguments, coherent hypotheses and degrees of uncertainty.https://doi.org/10.1007/s10506-017-9199-4Bart Verheij: Proof with and without probabilities - Correct evidential reasoning with presumptive arguments, coherent hypotheses and degrees of uncertainty.Artif. Intell. Law25(1): 127-154 (2017)]]>https://dblp.org/rec/journals/ail/Verheij17Sun, 01 Jan 2017 00:00:00 +0100Argumentation Theory in Formal and Computational Perspective.http://www.collegepublications.co.uk/downloads/ifcolog00017.pdfFrans H. van Eemeren, Bart Verheij: Argumentation Theory in Formal and Computational Perspective.FLAP4(8) (2017)]]>https://dblp.org/rec/journals/flap/EemerenV17Sun, 01 Jan 2017 00:00:00 +0100A two-phase method for extracting explanatory arguments from Bayesian networks.https://doi.org/10.1016/j.ijar.2016.09.002Sjoerd 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)]]>https://dblp.org/rec/journals/ijar/TimmerMPRV17Sun, 01 Jan 2017 00:00:00 +0100Formalizing arguments, rules and cases.https://doi.org/10.1145/3086512.3086533Bart Verheij: Formalizing arguments, rules and cases.ICAIL2017: 199-208]]>https://dblp.org/rec/conf/icail/Verheij17Sun, 01 Jan 2017 00:00:00 +0100A method for explaining Bayesian networks for legal evidence with scenarios.https://doi.org/10.1007/s10506-016-9183-4Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij: A method for explaining Bayesian networks for legal evidence with scenarios.Artif. Intell. Law24(3): 285-324 (2016)]]>https://dblp.org/rec/journals/ail/VlekPRV16Fri, 01 Jan 2016 00:00:00 +0100Formalizing value-guided argumentation for ethical systems design.https://doi.org/10.1007/s10506-016-9189-yBart Verheij: Formalizing value-guided argumentation for ethical systems design.Artif. Intell. Law24(4): 387-407 (2016)]]>https://dblp.org/rec/journals/ail/Verheij16Fri, 01 Jan 2016 00:00:00 +0100Argument & Computation: Change and continuity.https://doi.org/10.3233/AAC-160006Pietro Baroni, Bart Verheij: Argument & Computation: Change and continuity.Argument Comput.7(1): 1-2 (2016)]]>https://dblp.org/rec/journals/argcom/BaroniV16Fri, 01 Jan 2016 00:00:00 +0100Making Sense of Illustrated Handwritten Archives.http://dh2016.adho.org/abstracts/249Lambert 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.DH2016: 674-676]]>https://dblp.org/rec/conf/dihu/Schomaker0THPNV16Fri, 01 Jan 2016 00:00:00 +0100Correct Grounded Reasoning with Presumptive Arguments.https://doi.org/10.1007/978-3-319-48758-8_31Bart Verheij: Correct Grounded Reasoning with Presumptive Arguments.JELIA2016: 481-496]]>https://dblp.org/rec/conf/jelia/Verheij16Fri, 01 Jan 2016 00:00:00 +0100Arguments for Ethical Systems Design.https://doi.org/10.3233/978-1-61499-726-9-101Bart Verheij: Arguments for Ethical Systems Design.JURIX2016: 101-110]]>https://dblp.org/rec/conf/jurix/Verheij16Fri, 01 Jan 2016 00:00:00 +0100Explaining Bayesian Networks Using Argumentation.https://doi.org/10.1007/978-3-319-20807-7_8Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij: Explaining Bayesian Networks Using Argumentation.ECSQARU2015: 83-92]]>https://dblp.org/rec/conf/ecsqaru/TimmerMPRV15Thu, 01 Jan 2015 00:00:00 +0100A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation.https://doi.org/10.1145/2746090.2746093Sjoerd 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.ICAIL2015: 109-118]]>https://dblp.org/rec/conf/icail/TimmerMPRV15Thu, 01 Jan 2015 00:00:00 +0100Constructing and understanding Bayesian networks for legal evidence with scenario schemes.https://doi.org/10.1145/2746090.2746097Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij: Constructing and understanding Bayesian networks for legal evidence with scenario schemes.ICAIL2015: 128-137]]>https://dblp.org/rec/conf/icail/VlekPRV15Thu, 01 Jan 2015 00:00:00 +0100Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation.https://doi.org/10.1145/2746090.2750370Sjoerd 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.ICAIL2015: 233-234]]>https://dblp.org/rec/conf/icail/TimmerMPRV15aThu, 01 Jan 2015 00:00:00 +0100Explaining Legal Bayesian Networks Using Support Graphs.https://doi.org/10.3233/978-1-61499-609-5-121Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij: Explaining Legal Bayesian Networks Using Support Graphs.JURIX2015: 121-130]]>https://dblp.org/rec/conf/jurix/TimmerMPRV15Thu, 01 Jan 2015 00:00:00 +0100Representing the Quality of Crime Scenarios in a Bayesian Network.https://doi.org/10.3233/978-1-61499-609-5-131Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij: Representing the Quality of Crime Scenarios in a Bayesian Network.JURIX2015: 131-140]]>https://dblp.org/rec/conf/jurix/VlekPRV15Thu, 01 Jan 2015 00:00:00 +0100Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract.https://doi.org/10.3233/978-1-61499-609-5-173Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij: Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract.JURIX2015: 173-176]]>https://dblp.org/rec/conf/jurix/TimmerMPRV15aThu, 01 Jan 2015 00:00:00 +0100Building Bayesian networks for legal evidence with narratives: a case study evaluation.https://doi.org/10.1007/s10506-014-9161-7Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij: Building Bayesian networks for legal evidence with narratives: a case study evaluation.Artif. Intell. Law22(4): 375-421 (2014)]]>https://dblp.org/rec/journals/ail/VlekPRV14Wed, 01 Jan 2014 00:00:00 +0100ICAIL 2013: The Fourteenth International Conference on Artificial Intelligence and Law.https://doi.org/10.1609/aimag.v35i2.2523Bart Verheij, Enrico Francesconi, Anne Gardner: ICAIL 2013: The Fourteenth International Conference on Artificial Intelligence and Law.AI Mag.35(2): 81-82 (2014)]]>https://dblp.org/rec/journals/aim/VerheijFG14Wed, 01 Jan 2014 00:00:00 +0100Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points.https://doi.org/10.3233/978-1-61499-436-7-433Bart Verheij: Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points.COMMA2014: 433-444]]>https://dblp.org/rec/conf/comma/Verheij14Wed, 01 Jan 2014 00:00:00 +0100A Tool for the Generation of Arguments from Bayesian Networks.https://doi.org/10.3233/978-1-61499-436-7-479Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij: A Tool for the Generation of Arguments from Bayesian Networks.COMMA2014: 479-480]]>https://dblp.org/rec/conf/comma/TimmerMPRV14Wed, 01 Jan 2014 00:00:00 +0100Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning.https://ceur-ws.org/Vol-1283/paper_18.pdfHarmen de Weerd, Rineke Verbrugge, Bart Verheij: Theory of Mind in the Mod Game: An Agent-Based Model of Strategic Reasoning.ECSI2014: 128-136]]>https://dblp.org/rec/conf/ecsi/WeerdVV14Wed, 01 Jan 2014 00:00:00 +0100Extracting Legal Arguments from Forensic Bayesian Networks.https://doi.org/10.3233/978-1-61499-468-8-71Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij: Extracting Legal Arguments from Forensic Bayesian Networks.JURIX2014: 71-80]]>https://dblp.org/rec/conf/jurix/TimmerMPRV14Wed, 01 Jan 2014 00:00:00 +0100Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence.https://doi.org/10.3233/978-1-61499-468-8-103Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij: Extracting Scenarios from a Bayesian Network as Explanations for Legal Evidence.JURIX2014: 103-112]]>https://dblp.org/rec/conf/jurix/VlekPRV14Wed, 01 Jan 2014 00:00:00 +0100Handbook of Argumentation Theory.https://doi.org/10.1007/978-90-481-9473-5Frans H. van Eemeren, Bart Garssen, Erik C. W. Krabbe, A. Francisca Snoeck Henkemans, Bart Verheij, Jean H. M. Wagemans: Handbook of Argumentation Theory.Springer2014, ISBN 978-90-481-9472-8]]>https://dblp.org/rec/books/sp/HAT2014Wed, 01 Jan 2014 00:00:00 +0100How much does it help to know what she knows you know? An agent-based simulation study.https://doi.org/10.1016/j.artint.2013.05.004Harmen 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)]]>https://dblp.org/rec/journals/ai/WeerdVV13Tue, 01 Jan 2013 00:00:00 +0100Legal stories and the process of proof.https://doi.org/10.1007/s10506-012-9137-4Floris Bex, Bart Verheij: Legal stories and the process of proof.Artif. Intell. Law21(3): 253-278 (2013)]]>https://dblp.org/rec/journals/ail/BexV13Tue, 01 Jan 2013 00:00:00 +0100Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network.https://doi.org/10.4230/OASIcs.CMN.2013.315Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij: Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network.CMN2013: 315-332]]>https://dblp.org/rec/conf/cmn/VlekPRV13Tue, 01 Jan 2013 00:00:00 +0100Agent-Based Models for Higher-Order Theory of Mind.https://doi.org/10.1007/978-3-642-39829-2_19Harmen de Weerd, Rineke Verbrugge, Bart Verheij: Agent-Based Models for Higher-Order Theory of Mind.ESSA2013: 213-224]]>https://dblp.org/rec/conf/essa/WeerdVV13Tue, 01 Jan 2013 00:00:00 +0100Modeling crime scenarios in a Bayesian network.https://doi.org/10.1145/2514601.2514618Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij: Modeling crime scenarios in a Bayesian network.ICAIL2013: 150-159]]>https://dblp.org/rec/conf/icail/VlekPRV13Tue, 01 Jan 2013 00:00:00 +0100Unfolding Crime Scenarios with Variations: A Method for Building a Bayesian Network for Legal Narratives.https://doi.org/10.3233/978-1-61499-359-9-145Charlotte S. Vlek, Henry Prakken, Silja Renooij, Bart Verheij: Unfolding Crime Scenarios with Variations: A Method for Building a Bayesian Network for Legal Narratives.JURIX2013: 145-154]]>https://dblp.org/rec/conf/jurix/VlekPRV13Tue, 01 Jan 2013 00:00:00 +0100Higher-Order Theory of Mind in Negotiations under Incomplete Information.https://doi.org/10.1007/978-3-642-44927-7_8Harmen de Weerd, Rineke Verbrugge, Bart Verheij: Higher-Order Theory of Mind in Negotiations under Incomplete Information.PRIMA2013: 101-116]]>https://dblp.org/rec/conf/prima/WeerdVV13Tue, 01 Jan 2013 00:00:00 +0100International Conference on Artificial Intelligence and Law, ICAIL '13, Rome, Italy, June 10-14, 2013.https://doi.org/10.1145/2514601Enrico Francesconi, Bart Verheij: International Conference on Artificial Intelligence and Law, ICAIL '13, Rome, Italy, June 10-14, 2013.ACM2013, ISBN 978-1-4503-2080-1[contents]]]>https://dblp.org/rec/conf/icail/2013Tue, 01 Jan 2013 00:00:00 +0100A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law.https://doi.org/10.1007/s10506-012-9131-xTrevor 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. Law20(3): 215-319 (2012)]]>https://dblp.org/rec/journals/ail/Bench-CaponAAABBBBCFGGLLLMPSSTTVWW12Sun, 01 Jan 2012 00:00:00 +0100Higher-order social cognition in rock-paper-scissors: a simulation study.http://dl.acm.org/citation.cfm?id=2343917Harmen de Weerd, Rineke Verbrugge, Bart Verheij: Higher-order social cognition in rock-paper-scissors: a simulation study.AAMAS2012: 1195-1196]]>https://dblp.org/rec/conf/aamas/WeerdVV12Sun, 01 Jan 2012 00:00:00 +0100Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments.https://doi.org/10.1007/978-3-642-33353-8_32Bart Verheij: Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments.JELIA2012: 411-423]]>https://dblp.org/rec/conf/jelia/Verheij12Sun, 01 Jan 2012 00:00:00 +0100Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012.http://www.booksonline.iospress.nl/Content/View.aspx?piid=32171Bart 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 Press2012, ISBN 978-1-61499-110-6[contents]]]>https://dblp.org/rec/conf/comma/2012Sun, 01 Jan 2012 00:00:00 +0100Legal shifts in the process of proof.https://doi.org/10.1145/2018358.2018360Floris Bex, Bart Verheij: Legal shifts in the process of proof.ICAIL2011: 11-20]]>https://dblp.org/rec/conf/icail/BexV11Sat, 01 Jan 2011 00:00:00 +0100What Makes a Story Plausible? The Need for Precedents.https://doi.org/10.3233/978-1-60750-981-3-23Floris Bex, Trevor J. M. Bench-Capon, Bart Verheij: What Makes a Story Plausible? The Need for Precedents.JURIX2011: 23-32]]>https://dblp.org/rec/conf/jurix/BexBV11Sat, 01 Jan 2011 00:00:00 +0100A hybrid formal theory of arguments, stories and criminal evidence.https://doi.org/10.1007/s10506-010-9092-xFloris J. Bex, Peter J. van Koppen, Henry Prakken, Bart Verheij: A hybrid formal theory of arguments, stories and criminal evidence.Artif. Intell. Law18(2): 123-152 (2010)]]>https://dblp.org/rec/journals/ail/BexKPV10Fri, 01 Jan 2010 00:00:00 +0100Story Schemes for Argumentation about the Facts of a Crime.http://www.aaai.org/ocs/index.php/FSS/FSS10/paper/view/2175Floris Jurriaan Bex, Bart Verheij: Story Schemes for Argumentation about the Facts of a Crime.AAAI Fall Symposium: Computational Models of Narrative2010]]>https://dblp.org/rec/conf/aaaifs/BexV10Fri, 01 Jan 2010 00:00:00 +0100Argumentation and rules with exceptions.https://doi.org/10.3233/978-1-60750-619-5-455Bart Verheij: Argumentation and rules with exceptions.COMMA2010: 455-462]]>https://dblp.org/rec/conf/comma/Verheij10Fri, 01 Jan 2010 00:00:00 +0100How much logical structure is helpful in content-based argumentation software for legal case solving?https://doi.org/10.1145/1568234.1568265Stijn Colen, Fokie Cnossen, Bart Verheij: How much logical structure is helpful in content-based argumentation software for legal case solving?ICAIL2009: 224-225]]>https://dblp.org/rec/conf/icail/ColenCV09Thu, 01 Jan 2009 00:00:00 +0100The Toulmin Argument Model in Artificial Intelligence.https://doi.org/10.1007/978-0-387-98197-0_11Bart Verheij: The Toulmin Argument Model in Artificial Intelligence.Argumentation in Artificial Intelligence2009: 219-238]]>https://dblp.org/rec/books/sp/09/Verheij09Thu, 01 Jan 2009 00:00:00 +0100About the logical relations between cases and rules.https://doi.org/10.3233/978-1-58603-952-3-21Bart Verheij: About the logical relations between cases and rules.JURIX2008: 21-32]]>https://dblp.org/rec/conf/jurix/Verheij08Tue, 01 Jan 2008 00:00:00 +0100Formalising argumentative story-based analysis of evidence.https://doi.org/10.1145/1276318.1276320Floris J. Bex, Henry Prakken, Bart Verheij: Formalising argumentative story-based analysis of evidence.ICAIL2007: 1-10]]>https://dblp.org/rec/conf/icail/BexPV07Mon, 01 Jan 2007 00:00:00 +0100A Labeling Approach to the Computation of Credulous Acceptance in Argumentation.http://ijcai.org/Proceedings/07/Papers/099.pdfBart Verheij: A Labeling Approach to the Computation of Credulous Acceptance in Argumentation.IJCAI2007: 623-628]]>https://dblp.org/rec/conf/ijcai/Verheij07Mon, 01 Jan 2007 00:00:00 +0100Beyond boxes and arrows: argumentation support in terms of the knowledge structure of a legal topic.http://www.booksonline.iospress.nl/Content/View.aspx?piid=7848Maaike Schweers, Bart Verheij: Beyond boxes and arrows: argumentation support in terms of the knowledge structure of a legal topic.JURIX2007: 109-118]]>https://dblp.org/rec/conf/jurix/SchweersV07Mon, 01 Jan 2007 00:00:00 +0100Agents Adopting Agriculture: Modeling the Agricultural Transition.https://doi.org/10.1007/11840541_62Elske van der Vaart, Bart de Boer, Albert Hankel, Bart Verheij: Agents Adopting Agriculture: Modeling the Agricultural Transition.SAB2006: 750-761]]>https://dblp.org/rec/conf/sab/VaartBHV06Sun, 01 Jan 2006 00:00:00 +0100Introduction.https://doi.org/10.1007/978-1-4020-4938-5_1David Hitchcock, Bart Verheij: Introduction.Arguing on the Toulmin Model2006: 1-23]]>https://dblp.org/rec/series/argulib/HitchcockV06Sun, 01 Jan 2006 00:00:00 +0100Evaluating Arguments Based on Toulmin's Scheme.https://doi.org/10.1007/978-1-4020-4938-5_12Bart Verheij: Evaluating Arguments Based on Toulmin's Scheme.Arguing on the Toulmin Model2006: 181-202]]>https://dblp.org/rec/series/argulib/Verheij06Sun, 01 Jan 2006 00:00:00 +0100Arguing on the Toulmin Model.https://doi.org/10.1007/978-1-4020-4938-5David Hitchcock, Bart Verheij: Arguing on the Toulmin Model.Argumentation Library 10, Springer2006, ISBN 978-1-4020-4937-8[contents]]]>https://dblp.org/rec/series/argulib/HV2006Sun, 01 Jan 2006 00:00:00 +0100Cases and Dialectical Arguments - An Approach to Case-Based Reasoning.https://doi.org/10.1007/978-3-540-30470-8_75Bram Roth, Bart Verheij: Cases and Dialectical Arguments - An Approach to Case-Based Reasoning.OTM Workshops2004: 634-651]]>https://dblp.org/rec/conf/otm/RothV04Thu, 01 Jan 2004 00:00:00 +0100Decision Support for Practical Reasoning.https://doi.org/10.1007/978-94-017-0431-1_3Roderic A. Girle, David Hitchcock, Peter McBurney, Bart Verheij: Decision Support for Practical Reasoning.Argumentation Machines2004: 55-83]]>https://dblp.org/rec/series/argulib/GirleHMV04Thu, 01 Jan 2004 00:00:00 +0100Artificial argument assistants for defeasible argumentation.https://doi.org/10.1016/S0004-3702(03)00107-3Bart Verheij: Artificial argument assistants for defeasible argumentation.Artif. Intell.150(1-2): 291-324 (2003)]]>https://dblp.org/rec/journals/ai/Verheij03Wed, 01 Jan 2003 00:00:00 +0100Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic.https://doi.org/10.1023/B:ARTI.0000046008.49443.36Bart Verheij: Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic.Artif. Intell. Law11(2-3): 167-195 (2003)]]>https://dblp.org/rec/journals/ail/Verheij03Wed, 01 Jan 2003 00:00:00 +0100Book Review: The Dynamics of Judicial Proof. Computation, Logic, and Common Sense.https://doi.org/10.1023/B:ARTI.0000046021.87243.06Bart Verheij: Book Review: The Dynamics of Judicial Proof. Computation, Logic, and Common Sense.Artif. Intell. Law11(4): 299-303 (2003)]]>https://dblp.org/rec/journals/ail/Verheij03aWed, 01 Jan 2003 00:00:00 +0100DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions.https://doi.org/10.1093/logcom/13.3.319Bart Verheij: DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions.J. Log. Comput.13(3): 319-346 (2003)]]>https://dblp.org/rec/journals/logcom/Verheij03Wed, 01 Jan 2003 00:00:00 +0100On the existence and multiplicity of extensions in dialectical argumentation.https://dblp.org/pid/99/3259.htmlBart Verheij: On the existence and multiplicity of extensions in dialectical argumentation.NMR2002: 416-425]]>https://dblp.org/rec/conf/nmr/Verheij02Tue, 01 Jan 2002 00:00:00 +0100On the existence and multiplicity of extensions in dialectical argumentation.https://arxiv.org/abs/cs/0207067Bart Verheij: On the existence and multiplicity of extensions in dialectical argumentation.CoRRcs.AI/0207067 (2002)]]>https://dblp.org/rec/journals/corr/cs-AI-0207067Tue, 01 Jan 2002 00:00:00 +0100Douglas Walton, The New Dialectic, Conversational Contexts of Argument, Toronto: University of Toronto Press (Review).https://doi.org/10.1023/A:1013803600690Bart Verheij: Douglas Walton, The New Dialectic, Conversational Contexts of Argument, Toronto: University of Toronto Press (Review).Artif. Intell. Law9(4): 305-313 (2001)]]>https://dblp.org/rec/journals/ail/Verheij01Mon, 01 Jan 2001 00:00:00 +0100Legal decision making as dialectical theory construction with argumentation schemes.https://doi.org/10.1145/383535.383565Bart Verheij: Legal decision making as dialectical theory construction with argumentation schemes.ICAIL2001: 225-226]]>https://dblp.org/rec/conf/icail/Verheij01Mon, 01 Jan 2001 00:00:00 +0100Henry Prakken (1997). Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law.https://doi.org/10.1023/A:1008318016098Bart Verheij: Henry Prakken (1997). Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law.Artif. Intell. Law8(1): 35-65 (2000)]]>https://dblp.org/rec/journals/ail/Verheij00Sat, 01 Jan 2000 00:00:00 +0100The law as a dynamic interconnected system of states of affairs: a legal top ontology.https://doi.org/10.1006/ijhc.1999.0297Jaap 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)]]>https://dblp.org/rec/journals/ijmms/HageV99Fri, 01 Jan 1999 00:00:00 +0100Computer-Mediated Legal Argument: Towards new Opportunities in Education.http://elj.warwick.ac.uk/jilt/99-2/lodder.htmlArno R. Lodder, Bart Verheij: Computer-Mediated Legal Argument: Towards new Opportunities in Education.J. Inf. Law Technol.1999(2) (1999)]]>https://dblp.org/rec/journals/jilt/LodderV99Fri, 01 Jan 1999 00:00:00 +0100Automated argument assistance for lawyers.http://portal.acm.org/citation.cfm?id=323706.323714Bart Verheij: Automated argument assistance for lawyers.ICAIL1999: 43-52]]>https://dblp.org/rec/conf/icail/Verheij99Fri, 01 Jan 1999 00:00:00 +0100An Integrated View on Rules and Principles.https://doi.org/10.1023/A:1008247812801Bart Verheij, Jaap Hage, H. Jaap van den Herik: An Integrated View on Rules and Principles.Artif. Intell. Law6(1): 3-26 (1998)]]>https://dblp.org/rec/journals/ail/VerheijHH98Thu, 01 Jan 1998 00:00:00 +0100Logical Tools for Legal Argument: A Practical Assessment in the Domain of Tort.https://doi.org/10.1145/261618.261659Bart Verheij, Jaap Hage, Arno R. Lodder: Logical Tools for Legal Argument: A Practical Assessment in the Domain of Tort.ICAIL1997: 243-249]]>https://dblp.org/rec/conf/icail/VerheijHL97Wed, 01 Jan 1997 00:00:00 +0100Arguments and Defeat in Argument-Based Nonmonotonic Reasoning.https://doi.org/10.1007/3-540-60428-6_18Bart Verheij: Arguments and Defeat in Argument-Based Nonmonotonic Reasoning.EPIA1995: 213-224]]>https://dblp.org/rec/conf/epia/Verheij95Sun, 01 Jan 1995 00:00:00 +0100The Influence of Defeated Arguments in Defeasible Argumentation.https://dblp.org/pid/99/3259.htmlBart Verheij: The Influence of Defeated Arguments in Defeasible Argumentation.WOCFAI1995: 429-440]]>https://dblp.org/rec/conf/wocfai/Verheij95Sun, 01 Jan 1995 00:00:00 +0100