Bart Verheij

Search results

• 2020

  A discussion game for the grounded semantics of abstract dialectical frameworks

  Zafarghandi, A. K., Verbrugge, R. & Verheij, B., 31-Aug-2020, Frontiers in Artificial Intelligence and Applications. Prakken, H. (ed.). IOS Press, p. 431-442 12 p. (Frontiers in Artificial Intelligence and Applications; vol. 326).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  Open Access

  File
  34 Downloads (Pure)

• Analyzing the Simonshaven Case With and Without Probabilities

  Verheij, B., Oct-2020, In : Topics in Cognitive Science. 12, 4, p. 1175-1199 25 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  4 Citations (Scopus)

  37 Downloads (Pure)

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

  Akata, Z., Balliet, D., de Rijke, M., Dignum, F., Dignum, V., Eiben, G., Fokkens, A., Grossi, D., Hindriks, K., Hoos, H., Hung, H., Jonker, C., Monz, C., Neerincx, M., Oliehoek, F., Prakken, H., Schlobach, S., van der Gaag, L., van Harmelen, F., van Hoof, H. & 6 others, van Riemsdijk, B., van Wynsberghe, A., Verbrugge, R., Verheij, B., Vossen, P. & Welling, M., Aug-2020, In : Computer. 53, 8, p. 18-28

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  83 Downloads (Pure)

• Artificial intelligence as law: Presidential address to the seventeenth international conference on artificial intelligence and law

  Verheij, B., Jun-2020, In : Artificial Intelligence and Law. 28, 2, p. 181-206 26 p.

  Research output: Contribution to journal › Review article › Academic › peer-review

  Open Access

  File
  2 Citations (Scopus)

  54 Downloads (Pure)

• Case-based reasoning with precedent models: Preliminary report

  Zheng, H., Grossi, D. & Verheij, B., 31-Aug-2020, Frontiers in Artificial Intelligence and Applications. Prakken, H. (ed.). IOS Press, p. 443-450 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 326).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  Open Access

  File
  1 Citation (Scopus)

  14 Downloads (Pure)

• Douglas Walton (1942–2020)

  Baroni, P. & Verheij, B., 28-Jan-2020, In : Argument & Computation. 10, 3, p. 231 1 p.

  Research output: Contribution to journal › Article › Academic

  Open Access

  File
  40 Downloads (Pure)

• Evidence & decision making in the law: Theoretical, computational and empirical approaches

  Di Bello, M. & Verheij, B., Mar-2020, In : Artificial Intelligence and Law. 28, 1, p. 1-5 5 p.

  Research output: Contribution to journal › Editorial › Academic › peer-review

• In memoriam Douglas N. Walton: The influence of Doug Walton on AI and law

  Atkinson, K., Bench-Capon, T., Bex, F., Gordon, T. F., Prakken, H., Sartor, G. & Verheij, B., 2020, In : Artificial Intelligence and Law. 28, 3, p. 281-326 46 p.

  Research output: Contribution to journal › Review article › Academic

  Open Access

  File
  145 Downloads (Pure)

• Local-HDP: Interactive Open-Ended 3D Object Categorization

  Ayoobi, H., Kasaei, H., Cao, M., Verbrugge, R. & Verheij, B., 2-Sep-2020, (Submitted) In : ArXiv.

  Research output: Contribution to journal › Article › Academic

  File
  19 Downloads (Pure)

• OBITUARY Douglas Neil Walton (1942-2020)

  Krabbe, E. C. W. & Verheij, B., 28-Jul-2020, In : Argumentation. 6 p.

  Research output: Contribution to journal › Article › Professional

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

  Baroni, P., Toni, F. & Verheij, B., 5-May-2020, In : Argument & Computation. 11, 1-2, p. 1-14 14 p.

  Research output: Contribution to journal › Article › Academic

  Open Access

  File
  34 Downloads (Pure)

• Reason to Dissent: Proceedings of the 3rd European Conference on Argumentation, Volume I, II and III

  Dutilh Novaes, C. (ed.), Jansen, H. (ed.), van Laar, J. A. (ed.) & Verheij, B. (ed.), 2020, College Publications. (Studies in Logic and Argumentation; vol. 85, 86, 87)

  Research output: Book/Report › Book › Academic

• Strong Admissibility for Abstract Dialectical Frameworks

  Zafarghandi, A. K., Verbrugge, R. & Verheij, B., 10-Dec-2020, (Submitted) SAC ’21, March 22–26, 2021, Virtual Event, Republic of Korea. ACM Press, 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  7 Downloads (Pure)
• 2019

  A Comparison of Two Hybrid Methods for Analyzing Evidential Reasoning

  van Leeuwen, L. & Verheij, B., 2019, Legal Knowledge and Information Systems. JURIX 2019: The Thirty-second Annual Conference. Araszkiewicz, M. & Rodríguez-Doncel, V. (eds.). Amsterdam: IOS Press, p. 53-62 ( Frontiers in Artificial Intelligence and Applications; vol. 322).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  Open Access

  File
  29 Downloads (Pure)

• Argument & Computation Community Resources (ACCR) corner

  Baroni, P. & Verheij, B., 2019, In : Argument & Computation. 10, 2, p. 105

  Research output: Contribution to journal › Article › Professional

  Open Access

  File
  55 Downloads (Pure)

• Argumentation-Based Incremental Learning for Home Robotics

  Ayoobi, H., Cao, M., Verbrugge, R. & Verheij, B., 2019, (Submitted) In : IEEE Transactions on Automation Science and Engineering. p. 1-12 12 p.

  Research output: Contribution to journal › Article › Academic

• Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks

  Keshavarzi Zafarghandi, A., Verbrugge, R. & Verheij, B., 2019, Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Kern-Isberner, G. & Ognjanović, Z. (eds.). Cham: Springer, p. 62-73 12 p. (Lecture Notes in Computer Science ; vol. 11726).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
  2 Citations (Scopus)

• Embedding Probabilities, Utilities and Decisions in a Generalization of Abstract Dialectical Frameworks

  Keshavarzi Zafarghandi, A., Verbrugge, L. & Verheij, B., 2019, Proceedings of the Eleventh International Symposium on Imprecise Probabilities: Theories and Applications (ISIPTA). 1 ed. SIPTA, Vol. 103. p. 246-255 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional

  Open Access

  File
  40 Downloads (Pure)

• Extended Abstract: Handling Unforeseen Failures Using Argumentation-Based Learning

  Ayoobi, H., Cao, M., Verbrugge, R. & Verheij, B., 8-Nov-2019, Springer CCIS Series. Springer

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Handling unforeseen failures using argumentation-based learning

  Ayoobi, H., Cao, M., Verbrugge, L. & Verheij, B., 1-Aug-2019, International Conference on Automation Science and Engineering (CASE) 2019. IEEE Computer Society, p. 1699-1704 6 p. (IEEE International Conference on Automation Science and Engineering; vol. 2019-August).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  1 Citation (Scopus)

• The Xai paradox: Systems that perform well for the wrong reasons

  Steging, C., Schomaker, L. & Verheij, B., 2019.

  Research output: Contribution to conference › Paper › Academic
• 2018

  Argumentation Theory in Formal and Computational Perspective

  van Eemeren, F. H. & Verheij, B., 2018, Handbook of Formal Argumentation. Baroni, P., Gabbay, D., Giacomin, M. & van der Torre, L. (eds.). College Publications, Vol. 1. p. 3-73

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

• Arguments for Good Artificial Intelligence

  Verheij, B., 2018, Groningen: University of Groningen. 84 p.

  Research output: Book/Report › Book › Academic

  Open Access

  File
  33 Downloads (Pure)

• Artificial Intelligence: 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, Revised Selected Paper

  Verheij, B. & Wiering, M., 2018, 1 ed. Springer. 161 p. (Communications in Computer and Information Science; vol. 823)

  Research output: Book/Report › Book › Academic

• Checking the validity of rule-based arguments grounded in cases: A computational approach

  Zheng, H., Xiong, M. & Verheij, B., 1-Jan-2018, Legal Knowledge and Information - JURIX 2018: 31st Annual Conference. Palmirani, M. (ed.). IOS Press, p. 220-224 5 p. (Frontiers in Artificial Intelligence and Applications; vol. 313).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  2 Citations (Scopus)

  42 Downloads (Pure)

• Douglas Walton: Argument Evaluation and Evidence

  Di Bello, M. & Verheij, B., Jun-2018, In : Argumentation. 32, 2, p. 301-307 7 p.

  Research output: Contribution to journal › Book/Film/Article review › Academic

  Open Access

  File
  153 Downloads (Pure)

• Evidential Reasoning

  Di Bello, M. & Verheij, B., 2018, Handbook of Legal Reasoning and Argumentation. Bongiovanni, G., Postema, G., Rotolo, A., Sartor, G., Valentini, C. & Walton, D. (eds.). Springer, p. 447-493

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
  3 Citations (Scopus)

• On Coherent Arguments And Their Inferential Roles (with commentary by M. Beirlaen)

  Verheij, B., 2018, Argumentation and Inference: Proceedings of the 2nd European Conference on Argumentation, Fribourg 2017 (Volume I). Oswald, S. & Maillat, D. (eds.). College Publications, Vol. 1. p. 385-404

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

• Research in progress: Report on the ICAIL 2017 doctoral

  Dymitruk, M., Markovich, R., Liepiņa, R., El Ghosh, M., van Doesburg, R., Governatori, G. & Verheij, B., 1-Mar-2018, In : Artificial Intelligence and Law. 26, 1, p. 49-97 49 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  3 Citations (Scopus)

  174 Downloads (Pure)
• 2017

  ARGUMENTATION THEORY IN FORMAL AND COMPUTATIONAL PERSPECTIVE

  van Eemeren, F. H. & Verheij, B., Sep-2017, In : Journal of applied logics-Ifcolog journal of logics and their applications. 4, 8, p. 2099-2181 83 p.

  Research output: Contribution to journal › Article › Academic › peer-review

• ARGUMENTATION THEORY IN FORMAL AND COMPUTATIONAL PERSPECTIVE

  van Eemeren, F. & Verheij, B., 2017, In : Journal of applied logics-Ifcolog journal of logics and their applications. 4, 8, p. 2099-2181 83 p.

  Research output: Contribution to journal › Article › Academic › peer-review

• A two-phase method for extracting explanatory arguments from Bayesian networks

  Timmer, S. T., Meyer, J. J. C., Prakken, H., Renooij, S. & Verheij, B., 1-Jan-2017, In : International Journal of Approximate Reasoning. 80, p. 475-494 20 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  28 Citations (Scopus)

  233 Downloads (Pure)

• Formalizing Arguments, Rules and Cases

  Verheij, B., 2017, ICAIL '17: Proceedings of the 16th international conference on Artificial int. London: Association for Computing Machinery, p. 199-208 10 p. (Proceedings of the 16th international conference on Artificial intelligence and law; vol. 10).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
  5 Citations (Scopus)

• Introduction to the special issue on Artificial Intelligence for Justice (AI4J)

  Bex, F., Prakken, H., van Engers, T. & Verheij, B., 2017, In : Artificial Intelligence and Law. 25, 3, p. 1-3

  Research output: Contribution to journal › Editorial › Academic › peer-review
  2 Citations (Scopus)

• Negotiating with other minds: the role of recursive theory of mind in negotiation with incomplete information

  de Weerd, H., Verbrugge, R. & Verheij, B., Mar-2017, In : Autonomous Agents and Multi-Agent Systems. 31, 2, p. 250-287 38 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  13 Citations (Scopus)

  297 Downloads (Pure)

• Proof with and without probabilities

  Verheij, B., Mar-2017, In : Artificial Intelligence and Law. 25, 1, p. 127-154 28 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  16 Citations (Scopus)

  170 Downloads (Pure)
• 2016

  A method for explaining Bayesian networks for legal evidence with scenarios

  Vlek, C. S., Prakken, H., Renooij, S. & Verheij, B., 2016, In : Artificial Intelligence and Law. 24, 3, p. 285-324

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  23 Citations (Scopus)

  348 Downloads (Pure)

• Argument & computation: Change and continuity

  Baroni, P. & Verheij, B., 2016, In : Argument & Computation. 7, 1, p. 1-2 2 p.

  Research output: Contribution to journal › Article › Professional

  Open Access

  File
  60 Downloads (Pure)

• Arguments, scenarios and probabilities; connections between three normative frameworks for evidential reasoning

  Verheij, B., Bex, F., Timmer, S. T., Vlek, C., Meyer, J. J. C., Renooij, S. & Prakken, H., 2016, In : Law, Probability & Risk. 15, 1, p. 35-70

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  33 Citations (Scopus)

  318 Downloads (Pure)

• Arguments for ethical systems design

  Verheij, B., 2016, Legal Knowledge and Information Systems. IOS Press, p. 101-110 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 294).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

• Correct grounded reasoning with presumptive arguments

  Verheij, B., 2016, Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. Michael, L. & Kakas, A. (eds.). Springer Verlag, p. 481-496 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10021 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
  7 Citations (Scopus)

• Formalizing correct evidential reasoning with arguments, scenarios and probabilities

  Verheij, B., 2016, Formalizing correct evidential reasoning with arguments, scenarios and probabilities. Ecai ed. p. 87-95 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Formalizing value-guided argumentation for ethical systems design

  Verheij, B., 1-Dec-2016, In : Artificial Intelligence and Law. 24, 4, p. 387-407 21 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  8 Citations (Scopus)

  206 Downloads (Pure)
• 2015

  A Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation

  Timmer, S., Meyer, J. J., Prakken, H., Renooij, S. & Verheij, B., 2015, ICAIL '15: Proceedings of the 15th International Conference on Artificial Intelligence and Law . New York: ACM Press, p. 109-118

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  13 Citations (Scopus)

• Capturing critical questions in Bayesian network fragments

  Timmer, S., Meyer, J-J. C., Prakken, H., Renooij, S. & Verheij, B., 2015, Legal Knowledge and Information Systems. : JURIX 2015: The Twenty-eighth Annual Conference. Rotolo, A. (ed.). Amsterdam: IOS Press, Vol. 279. p. 173-176 (Frontiers in Artificial Intelligence and Applications; vol. 279).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
  1 Citation (Scopus)

• Constructing and Understanding Bayesian Networks for Legal Evidence with Scenario Schemes

  Vlek, C., Prakken, H., Renooij, S. & Verheij, B., 8-Jun-2015, Proceedings of the 15th International Conference on Artificial Intelligence and Law. New York, USA: ACM Press, p. 128-137

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  6 Citations (Scopus)

  219 Downloads (Pure)

• Demonstration of a Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation

  Timmer, S. T., Meyer, J-J. C., Prakken, H., Renooij, S. & Verheij, B., 2015, ICAIL '15 Proceedings of the 15th International Conference on Artificial Intelligence and Law . New York: ACM Press Digital Library, p. 233-234

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  2 Citations (Scopus)

• Explaining Bayesian Networks using Argumentation

  Timmer, S. T., Meyer, J-J. C., Prakken, H., Renooij, S. & Verheij, B., 2015, Explaining Bayesian Networks using Argumentation: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. Destercke, S. & Denoeux, T. (eds.). Springer, p. 83-92 (Lecture Notes in Computer Science; vol. 9161).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  11 Citations (Scopus)

• Explaining legal Bayesian networks using support graphs

  Timmer, S., Meyer, J-J. C., Prakken, H., Renooij, S. & Verheij, B., 2015, Legal Knowledge and Information Systems. : JURIX 2015: The Twenty-eighth Annual Conference.. Rotolo, A. (ed.). Amsterdam: IOS Press, p. 121-130 (Frontiers in Artificial Intelligence and Applications; vol. 279).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

• Higher-order theory of mind in the Tacit Communication Game

  Weerd, de, H., Verbrugge, R. & Verheij, B., 1-Jan-2015, In : Biologically Inspired Cognitive Architectures. 11, p. 10-21 12 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  10 Citations (Scopus)