Bart Verheij's
web site

Publications

 Publications
Contents
Home
Contact information
Research
  (e.g., NWO Forensic Science)
Publications (or in blog-style)
Teaching
People
Miscellany
---
eNotes (@WordPress)
Vitae (@LinkedIn)
Author profile (@GoogleScholar)

Navigation
University of Groningen
Faculty of Mathematics and Natural Sciences
Institute of Artificial Intelligence and Cognitive Engineering (ALICE)
Multi-agent systems research group

Tools
Time and date
Wolfram|Alpha
Google Scholar
Wikipedia
Experiment: a blog-style version of my publication list (with a tag cloud that can help selecting publications)
Tool: a Google scholar query producing a list of my publications (with links to citations)
Tool: my Google Scholar author profile including a list of publications (with citation analysis)
Publications sorted by type, most recent first

    Books (research)

  • Verheij, B. (2005). Virtual Arguments. On the Design of Argument Assistants for Lawyers and Other Arguers. The Hague: TMC Asser Press. details pdf
  • Verheij, B. (1996). Rules, Reasons, Arguments. Formal Studies of Argumentation and Defeat. Maastricht: Dissertation Universiteit Maastricht. http://www.ai.rug.nl/~verheij/publications/proefschrift/. details pdf

    • Books, conference proceedings, book series (edited)

  • Verheij, B., Szeider, S., & Woltran, S. (eds.) (2012). Computational Models of Argument. Proceedings of COMMA 2012. Amsterdam: IOS Press. details pdf
  • Kaptein, H., Prakken, H., & Verheij, B. (eds.) (2009). Legal Evidence and Proof: Statistics, Stories, Logic (Applied Legal Philosophy Series). Farnham: Ashgate. details pdf
  • Hitchcock, D.L., & Verheij, B. (eds.) (2006). Arguing on the Toulmin Model. New Essays in Argument Analysis and Evaluation (Argumentation Library, Volume 10). Dordrecht: Springer-Verlag. details pdf
  • Leenes, R.E., & Verheij, B. (eds.) (2005). IAAIL Workshop Series, Vol. 1-5 (Second International ODR Workshop (odrworkshop.info), Argumentation in Artificial Intelligence and Law, The Role of Legal Knowledge in e-Government, LOAIT - Legal Ontologies and Artificial Intelligence Techniques, LEA 2005 – The Law of Electronic Agents). Nijmegen: Wolf Legal Publishers. details pdf
  • Lodder, A.R., Clark, E., Gordon, T.F., Katsh, E., Rule, C., Thiessen, E.M., Verheij, B., Walton, D.N., & Zeleznikow, J. (eds.) (2003). Proceedings of the ODRworkshop.org, Edinburgh, June 28 2003. Edinburgh: International Association for Artificial Intelligence and Law. details
  • Verheij, B., Lodder, A.R., Loui, R.P., & Muntjewerff, A.J. (eds.) (2001). Legal Knowledge and Information Systems. JURIX 2001: The Fourteenth Annual Conference. Amsterdam: IOS Press. details pdf

    • Journal special issue (edited)

  • Hitchcock, D.L., & Verheij, B. (eds.) (2005). Argumentation 19 (3). The Toulmin model today: special issue on contemporary work using Stephen Edelston Toulmin's layout of arguments. details pdf

    • Books (teaching material)

  • Hage, J.C., Verheij, B., & Fernhout, F. (2011). Vaardig met Recht. Vaardigheden voor Juristen. Vierde Druk (Skilful in the Law. Skills for Lawyers. Fourth Edition). The Hague: Boom Juridische Uitgevers. http://www.vaardigmetrecht.nl/. details
  • Hage, J.C., Verheij, B., & Fernhout, F. (2008). Vaardig met Recht. Vaardigheden voor Juristen. Derde Druk (Skilful in the Law. Skills for Lawyers. Third Edition). The Hague: Boom Juridische Uitgevers. details pdf
  • Hage, J.C., Verheij, B., & Fernhout, F. (2007). Vaardig met Recht. Vaardigheden voor Juristen. Tweede Druk (Skilful in the Law. Skills for Lawyers. Second Edition). The Hague: Boom Juridische Uitgevers. details
  • Verheij, B., Hage, J.C., van der Meer, T., & Span, G. (2004). Vaardig met Recht. Over Casus Oplossen en Andere Juridische Vaardigheden (Skilful in the Law. On Case Solving and Other Legal Skills). The Hague: Boom Juridische Uitgevers. details pdf

    • Journal articles

  • Bex, F.J., & Verheij, B. (2012). Legal Stories and the Process of Proof. Artificial Intelligence and Law . http://dx.doi.org/10.1007/s10506-012-9137-4. details pdf
  • Bex, F.J., Bench-Capon, T.J.M., & Verheij, B. (2012). What Makes a Story Plausible? The Need for Precedents. Jusletter IT, Die Zeitschrift für IT und Recht . http://jusletter-it.weblaw.ch/magnoliaPublic/issues/2012/12-09-2012/2038.html. Reprint of Bex, F.J., Bench-Capon, T.J.M., & Verheij, B. (2011). What Makes a Story Plausible? The Need for Precedents. Legal Knowledge and Information Systems. JURIX 2011: The Twenty-Fourth Annual Conference (ed. Atkinson, K.M.), 23-32. Amsterdam: IOS Press. details pdf
  • Bex, F.J., & Verheij, B. (2012). Solving a Murder Case by Asking Critical Questions: An Approach to Fact-Finding in Terms of Argumentation and Story Schemes. Argumentation 26 (3), 325-353. details pdf
  • Bench-Capon, T., Araszkiewicz, M., Ashley, K., Atkinson, K., Bex, F., Borges, F., Bourcier, D., Bourgine, D., Conrad, J.G., Francesconi, E., Gordon, T.F., Governatori, G., Leidner, J.L., Lewis, D.D., Loui, R.P., McCarty, L.T., Prakken, H., Schilder, F., Schweighofer, E., Thompson, P., Tyrrell, A., Verheij, B., Walton, D.N., & Wyner, A.Z. (2012). A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. Artificial Intelligence and Law 20 (3), 215-319. http://dx.doi.org/10.1007/s10506-012-9131-x. details pdf
  • Bex, F.J., van Koppen, P.J., Prakken, H., & Verheij, B. (2010). A Hybrid Formal Theory of Arguments, Stories and Criminal Evidence. Artificial Intelligence and Law 18 (2), 123-152. details pdf
  • Verheij, B. (2007). Argumentation Support Software: Boxes-and-Arrows and Beyond. Law, Probability & Risk 6, 187-208. details pdf
  • Bex, F.J., Van den Braak, S.W., Van Oostendorp, H., Prakken, H., Verheij, B., & Vreeswijk, G. (2007). Sense-Making Software for Crime Investigation: How to Combine Stories and Arguments? Law, Probability & Risk 6, 145-168. details pdf
  • Verheij, B. (2005). Evaluating Arguments Based on Toulmin's Scheme. Argumentation 19 (3), 347-371. details pdf
  • Hitchcock, D.L., & Verheij, B. (2005). The Toulmin Model Today: Introduction to Special Issue of Argumentation on Contemporary Work Using Stephen Edelston Toulmin's Layout of Arguments. Argumentation 19 (3), 255-258. details pdf
  • Verheij, B. (2003). Artificial Argument Assistants for Defeasible Argumentation. Artificial Intelligence 150 (1-2), 291-324. details pdf
  • Verheij, B. (2003). DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions. Journal of Logic and Computation 13 (3), 319-346. details pdf
  • Verheij, B. (2003). Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic. Artificial Intelligence and Law 11 (1-2), 167-195. details pdf
  • Verheij, B., Hage, J.C., & van Maanen, G.E. (1999). De Logica van de Onrechtmatige Daad. Nederlands Tijdschrift voor Burgerlijk Recht 16 (4), 95-102. details pdf
  • Lodder, A.R., & Verheij, B. (1999). Computer-Mediated Legal Argument: Towards New Opportunities in Education. Journal of Information, Law and Technology (JILT) 1999 (2). http://www2.warwick.ac.uk/fac/soc/law/elj/jilt/1999_2/lodder. details
  • Hage, J.C., & Verheij, B. (1999). The Law as a Dynamic Interconnected System of States of Affairs: a Legal Top Ontology. International Journal of Human-Computer Studies 51 (6), 1043-1077. details pdf
  • Verheij, B., Hage, J.C., & van den Herik, H.J. (1998). An Integrated View on Rules and Principles. Artificial Intelligence and Law 6 (1), 3-26. details pdf
  • Hage, J.C., & Verheij, B. (1994). Reason-Based Logic: a Logic for Reasoning with Rules and Reasons. Law, Computers & Artificial Intelligence 3 (2-3), 171-209. details pdf

    • Book chapters, conference & workshop proceedings papers (almost all refereed)

  • Verheij, B. (2012). Jumping to Conclusions. A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. 13th European Conference on Logics in Artificial Intelligence, JELIA 2012. Toulouse, France, September 2012. Proceedings (LNAI 7519) (eds. Fariñas del Cerro, L., Herzig, A., & Mengin, J.), 411-423. Berlin: Springer-Verlag. details pdf
  • Verheij, B. (2012). Integrating argumentation, narrative and probability in legal evidence (position paper). The Third Workshop on Computational Models of Narrative (CMN 2012), 174-175. http://narrative.csail.mit.edu/ws12/proceedings.pdf. details pdf
  • De Weerd, H., Verbrugge, R., & Verheij, B. (2012). Higher-order social cognition in rock-paper-scissors: A simulation study (extended abstract). International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (eds. Van der Hoek, W., Padgham, L., Conitzer, V., & Winikoff, M.), 1195-1196. details pdf
  • De Weerd, H., Verbrugge, R., & Verheij, B. (2012). Higher-order social cognition in rock-paper-scissors: A simulation study. Proceedings of the 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012) (eds. Bonanno, G., Van Ditmarsch, H., & W. van der Hoek), 218-232. details pdf
  • Bex, F.J., Bench-Capon, T.B.C., & Verheij, B. (2012). Persuasive Precedents. The Third Workshop on Computational Models of Narrative (CMN 2012), 169 -173. http://narrative.csail.mit.edu/ws12/proceedings.pdf. details pdf
  • de Weerd, H., & Verheij, B. (2011). The Advantage of Higher-Order Theory of Mind in the Game of Limited Bidding. Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives (RAOM-2011), Groningen, The Netherlands, July 11th, 2011 (eds. van Eijck, J., & Verbrugge, L.C.), 149-164. Aachen: CEUR-WS.org. http://CEUR-WS.org/Vol-751/. details pdf
  • Bex, F.J., Bench-Capon, T.J.M., & Verheij, B. (2011). What Makes a Story Plausible? The Need for Precedents. Legal Knowledge and Information Systems. JURIX 2011: The Twenty-Fourth Annual Conference (ed. Atkinson, K.M.), 23-32. Amsterdam: IOS Press. details pdf
  • Bex, F.J., & Verheij, B. (2011). Legal Shifts in the Process of Proof. The 13th International Conference on Artificial Intelligence and Law (ICAIL 2011). Proceedings of the Conference, 11-20. New York (New York): ACM. details pdf
  • Bex, F.J., & Verheij, B. (2011). Arguments, Stories and Evidence: Critical Questions for Fact-Finding. Proceedings of the Seventh Conference of the International Society for the Study of Argumentation (ISSA 2010). Amsterdam: SicSat. details pdf
  • de Bie, P., Scott-Phillips, T., Kirby, S., & Verheij, B. (2010). Using Software Agents to Investigate the Interactive Origins of Communication Systems. The Evolution of Language. Proceedings of the 8th International Conference (EvoLang8) (eds. Smith, A.D.M., Schouwstra, M., de Boer, B., & Smith, K.), 393-394. Singapore: World Scientific. details pdf
  • Verheij, B. (2010). Argumentation and Rules with Exceptions. Computational Models of Argument. Proceedings of COMMA 2010. Frontiers in Artificial Intelligence and Applications 216 (eds. Baroni, P., Cerutti, F., Giacomin, M., & Simari, G.R.), 455-462. Amsterdam: IOS Press. details pdf
  • Caminada, M.W.A., & Verheij, B. (2010). On the Existence of Semi-Stable Extensions. Proceedings of the 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010). http://bnaic2010.uni.lu/proceedings.html. details pdf
  • Bex, F.J., & Verheij, B. (2010). Het Onderbouwen van een Feitelijk Oordeel in een Strafzaak. Reizen met mijn Rechter. Psychologie van het Recht (eds. Van Koppen, P.J., Merckelbach, H., Jelicic, M., & De Keijser, J.W.), 935-952. Deventer: Kluwer. details pdf
  • Bex, F.J., & Verheij, B. (2010). Story Schemes for Argumentation about the Facts of a Crime. Computational Models of Narrative: Papers from the AAAI Fall Symposium (FS-10-04) (eds. Finlayson, M., Gervás, P., Mueller, E., Narayanan, S., & Winston, P.H.), 6-13. Menlo Park (California): AAAI Press. http://www.aaai.org/Press/Reports/Symposia/Fall/fs-10-04.php. details pdf
  • Verheij, B. (2009). The Toulmin Argument Model in Artificial Intelligence. Or: How Semi-Formal, Defeasible Argumentation Schemes Creep into Logic. Argumentation in Artificial Intelligence (eds. Rahwan, I., & Simari, G.), 219-238. Dordrecht: Springer. details pdf
  • Verheij, B., & Bex, F.J. (2009). Accepting the Truth of a Story about the Facts of a Criminal Case. Legal Evidence and Proof: Statistics, Stories, Logic (Applied Legal Philosophy Series) (eds. Kaptein, H., Prakken, H., & Verheij, B.), 161-193. Farnham: Ashgate. details pdf
  • Kaptein, H., Prakken, H., & Verheij, B. (2009). General Introduction. Legal Evidence and Proof: Statistics, Stories, Logic (Applied Legal Philosophy Series) (eds. Kaptein, H., Prakken, H., & Verheij, B.), 1-14. Farnham: Ashgate. details pdf
  • Colen, S., Cnossen, F., & Verheij, B. (2009). How Much Logical Structure is Helpful in Content-Based Argumentation Software for Legal Case Solving? The 12th International Conference on Artificial Intelligence and Law. Proceedings of the Conference, 224-225. New York (New York): ACM. details pdf
  • Colen, S., Cnossen, F., & Verheij, B. (2009). How Much Logical Structure is Helpful in Content-Based Argumentation Software for Legal Case Solving? (Abstract). Proceedings of the Thirty-First Annual Conference of the Cognitive Science Society (CogSci 2009) (eds. Taatgen, N., & van Rijn, H.). http://csjarchive.cogsci.rpi.edu/proceedings/2009/papers/213/. details pdf
  • Verheij, B. (2008). About the Logical Relations between Cases and Rules. Legal Knowledge and Information Systems. JURIX 2008: The Twenty-First Annual Conference (eds. Francesconi, E., Sartor, G., & Tiscornia, D.), 21-32. Amsterdam: IOS Press. details pdf
  • Verheij, B. (2007). A Coffeehouse Conversation on the Van den Herik Test. Liber Amicorum ter gelegenheid van de 60e verjaardag van Prof.dr. H. Jaap van den Herik, 155-163. Maastricht: Maastricht ICT Competence Center. details pdf
  • Verheij, B. (2007). Commentaar bij E.T. Feteris: 'Een Rationele Reconstructie van het Wegen van Belangen op Basis van Doelen'. 'Alles Afwegende....' Bijdragen aan het Vijfde Symposium Juridische Argumentatie. Rotterdam 22 juni 2007 (eds. Feteris, E.T., Kloosterhuis, H., Plug, H.J., & Pontier, J.A.), 127-129. Nijmegen: Ars Aequi Libri. details pdf
  • Verheij, B. (2007). A Labeling Approach to the Computation of Credulous Acceptance in Argumentation. IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 (ed. Veloso, M.M.), 623-628. http://www.ijcai.org/proceedings07.php. details pdf
  • Verheij, B. (2007). Over de Logische Samenhang tussen Casus en Regels. 'Alles Afwegende....' Bijdragen aan het Vijfde Symposium Juridische Argumentatie. Rotterdam 22 juni 2007 (eds. Feteris, E.T., Kloosterhuis, H., Plug, H.J., & Pontier, J.A.), 331-338. Nijmegen: Ars Aequi Libri. details pdf
  • Schweers, M., & Verheij, B. (2007). Beyond Boxes and Arrows: Argumentation Support in Terms of the Knowledge Structure of a Legal Topic. Legal Knowledge and Information Systems. JURIX 2007: The Twentieth Annual Conference (eds. Lodder, A.R., & Mommers, L.), 109-118. Amsterdam: IOS Press. details pdf
  • Bex, F.J., Prakken, H., & Verheij, B. (2007). Formalising Argumentative Story-Based Analysis of Evidence. The 11th International Conference on Artificial Intelligence and Law. Proceedings of the Conference, 1-10. New York (New York): ACM. details pdf
  • Bex, F.J., Van den Braak, S.W., Van Oostendorp, H., Prakken, H., Verheij, B., & Vreeswijk, G. (2007). Sense-Making Software for Crime Investigation: How to Combine Stories and Arguments? Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (eds. Dastani, M.M., & de Jong, E.), 311-312. details pdf
  • van der Vaart, E., de Boer, B., Hankel, A., & Verheij, B. (2006). Agents Adopting Agriculture: Modeling the Agricultural Transition. From Animals to Animats 9, 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings (Lecture Notes in Computer Science: Vol. 4095) (eds. Nolfi, S., Baldassarre, G., Calabretta, R., Hallam, J.C.T., Marocco, D., Meyer, J. -A, Miglino, O., & Parisi, D.), 750-761. Berlin: Springer-Verlag. details pdf
  • Verheij, B. (2006). Evaluating Arguments Based on Toulmin's Scheme. Arguing on the Toulmin Model. New Essays in Argument Analysis and Evaluation (eds. Hitchcock, D.L., & Verheij, B.), 181-202. Dordrecht: Springer-Verlag. details pdf
  • Hitchcock, D.L., & Verheij, B. (2006). Introduction. Arguing on the Toulmin Model. New Essays in Argument Analysis and Evaluation (eds. Hitchcock, D.L., & Verheij, B.), 1-23. Dordrecht: Springer-Verlag. details pdf
  • Bex, F.J., Prakken, H., & Verheij, B. (2006). Anchored Narratives in Reasoning about Evidence. Legal Knowledge and Information Systems. JURIX 2006: The Nineteenth Annual Conference (ed. van Engers, T.), 11-20. Amsterdam: IOS Press. details pdf
  • Verheij, B. (2004). Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic (abstract). Proceedings of the 16th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2004) (eds. Verbrugge, L.C., Taatgen, N., & Schomaker, L.R.B.), 297-298. details pdf
  • Verheij, B. (2004). Is Recht door een Evolutionair Proces Ontstaan? Over Leven en Recht. Opstellen Aangeboden aan Prof. mr. N.H.M. Roos ter Gelegenheid van zijn Afscheid als Hoogleraar Metajuridica (eds. van Dun, F., Baakman, N., Hage, J.C., & Jettinghoff, A.), 77-81. Maastricht: Shaker Publishing. details pdf
  • Roth, B., & Verheij, B. (2004). Cases and Dialectical Arguments - An Approach to Case-Based Reasoning. On the Move to Meaningful Internet Systems 2004: Otm 2004 Workshops, Proceedings (Lecture Notes in Computer Science, Vol. 3292), 634-651. details pdf
  • Roth, B., & Verheij, B. (2004). Dialectical Arguments and Case Comparison. Legal Knowledge and Information Systems. JURIX 2004: The Seventeenth Annual Conference (ed. Gordon, T.F.), 99-108. Amsterdam: IOS Press. details pdf
  • Verheij, B. (2003). Dialectical Argumentation with Argumentation Schemes: Towards a Methodology for the Investigation of Argumentation Schemes. Proceedings of the Fifth Conference of the International Society for the Study of Argumentation (ISSA 2002) (eds. van Eemeren, F.H., Blair, J.A., Willard, C.A., & Snoeck Henkemans, F.), 1033-1037. Amsterdam: Sic Sat. details pdf
  • Girle, R., Hitchcock, D.L., McBurney, P., & Verheij, B. (2003). Decision Support for Practical Reasoning: a theoretical and computational perspective. Argumentation Machines. New Frontiers in Argument and Computation (eds. Reed, C., & Norman, T.J.), 55-84. Dordrecht: Kluwer Academic Publishers. details pdf
  • Verheij, B. (2002). On the Existence and the Multiplicity of Extensions in Dialectical Argumentation. Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'2002) (eds. Benferhat, S., & Giunchiglia, E.), 416-425. Toulouse. details pdf
  • Verheij, B., & Hage, J.C. (2002). Rechtsinformatica als Tak van Wetenschap. Informatietechnologie voor Juristen (eds. Oskamp, A., & Lodder, A.R.), 69-91. Deventer: Kluwer. details pdf
  • Verheij, B. (2001). Anchored Narratives and Dialectical Argumentation. ICAIL-2001 Workshop on AI and Legal Evidence. details pdf
  • Verheij, B. (2001). Evaluating Arguments Based on Toulmin's Scheme. Argumentation and its Applications. Proceedings of the Fourth Biennial Conference of the Ontario Society for the Study of Argumentation (OSSA 2001) (eds. Hansen, H.V., Tindale, C.W., Blair, J.A., & Johnson, R.H.). details pdf
  • Verheij, B. (2001). Legal Decision Making as Dialectical Theory Construction with Argumentation Schemes. The 8th International Conference on Artificial Intelligence and Law. Proceedings of the Conference, 225-226. New York (New York): ACM. The full paper is available at http://www.ai.rug.nl/~verheij/publications/argsch.htm. details pdf
  • Verheij, B. (2000). Dialectical Argumentation as a Heuristic for Courtroom Decision Making. Rationality, Information and Progress in Law and Psychology. Liber Amicorum Hans F. Crombag (eds. van Koppen, P.J., & Roos, N.), 203-226. Maastricht: Metajuridica Publications. Argentine.Lankkamp@metajur.unimaas.nl. details pdf
  • Verheij, B. (2000). Oplossing van Casusposities over Onrechtmatige Daad met Moderne Logische Hulpmiddelen. Met Recht en Reden. Bijdragen aan het Derde Symposium Juridische Argumentatie, 18 juni 1999 te Rotterdam (eds. Feteris, E.T., Kloosterhuis, H., Plug, H.J., & Pontier, J.A.), 221-230. Nijmegen: Ars Aequi Libri. details
  • Verheij, B., & Lodder, A.R. (2000). L'Argumentation Juridique Assistée par l'Ordinateur: l'Approche Visuelle vs l'Approche Verbale. Droit et Intelligence Artificielle (eds. Bourcier, D., Hassett, P., & Roquilly, C.), 73-92. Paris: Romillat. French translation of 'Computer-Mediated Legal Argument: the Verbal vs. the Visual Approach' (1998). details
  • Hage, J.C., & Verheij, B. (2000). The Law as a Dynamic Interconnected System of States of Affairs: a Legal Top Ontology (Abstract). Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference (BNAIC '00). De Efteling, Kaatsheuvel (eds. van den Bosch, A., & Weigand, H.), 345-346. details pdf
  • Verheij, B. (1999). Automated Argument Assistance for Lawyers (abstract). BNAIC '99. Proceedings of the Eleventh Netherlands/Belgium Artificial Intelligence Conference (eds. Postma, E., & Gyssens, M.), 269-270. Maastricht. details
  • Verheij, B. (1999). Automated Argument Assistance for Lawyers. The Seventh International Conference on Artificial Intelligence and Law. Proceedings of the Conference, 43-52. New York (New York): ACM. details pdf
  • Verheij, B. (1999). Logic, Context and Valid Inference. Or: Can There be a Logic of Law? Legal Knowledge Based Systems. JURIX 1999: The Twelfth Conference (eds. van den Herik, H.J., Moens, M. -F, Bing, J., van Buggenhout, B., Zeleznikow, J., & Grütters, C.A.F.M.), 109-121. Nijmegen: Gerard Noodt Instituut. details pdf
  • Hage, J.C., & Verheij, B. (1999). Rechtsinformatica: de Stand van Zaken in de Wetenschap. Informatietechnologie voor Juristen. Handboek voor de Jurist in de 21e Eeuw (eds. Oskamp, A., & Lodder, A.R.), 65-92. Deventer: Kluwer. details pdf
  • Verheij, B. (1998). Argue! - an Implemented System for Computer-Mediated Defeasible Argumentation. NAIC '98. Proceedings of the Tenth Netherlands/Belgium Conference on Artificial Intelligence (eds. La Poutré, H., & van den Herik, H.J.), 57-66. Amsterdam: CWI. details pdf
  • Verheij, B. (1998). ArguMed - A Template-Based Argument Mediation System for Lawyers. Legal Knowledge Based Systems. JURIX: The Eleventh Conference (eds. Hage, J.C., Bench-Capon, T.J.M., Koers, A.W., de Vey Mestdagh, C.N.J., & Grütters, C.A.F.M.), 113-130. Nijmegen: Gerard Noodt Instituut. details pdf
  • Verheij, B. (1998). Argument Mediation for Lawyers: the Presentation of Arguments. Proceedings of the Fourth International Conference of the International Society for the Study of Argumentation (eds. van Eemeren, F.H., Grootendorst, R., Blair, J.A., & Willard, C.A.), 820-828. Amsterdam: Sic Sat. details
  • Verheij, B., & Lodder, A.R. (1998). Computer-Mediated Legal Argument: the Verbal vs. the Visual Approach. Proceedings of the 2nd French-American Conference on Artificial Intelligence and Law - June 11-12. Nice. details
  • Lodder, A.R., & Verheij, B. (1998). Opportunities of Computer-Mediated Legal Argument in Education. Proceedings of the BILETA-Conference - March 27-28. Ireland: Dublin. details
  • Verheij, B., & Hage, J.C. (1997). States of Affairs, Events, and Rules: an Abstract Model of the Law. Legal Knowledge Based Systems. JURIX: The Tenth Conference (eds. Oskamp, A., de Mulder, R.V., van Noortwijk, C., Grütters, C.A.F.M., Ashley, K.D., & Gordon, T.F.), 3-20. Nijmegen: The Foundation for Legal Knowledge Systems. details pdf
  • Verheij, B., Hage, J.C., & Lodder, A.R. (1997). Logical Tools for Legal Argument: a Practical Assessment in the Domain of Tort. The Sixth International Conference on Artificial Intelligence and Law. Proceedings of the Conference, 243-249. New York (New York): ACM. details pdf
  • Verheij, B. (1996). An Integrated View on Rules and Principles. Legal Knowledge Based Systems. JURIX '96. Foundations of Legal Knowledge Systems (eds. van Kralingen, R.W., van den Herik, H.J., Prins, J.E.J., Sergot, M., & Zeleznikow, J.), 25-38. Tilburg: Tilburg University Press. details pdf
  • Verheij, B. (1996). Two Approaches to Dialectical Argumentation: Admissible Sets and Argumentation Stages. NAIC'96. Proceedings of the Eighth Dutch Conference on Artificial Intelligence (eds. Meyer, J. -J Ch, & van der Gaag, L.C.), 357-368. Utrecht: Universiteit Utrecht. A preliminary version was presented at the Computational Dialectics Workshop at FAPR-96. June 3-7, 1996, Bonn. details pdf
  • Verheij, B. (1995). Accrual of Arguments in Defeasible Argumentation. Dutch/German Workshop on Nonmonotonic Reasoning. Proceedings of the Second Workshop, 217-224. Delft University of Technology, Universiteit Utrecht. details pdf
  • Verheij, B. (1995). Arguments and Defeat in Argument-Based Nonmonotonic Reasoning. Progress in Artificial Intelligence. 7th Portuguese Conference on Artificial Intelligence (EPIA '95; Lecture Notes in Artificial Intelligence, Vol. 990) (eds. Pinto-Ferreira, C., & Mamede, N.J.), 213-224. Berlin: Springer-Verlag. details pdf
  • Verheij, B. (1995). The Influence of Defeated Arguments in Defeasible Argumentation. WOCFAI 95. Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence (eds. De Glas, M., & Pawlak, Z.), 429-440. Paris: Angkor. details pdf
  • Verheij, B. (1995). Reason Based Logic in Law. Verso un sistema esperto giuridico integrale (eds. Ciampi, C., Natali, F.S., & Elmi, G.T.), 681-693. Padova: CEDAM. details pdf
  • Verheij, B. (1994). Reason Based Logic and Legal Knowledge Representation. Proceedings of the Fourth National Conference on Law, Computers and Artificial Intelligence (eds. Carr, I., & Narayanan, A.), 154-165. University of Exeter. details
  • Verheij, B., & Hage, J.C. (1994). Reasoning by Analogy: a Formal Reconstruction. Legal knowledge based systems. The relation with legal theory (eds. Prakken, H., Muntjewerff, A.J., & Soeteman, A.), 65-78. Lelystad: Koninklijke Vermande. details pdf
  • Hage, J.C., & Verheij, B. (1994). Towards a Logic for Reasoning with Norms. ECAI'94 Workshop W9, Artificial Normative Reasoning (ed. Breuker, J.A.), 160-177. details
  • Verheij, B., & Hage, J.C. (1993). Reason Based Logic in Law. Towards a global expert system in law. A glance at the conference (eds. Bargellini, G., & Binazzi, S.), 110-111. Florence.
  • Hage, J.C., Verheij, B., & Lodder, A.R. (1993). Reason Based Logic. A Logic that Deals with Rules and Reasons. Working Papers NAIC '93 (eds. Akkermans, J.M., & Breuker, J.A.), 293-304. details pdf

    • Book reviews, comments

  • Verheij, B. (2005). Building Blocks of a Legal System. Comments on Summers' Preadvies for the Vereniging voor Wijsbegeerte van het Recht. Rechtsfilosofie & Rechtstheorie 34 (2), 200-204. details pdf
  • Verheij, B. (2003). Book Review: M. MacCrimmon and P. Tillers (eds.), The Dynamics of Judicial Proof. Computation, Logic, and Common Sense. Artificial Intelligence and Law 11 (3), 299-303. details pdf
  • Verheij, B. (2001). Book Review of D. Walton's 'The New Dialectic', 'Ad Hominem Arguments' and 'One-Sided Arguments'. Artificial Intelligence and Law 9, 305-313. details pdf
  • Verheij, B. (2000). Book Review: Formalism and Interpretation in the Logic of Law (Review of H. Prakken's 'Logical Tools for Modelling Legal Argument'). Artificial Intelligence and Law 8, 35-65. details pdf
  • Verheij, B. (1999). De Bouw van Juridische Kennissystemen. Boekbespreking van: M.C.M. Weusten, De Bouw van Juridische Kennissystemen, KRT: Methodologie en Gereedschap (Proefschrift Universiteit Utrecht). Recht & Elektronische Media (R&EM) 1999 (3), 19-22. Ook gepubliceerd in BNVKI Newsletter 16 (5), 145-149. details pdf
  • Verheij, B. (1998). Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law door Henry Prakken (boekbespreking). NVKI Nieuwsbrief 15 (2), 54-60. details pdf
  • Verheij, B. (1997). Bespreking Proefschrift Kees de Vey Mestdagh. Juridische Kennissystemen. Rekentuig of Rekenmeester? NVKI Nieuwsbrief 14 (6), 167-173. details pdf

    • Technical reports

  • Verheij, B. (2009). A Note on the Semi-Stable Semantics of Abstract Argumentation Systems. Technical report. details pdf
  • Verheij, B. (2005). An Argumentation Core Ontology as the Centerpiece of a Myriad of Argumentation Formats. Input Agentlink Argumentation Interchange Format Technical Forum 2005 . http://www.x-opennet.org/aif/. details pdf
  • Verheij, B. (2000). DefLog - a Logic of Dialectical Justification and Defeat. Technical Report. http://www.ai.rug.nl/~verheij/publications/DefLog15.htm. details pdf

    • Miscellany

  • Verheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2011). AI@Rug Newsletter 6 (2). details
  • Verheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2011). AI@Rug Newsletter 6 (1). details
  • Verheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2010). AI@Rug Newsletter 5 (1). details
  • Verheij, B., Valkenier, B., Niessink, H., & Schomaker, L.R.B. (eds.) (2010). AI@Rug Newsletter 5 (2). details
  • Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2009). AI@Rug Newsletter 4 (1). details
  • Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2009). AI@Rug Newsletter 4 (2). details
  • Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2008). AI@Rug Newsletter 3 (1). details
  • Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2008). AI@Rug Newsletter 3 (2). details
  • Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2007). AI@Rug Newsletter 2 (1). details
  • Verheij, B., van Maanen, L., Niessink, H., & Schomaker, L.R.B. (eds.) (2007). AI@Rug Newsletter 2 (2). details
  • Verheij, B., Niessink, H., Schomaker, L.R.B., & Zondervan, K. (eds.) (2006). AI@Rug Newsletter 1 (1). details
  • Verheij, B., Niessink, H., Schomaker, L.R.B., & Zondervan, K. (eds.) (2006). AI@Rug Newsletter 1 (2). details
  • Verheij, B. (2000). Logic and Reasoning 1 (BNAIC 2000 Report). BNVKI Newsletter 17 (6), 132-133.
  • Verheij, B. (2000). Van Advies naar Ondersteuning. Recht & Elektronische Media (R&EM) 2000 (2), 2-3. details pdf
  • Verheij, B. (1998). Automatisch Categoriseren van Tekst en Mogelijke Toepassingen in de Rechtsinformatica. Bespreking van Lezing door Marie-Francine Moens. NVKI Nieuwsbrief 15 (2), 51-52.
  • Verheij, B. (1996). Conference Report. FAPR '96: The International Conference on Formal and Applied Practical Reasoning. http://www.ai.rug.nl/~verheij/publications/fapr96report/. details pdf
  • Verheij, B. (1995). Frame-Based Conceptual Models of Statute Law. Bespreking Lezing Robert van Kralingen. NVKI Nieuwsbrief 12 (5), 129-130.
  • Verheij, B. (1995). Rules and Reasons: from Ontology to Rational Standards for Defeasible Reasoning. Report SKBS/B3.A/95-07 .
  • Verheij, B. (1993). ARCHIMEDES Legal Object and Link Types in the ARCHIMEDES Information Network. Report SKBS/B3.A/93-02 .
  • Verheij, B. (1993). ARCHIMEDES Reason Based Logic Formalized. Report SKBS/B3.A/93-13 .
  • Verheij, B. (1992). Derde Bijeenkomst Werkgroep Logica en Recht. NVKI Nieuwsbrief 9 (4), 123-124.
  • Verheij, B. (1992). Het ARCHIMEDES Project: Slim Zoeken in Veel Informatiebronnen. Hypothetische Conclusies van de Beoogde Dissertaties Assistenten in Opleiding Jaargang 1992 .
  • Hage, J.C., Span, G., Verheij, B., & Lodder, A.R. (1992). ARCHIMEDES An Illustrated Overview of the Legal Applications. Report SKBS/B3.A/92-09 .