All Stories

  1. Annotated insights into legal reasoning: A dataset of Article 6 ECHR cases

    Article • Argument & Computation, July 2024, IOS Press

    Professor Katie Atkinson, Prof Trevor J M bench-Capon

  2. Combining a Legal Knowledge Model with Machine Learning for Reasoning with Legal Cases

    Article • June 2023, ACM (Association for Computing Machinery)

    Professor Katie Atkinson, Prof Trevor J M bench-Capon

  3. Whatever Happened to Hypotheticals?

    Article • June 2023, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  4. ANGELIC II

    Article • June 2023, ACM (Association for Computing Machinery)

    Professor Katie Atkinson, Prof Trevor J M bench-Capon

  5. Argumentation schemes in AI and Law

    Article • Argument & Computation, November 2021, IOS Press

    Professor Katie Atkinson, Prof Trevor J M bench-Capon

  6. Practical tools from formal models

    Article • June 2021, ACM (Association for Computing Machinery)

    Professor Katie Atkinson, Prof Trevor J M bench-Capon

  7. Precedential constraint

    Article • June 2021, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon, Professor Katie Atkinson

  8. Before and after Dung: Argumentation in AI and Law

    Article • Argument & Computation, May 2020, IOS Press

    Prof Trevor J M bench-Capon

  9. Ethical approaches and autonomous systems

    Article • Artificial Intelligence, April 2020, Elsevier

    Prof Trevor J M bench-Capon

  10. The Need for Good Old Fashioned AI and Law

    Article • Jusletter IT, January 2020, Weblaw

    Prof Trevor J M bench-Capon

  11. States, goals and values: Revisiting practical reasoning

    Article • Argument & Computation, November 2016, IOS Press

    Prof Trevor J M bench-Capon, Professor Katie Atkinson

  12. Accommodating change

    Article • Artificial Intelligence and Law, November 2016, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  13. Special issue in memory of Carole Hafner: editor’s introduction

    Article • Artificial Intelligence and Law, November 2016, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  14. A methodology for designing systems to reason with legal cases using Abstract Dialectical Frameworks

    Article • Artificial Intelligence and Law, March 2016, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  15. Establishing norms with metanorms in distributed computational systems

    Article • Artificial Intelligence and Law, October 2015, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  16. Transition systems for designing and reasoning about norms

    Article • Artificial Intelligence and Law, October 2015, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  17. Senses of ‘argument’ in instantiated argumentation frameworks

    Article • Argument & Computation, January 2015, Taylor & Francis

    Prof Trevor J M bench-Capon

  18. Evaluating the use of abstract dialectical frameworks to represent case law

    Article • January 2015, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  19. Factors, issues and values

    Article • January 2015, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  20. Using Argumentation to Structure E-Participation in Policy Making

    Article • January 2015, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  21. Arguments as a new perspective on character motive in stories

    Article • Literary and Linguistic Computing, October 2014, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  22. Dilemmas and paradoxes: cycles in argumentation frameworks

    Article • Journal of Logic and Computation, February 2014, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  23. Distinctive features of persuasion and deliberation dialogues

    Article • Argument & Computation, June 2013, Taylor & Francis

    Prof Trevor J M bench-Capon

  24. Strategies for question selection in argumentative dialogues about plans

    Article • Argument & Computation, June 2013, Taylor & Francis

    Prof Trevor J M bench-Capon

  25. A formalization of argumentation schemes for legal case-based reasoning in ASPIC+

    Article • Journal of Logic and Computation, May 2013, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  26. A Strategy for Efficient Persuasion Dialogues

    Article • January 2013, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  27. Argument schemes for reasoning with legal cases using values

    Article • January 2013, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  28. Argumentation based tools for policy-making

    Article • January 2013, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  29. On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks

    Article • January 2013, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  30. Structuring E-Participation in Policy Making through Argumentation

    Article • January 2013, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  31. A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law

    Article • Artificial Intelligence and Law, September 2012, Springer Science + Business Media

    Prof Trevor J M bench-Capon, Dr Guido Governatori

  32. A factor-based definition of precedential constraint

    Article • Artificial Intelligence and Law, May 2012, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  33. Multi-agent based classification using argumentation from experience

    Article • Autonomous Agents and Multi-Agent Systems, May 2012, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  34. PISA: A framework for multiagent classification using argumentation

    Article • Data & Knowledge Engineering, May 2012, Elsevier

    Prof Trevor J M bench-Capon

  35. Representing Popov v Hayashi with dimensions and factors

    Article • Artificial Intelligence and Law, March 2012, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  36. Arguments over Co-operative Plans

    Article • January 2012, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  37. Model Based Critique of Policy Proposals

    Article • January 2012, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  38. Open Texture and Argumentation: What Makes an Argument Persuasive?

    Article • January 2012, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  39. Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems

    Article • Journal of Logic and Computation, August 2011, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  40. Using argumentation to model agent decision making in economic experiments

    Article • Autonomous Agents and Multi-Agent Systems, May 2011, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  41. Arguing from experience using multiple groups of agents

    Article • Argument & Computation, March 2011, Taylor & Francis

    Prof Trevor J M bench-Capon

  42. Argument schemes for two-phase democratic deliberation

    Article • January 2011, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  43. Semantic models for policy deliberation

    Article • January 2011, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  44. Towards a Structured Online Consultation Tool

    Article • January 2011, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  45. Towards formalising argumentation about legal cases

    Article • January 2011, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  46. Metalevel argumentation

    Article • Journal of Logic and Computation, September 2010, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  47. Arguing Global Governance

    Article • September 2010, Taylor & Francis

    Prof Trevor J M bench-Capon

  48. Using argument schemes for hypothetical reasoning in law

    Article • Artificial Intelligence and Law, June 2010, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  49. Emotions in Rational Decision Making

    Article • January 2010, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  50. Multi-Party Argument from Experience

    Article • January 2010, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  51. PADUA: a protocol for argumentation dialogue using association rules

    Article • Artificial Intelligence and Law, July 2009, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  52. Editorial: Logic and Law Corner

    Article • Journal of Logic and Computation, March 2009, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  53. Modelling Judicial Context in Argumentation Frameworks

    Article • Journal of Logic and Computation, March 2009, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  54. Did he jump or was he pushed?

    Article • Artificial Intelligence and Law, February 2009, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  55. Abstract Argumentation and Values

    Article • January 2009, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  56. Arguing from Experience to Classifying Noisy Data

    Article • January 2009, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  57. Argumentation in Legal Reasoning

    Article • January 2009, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  58. Case law in extended argumentation frameworks

    Article • January 2009, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  59. Isomorphism and argumentation

    Article • January 2009, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  60. Addressing moral problems through practical reasoning

    Article • Journal of Applied Logic, June 2008, Elsevier

    Prof Trevor J M bench-Capon

  61. Towards Dynamic Assignment of Rights and Responsibilities to Agents (Short Version)

    Article • January 2008, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  62. Introducing the Logic and Law Corner

    Article • Journal of Logic and Computation, September 2007, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  63. Argumentation in artificial intelligence

    Article • Artificial Intelligence, July 2007, Elsevier

    Prof Trevor J M bench-Capon

  64. Practical reasoning as presumptive argumentation using action based alternating transition systems

    Article • Artificial Intelligence, July 2007, Elsevier

    Prof Trevor J M bench-Capon

  65. Argumentation and standards of proof

    Article • January 2007, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  66. Argumentation over ontology correspondences in MAS

    Article • January 2007, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  67. Audiences in argumentation frameworks

    Article • Artificial Intelligence, January 2007, Elsevier

    Prof Trevor J M bench-Capon

  68. An empirical investigation of reasoning with legal cases through theory construction and application

    Article • Artificial Intelligence and Law, September 2006, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  69. Computational Representation of Practical Argument

    Article • Synthese, September 2006, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  70. PARMENIDES: Facilitating Deliberation in Democracies

    Article • Artificial Intelligence and Law, July 2006, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  71. Persuasion and Value in Legal Argument

    Article • Journal of Logic and Computation, December 2005, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  72. A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action

    Article • Autonomous Agents and Multi-Agent Systems, September 2005, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  73. AGATHA: Using heuristic search to automate the construction of case law theories

    Article • Artificial Intelligence and Law, March 2005, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  74. Argument Based Machine Learning Applied to Law

    Article • Artificial Intelligence and Law, March 2005, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  75. Argumentation in AI and Law: Editors' Introduction

    Article • Artificial Intelligence and Law, March 2005, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  76. Legal Case-based Reasoning as Practical Reasoning

    Article • Artificial Intelligence and Law, March 2005, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  77. AGATHA

    Article • January 2005, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  78. Application of argument based machine learning to law

    Article • January 2005, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  79. Arguing about cases as practical reasoning

    Article • January 2005, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  80. Determining Preferences Through Argumentation

    Article • January 2005, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  81. SweetProlog: A System to Integrate Ontologies and Rules

    Article • January 2004, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  82. A model of legal reasoning with cases incorporating theories and values

    Article • Artificial Intelligence, November 2003, Elsevier

    Prof Trevor J M bench-Capon

  83. Two party immediate response disputes: Properties and efficiency

    Article • Artificial Intelligence, October 2003, Elsevier

    Prof Trevor J M bench-Capon

  84. Persuasion in Practical Argument Using Value-based Argumentation Frameworks

    Article • Journal of Logic and Computation, June 2003, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  85. Developing legal knowledge based systems through theory construction

    Article • January 2003, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  86. Towards a computational account of persuasion in law

    Article • January 2003, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  87. Try to See it My Way: Modelling Persuasion in Legal Discourse

    Article • Artificial Intelligence and Law, January 2003, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  88. Coherence in finite argument systems

    Article • Artificial Intelligence, October 2002, Elsevier

    Prof Trevor J M bench-Capon

  89. An ontology model to facilitate knowledge-sharing in multi-agent systems

    Article • The Knowledge Engineering Review, March 2002, Cambridge University Press

    Prof Trevor J M bench-Capon

  90. Article • Artificial Intelligence and Law, January 2002, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  91. Dynamic arguments in a case law domain

    Article • January 2001, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  92. Theory based explanation of case law domains

    Article • January 2001, ACM (Association for Computing Machinery)

    Prof Trevor J M bench-Capon

  93. Validation and verification of knowledge-based systems: report on EUROVAV99

    Article • The Knowledge Engineering Review, June 2000, Cambridge University Press

    Prof Trevor J M bench-Capon

  94. The KRAFT architecture for knowledge fusion and transformation

    Article • Knowledge-Based Systems, April 2000, Elsevier

    Prof Trevor J M bench-Capon

  95. Temporal reasoning using tesseral addressing: towards an intelligent environmental impact assessment system

    Article • Knowledge-Based Systems, September 1996, Elsevier

    Prof Trevor J M bench-Capon

  96. Techniques for the verification and validation of knowledge-based systems: A survey based on the symbol/knowledge level distinction

    Article • Software Testing Verification and Reliability, January 1995, Wiley

    Prof Trevor J M bench-Capon

  97. Domain-driven knowledge modelling for knowledge acquisition

    Article • Knowledge Acquisition, September 1994, Elsevier

    Prof Trevor J M bench-Capon

  98. An Examination of Some Metaphorical Contexts for Biologically Motivated Computing

    Article • The British Journal for the Philosophy of Science, January 1994, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  99. In defence of rule‐based representations for legal knowledge‐based systems

    Article • Information & Communications Technology Law, January 1994, Taylor & Francis

    Prof Trevor J M bench-Capon

  100. Coupling hypertext and knowledge based systems: Two applications in the legal domain

    Article • Artificial Intelligence and Law, January 1994, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  101. Argument‐based explanation of the British nationality act as a logic program

    Article • Information & Communications Technology Law, January 1993, Taylor & Francis

    Prof Trevor J M bench-Capon

  102. Integrating legal support systems through document models

    Article • Expert Systems with Applications, January 1992, Elsevier

    Prof Trevor J M bench-Capon

  103. Isomorphism and legal knowledge based systems

    Article • Artificial Intelligence and Law, January 1992, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  104. Maintenance tools for knowledge-based systems: the MAKE project

    Article • Expert Systems with Applications, January 1992, Elsevier

    Prof Trevor J M bench-Capon

  105. The maintenance of legal knowledge based systems

    Article • Artificial Intelligence Review, January 1992, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  106. Argument-based explanation of logic programs

    Article • Knowledge-Based Systems, September 1991, Elsevier

    Prof Trevor J M bench-Capon

  107. Hierarchical formalizations

    Article • International Journal of Man-Machine Studies, July 1991, Elsevier

    Prof Trevor J M bench-Capon

  108. Expert systems in the UK: From AI to KBS

    Article • Expert Systems with Applications, January 1991, Elsevier

    Prof Trevor J M bench-Capon

  109. Logic

    Article • January 1990, Elsevier

    Prof Trevor J M bench-Capon

  110. Introduction to Knowledge Representation

    Article • January 1990, Elsevier

    Prof Trevor J M bench-Capon

  111. Logic and Predicate Calculus

    Article • January 1990, Elsevier

    Prof Trevor J M bench-Capon

  112. Some Issues in Knowledge Representation

    Article • January 1990, Elsevier

    Prof Trevor J M bench-Capon

  113. Modelling devices and modelling speakers

    Article • Interacting with Computers, August 1989, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  114. People interact through computers not with them

    Article • Interacting with Computers, April 1989, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  115. Humpty dumpty, private languages and logic programmers

    Article • AI & Society, July 1988, Springer Science + Business Media

    Prof Trevor J M bench-Capon

  116. Knowledge representation

    Article • January 1987, Elsevier

    Prof Trevor J M bench-Capon

  117. Reinterpreting the Proofs of The Existence of God

    Article • Religious Studies, September 1980, Cambridge University Press

    Prof Trevor J M bench-Capon

  118. A note on Mr. Karmo's disturbances

    Article • Analysis, June 1977, Oxford University Press (OUP)

    Prof Trevor J M bench-Capon

  119. Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation

    Article • Springer Science + Business Media

    Prof Trevor J M bench-Capon

  120. Abstract Argumentation Scheme Frameworks

    Article • Springer Science + Business Media

    Prof Trevor J M bench-Capon

  121. ARGUMENTATION

    Article • Springer Science + Business Media

    Prof Trevor J M bench-Capon

  122. The ideal audience and artificial intelligence and law

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof Trevor J M bench-Capon

  123. A multi-agent legal argument generator

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof Trevor J M bench-Capon

  124. An experiment in discovering association rules in the legal domain

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof Trevor J M bench-Capon