| 2024 | COMMA | Applying Argument Schemes for Simulating Online Review Platforms. | Jack Mumford, Stefan Sarkadi, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2024 | JURIX | Unravelling the ECHR: Components of Legal Case Analysis. | Jack Mumford, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2024 | JURIX | Values and Factor Ascription Arguments. | Tomasz Zurek, Adam Z. Wyner, Trevor J. M. Bench-Capon |
| 2023 | ICAIL | ANGELIC II: An Improved Methodology for Representing Legal Domain Knowledge. | Katie Atkinson, Trevor J. M. Bench-Capon |
| 2023 | ICAIL | Whatever Happened to Hypotheticals? | Trevor J. M. Bench-Capon |
| 2023 | ICAIL | Combining a Legal Knowledge Model with Machine Learning for Reasoning with Legal Cases. | Jack Mumford, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2023 | JURIX | A Note on Hierarchical Constraints. | Trevor J. M. Bench-Capon |
| 2023 | JURIX | Dimensions and Precedential Constraint: Factors Deriving from Multiple Dimensions. | Trevor J. M. Bench-Capon, Katie Atkinson |
| 2023 | JURIX | Human Performance on the AI Legal Case Verdict Classification Task. | Jack Mumford, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2022 | COMMA | Argument Schemes for Factor Ascription. | Trevor J. M. Bench-Capon, Katie Atkinson |
| 2022 | COMMA | Representing and Extracting Support via Complement-based Argumentation Frameworks. | Jack Mumford, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2022 | JURIX | Implementing a Theory of a Legal Domain. | Trevor J. M. Bench-Capon, Thomas F. Gordon |
| 2022 | JURIX | Unpacking Arguments. | Trevor J. M. Bench-Capon, Bart Verheij |
| 2022 | JURIX | Reasoning with Legal Cases: A Hybrid ADF-ML Approach. | Jack Mumford, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2021 | ICAIL | Practical tools from formal models: the ECHR as a case study. | Katie Atkinson, Joe Collenette, Trevor J. M. Bench-Capon, Kanstantsin Dzehtsiarou |
| 2021 | ICAIL | Using Issues to Explain Legal Decisions. | Trevor J. M. Bench-Capon |
| 2021 | ICAIL | Precedential constraint: the role of issues. | Trevor J. M. Bench-Capon, Katie Atkinson |
| 2021 | JURIX | Explaining Factor Ascription. | Jack Mumford, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2020 | COMMA | Explaining Legal Decisions Using IRAC. | Trevor J. M. Bench-Capon |
| 2020 | COMMA | An Explainable Approach to Deducing Outcomes in European Court of Human Rights Cases Using ADFs. | Joe Collenette, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2019 | ICAIL | Reasoning with Legal Cases: Analogy or Rule Application? | Katie Atkinson, Trevor J. M. Bench-Capon |
| 2019 | ICAIL | Norms and Extended Argumentation Frameworks. | Trevor J. M. Bench-Capon, Sanjay Modgil |
| 2019 | ICAIL | Describing the Development of Case Law. | John Henderson, Trevor J. M. Bench-Capon |
| 2019 | JURIX | Realising ANGELIC Designs Using Logiak. | Katie Atkinson, Trevor J. M. Bench-Capon, Tom Routen, Alejandro Snchez, Stuart Whittle, Rob Williams, Catriona Wolfenden |
| 2019 | JURIX | A Dialogical Model of Case Law Dynamics. | Trevor J. M. Bench-Capon, John Henderson |
| 2019 | SGAI | Demonstrating the Distinctions Between Persuasion and Deliberation Dialogues. | Yanko Kirchev, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2018 | COMMA | Relating the ANGELIC Methodology and ASPIC+. | Katie Atkinson, Trevor J. M. Bench-Capon |
| 2018 | COMMA | Implementing Factors with Magnitude. | Trevor J. M. Bench-Capon, Katie Atkinson |
| 2018 | JURIX | Lessons from Implementing Factors with Magnitude. | Trevor J. M. Bench-Capon, Katie Atkinson |
| 2017 | ICAIL | Angelic environment: demonstration. | Latifa Al-Abdulkarim, Katie Atkinson, Sam Atkinson, Trevor J. M. Bench-Capon |
| 2017 | ICAIL | Arguing with Dimensions in Legal Cases. | Trevor J. M. Bench-Capon |
| 2017 | ICAIL | Interpreting contracts using english common law rules as stated by Lord Hoffmann. | John Henderson, Trevor J. M. Bench-Capon |
| 2017 | JURIX | Noise Induced Hearing Loss: An Application of the Angelic Methodology. | Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon, Stuart Whittle, Rob Williams, Catriona Wolfenden |
| 2017 | JURIX | Dimensions and Values for Legal CBR. | Trevor J. M. Bench-Capon, Katie Atkinson |
| 2016 | COMMA | Argument Schemes for Reasoning About the Actions of Others. | Katie Atkinson, Trevor J. M. Bench-Capon |
| 2016 | ECAI | Value Based Reasoning and the Actions of Others. | Katie Atkinson, Trevor J. M. Bench-Capon |
| 2016 | ECAI | Value-Based Reasoning and Norms. | Trevor J. M. Bench-Capon |
| 2016 | JURIX | Statement Types in Legal Argument. | Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2016 | JURIX | ANGELIC Secrets: Bridging from Factors to Facts in US Trade Secrets. | Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2016 | JURIX | When and How to Violate Norms. | Trevor J. M. Bench-Capon, Sanjay Modgil |
| 2015 | ICAIL | Factors, issues and values: revisiting reasoning with cases. | Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2015 | ICAIL | Evaluating the use of abstract dialectical frameworks to represent case law. | Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2015 | JURIX | Cases and Stories, Dimensions and Scripts. | Trevor J. M. Bench-Capon, Floris Bex |
| 2015 | JURIX | Two Tools for Prototyping Legal CBR. | Trevor J. M. Bench-Capon, Thomas F. Gordon |
| 2014 | COMMA | Support for Factor-Based Argumentation. | Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2014 | COMMA | Taking the Long View: Looking Ahead in Practical Reasoning. | Katie Atkinson, Trevor J. M. Bench-Capon |
| 2014 | COMMA | Understanding narratives with argumentation. | Floris Bex, Trevor J. M. Bench-Capon |
| 2014 | JURIX | Abstract Dialectical Frameworks for Legal Reasoning. | Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2014 | JURIX | Analysing Norms with Transition Systems. | Trevor J. M. Bench-Capon |
| 2014 | JURIX | Argument-Based Policy Consultation Through Crowd Sourcing. | Joe Crawford, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2014 | SIMULTECH | Fostering co-operative behaviour through social intervention. | Martyn Lloyd-Kelly, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2013 | DEXA | Structuring E-Participation in Policy Making through Argumentation. | Trevor J. M. Bench-Capon |
| 2013 | ICAIL | Argument schemes for reasoning with legal cases using values. | Trevor J. M. Bench-Capon, Henry Prakken, Adam Z. Wyner, Katie Atkinson |
| 2013 | ICAIL | Argumentation based tools for policy-making. | Maya Wardeh, Adam Z. Wyner, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2013 | JURIX | From Oral Hearing to Opinion in the U.S. Supreme Court. | Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2013 | JURIX | From Oral Hearing to Opinion in The U.S. Supreme Court. | Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2013 | JURIX | Argumentation Schemes for Reasoning about Factors with Dimensions. | Katie Atkinson, Trevor J. M. Bench-Capon, Henry Prakken, Adam Z. Wyner |
| 2012 | AAMAS | Opinion gathering using a multi-agent systems approach to policy selection. | Adam Z. Wyner, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2012 | COMMA | Uniform Argumentation Frameworks. | Katie Atkinson, Trevor J. M. Bench-Capon, Paul E. Dunne |
| 2012 | COMMA | The Long and Winding Road: Forty Years of Argumentation. | Trevor J. M. Bench-Capon |
| 2012 | COMMA | Persuasion Strategies for Argumentation about Plans. | Rolando Medellin-Gasque, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2012 | COMMA | Critiquing Justifications for Action Using a Semantic Model: Demonstration. | Adam Z. Wyner, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2012 | COMMA | Semi-Automated Argumentative Analysis of Online Product Reviews. | Adam Z. Wyner, Jodi Schneider, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2012 | ICAART | Efficiency in Persuasion Dialogues. | Katie Atkinson, Priscilla Bench-Capon, Trevor J. M. Bench-Capon |
| 2012 | ICAART | A Strategy for Efficient Persuasion Dialogues. | Katie Atkinson, Priscilla Bench-Capon, Trevor J. M. Bench-Capon |
| 2012 | ICAART | Emotion as an Enabler of Co-operation. | Martyn Lloyd-Kelly, Katie Atkinson, Trevor J. M. Bench-Capon |
| 2012 | JURIX | What Makes a System a Legal Expert? | Trevor J. M. Bench-Capon |
| 2012 | JURIX | A Model-Based Critique Tool for Policy Deliberation. | Adam Z. Wyner, Maya Wardeh, Trevor J. M. Bench-Capon, Katie Atkinson |
| 2011 | ICAIL | Semantic models for policy deliberation. | Katie Atkinson, Trevor J. M. Bench-Capon, Dan Cartwright, Adam Z. Wyner |
| 2011 | ICAIL | Argument schemes for two-phase democratic deliberation. | Trevor J. M. Bench-Capon, Henry Prakken, Wietske Visser |
| 2011 | ICAIL | Towards formalising argumentation about legal cases. | Adam Z. Wyner, Trevor J. M. Bench-Capon, Katie Atkinson |
| 2011 | JURIX | Relating Values in a Series of Supreme Court Decisions. | Trevor J. M. Bench-Capon |
| 2011 | JURIX | What Makes a Story Plausible? The Need for Precedents. | Floris Bex, Trevor J. M. Bench-Capon, Bart Verheij |
| 2011 | JURIX | Populating an Online Consultation Tool. | Sarah Pulfrey-Taylor, Emily Henthorn, Katie Atkinson, Adam Z. Wyner, Trevor J. M. Bench-Capon |
| 2011 | PAKDD | Multi-agent Based Classification Using Argumentation from Experience. | Maya Wardeh, Frans Coenen, Trevor J. M. Bench-Capon, Adam Z. Wyner |
| 2010 | COMMA | Integrating Dialectical and Accrual Modes of Argumentation. | Sanjay Modgil, Trevor J. M. Bench-Capon |
| 2010 | COMMA | Exploring the Role of Emotions in Rational Decision Making. | Fahd Saud Nawwab, Paul E. Dunne, Trevor J. M. Bench-Capon |
| 2010 | COMMA | Arguing in Groups. | Maya Wardeh, Frans Coenen, Trevor J. M. Bench-Capon |
| 2010 | ECAI | Computation in Extended Argumentation Frameworks. | Paul E. Dunne, Sanjay Modgil, Trevor J. M. Bench-Capon |
| 2010 | JURIX | A lightweight formal model of two-phase democratic deliberation. | Trevor J. M. Bench-Capon, Henry Prakken |
| 2009 | DaWaK | Arguing from Experience to Classifying Noisy Data. | Maya Wardeh, Frans Coenen, Trevor J. M. Bench-Capon |
| 2009 | ICAIL | Isomorphism and argumentation. | Trevor J. M. Bench-Capon, Thomas F. Gordon |
| 2009 | ICAIL | Case law in extended argumentation frameworks. | Trevor J. M. Bench-Capon, Sanjay Modgil |
| 2009 | JURIX | A case study of hypothetical and value-based reasoning in US Supreme-Court cases. | Trevor J. M. Bench-Capon, Henry Prakken |
| 2008 | AIMSA | Abstract Argumentation Scheme Frameworks. | Katie Atkinson, Trevor J. M. Bench-Capon |
| 2008 | COMMA | Asking the right question: forcing commitment in examination dialogues. | Trevor J. M. Bench-Capon, Sylvie Doutre, Paul E. Dunne |
| 2008 | COMMA | Integrating Object and Meta-Level Value Based Argumentation. | Sanjay Modgil, Trevor J. M. Bench-Capon |
| 2008 | COMMA | A Methodology for Action-Selection using Value-Based Argumentation. | Fahd Saud Nawwab, Trevor J. M. Bench-Capon, Paul E. Dunne |
| 2008 | COMMA | Arguments from Experience: The PADUA Protocol. | Maya Wardeh, Trevor J. M. Bench-Capon, Frans Coenen |
| 2008 | COMMA | Modelling Judicial Context in Argumentation Frameworks. | Adam Zachary Wyner, Trevor J. M. Bench-Capon |
| 2008 | CSICC | Towards Dynamic Assignment of Rights and Responsibilities to Agents (Short Version). | Farnaz Derakhshan, Peter McBurney, Trevor J. M. Bench-Capon |
| 2008 | JURIX | Did He Jump or Was He Pushed? Abductive Practical Reasoning. | Floris Bex, Trevor J. M. Bench-Capon, Katie Atkinson |
| 2008 | JURIX | Argument Based Moderation of Benefit Assessment. | Maya Wardeh, Trevor J. M. Bench-Capon, Frans Coenen |
| 2008 | SGAI | PISA - Pooling Information from Several Agents: Multiplayer Argumentation from Experience. | Maya Wardeh, Trevor J. M. Bench-Capon, Frans Coenen |
| 2007 | AAAI | Action-Based Alternating Transition Systems for Arguments about Action. | Katie Atkinson, Trevor J. M. Bench-Capon |
| 2007 | ECSQARU | PADUA Protocol: Strategies and Tactics. | Maya Wardeh, Trevor J. M. Bench-Capon, Frans Coenen |
| 2007 | ECSQARU | Towards an Extensible Argumentation System. | Adam Zachary Wyner, Trevor J. M. Bench-Capon |
| 2007 | ICAIL | Argumentation and standards of proof. | Katie Atkinson, Trevor J. M. Bench-Capon |
| 2007 | JURIX | Argument Schemes for Legal Case-based Reasoning. | Adam Zachary Wyner, Trevor J. M. Bench-Capon |
| 2007 | JURIX | Arguments, Values and Baseballs: Representation of Popov v. Hayashi. | Adam Zachary Wyner, Trevor J. M. Bench-Capon, Katie Atkinson |
| 2007 | SGAI | Dynamic Rule Mining for Argumentation Based Systems. | Maya Wardeh, Trevor J. M. Bench-Capon, Frans Coenen |
| 2006 | COMMA | Justifying Actions by Accruing Arguments. | Trevor J. M. Bench-Capon, Henry Prakken |
| 2006 | COMMA | Automating Argumentation for Deliberation in Cases of Conflict of Interest. | Alison Chorley, Trevor J. M. Bench-Capon, Peter McBurney |
| 2006 | DEXA | Argumentation for Decision Support. | Katie Atkinson, Trevor J. M. Bench-Capon, Sanjay Modgil |
| 2006 | EUMAS | Agents Arguing over Ontology Alignments. | Loredana Laera, Valentina Tamma, Jrme Euzenat, Trevor J. M. Bench-Capon, Terry R. Payne |
| 2006 | JURIX | Zeno Revisited: Representation of Persuasive Argument. | Katie Atkinson, Trevor J. M. Bench-Capon |
| 2006 | JURIX | Modelling State Intervention in Cases of Conflicting Interests. | Alison Chorley, Trevor J. M. Bench-Capon |
| 2005 | EUMAS | Multi-Agent Argumentation for eDemocracy. | Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney |
| 2005 | ICAIL | Arguing about cases as practical reasoning. | Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney |
| 2005 | ICAIL | AGATHA: Automated Construction of Case Law Theories Through Heuristic Search. | Alison Chorley, Trevor J. M. Bench-Capon |
| 2005 | ICAIL | Application of Argument Based Machine Learning to Law. | Martin Mozina, Jure Zabkar, Trevor J. M. Bench-Capon, Ivan Bratko |
| 2005 | IJCAI | Explaining preferences with argument positions. | Sylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne |
| 2005 | IJCAI | Discovering Inconsistency through Examination Dialogues. | Paul E. Dunne, Sylvie Doutre, Trevor J. M. Bench-Capon |
| 2005 | JURIX | Theory and Practice in AI and Law: A Response to Branting. | Katie Atkinson, Trevor J. M. Bench-Capon |
| 2004 | DEXA | Support for Constructing Theories in Case Law Domains. | Alison Chorley, Trevor J. M. Bench-Capon |
| 2004 | DEXA | Identifying Audience Preferences in Legal and Social Domains. | Paul E. Dunne, Trevor J. M. Bench-Capon |
| 2004 | JELIA | Complexity in Value-Based Argument Systems. | Paul E. Dunne, Trevor J. M. Bench-Capon |
| 2003 | DEXA | Semantics for Interoperability: Relating Ontologies and Schemata. | Trevor J. M. Bench-Capon, Grant Malcolm, Michael J. R. Shave |
| 2003 | ICAIL | Suggestions for Standard Example Sets. | Trevor J. M. Bench-Capon |
| 2003 | ICAIL | Developing Legal Knowledge Based Systems Through Theory Construction. | Alison Chorley, Trevor J. M. Bench-Capon |
| 2003 | ICAIL | Towards a Computational Account of Persuasion in Law. | Katie Greenwood, Trevor J. M. Bench-Capon, Peter McBurney |
| 2002 | EKAW | Attribute Meta-properties for Formal Ontological Analysis. | Valentina Tamma, Trevor J. M. Bench-Capon |
| 2001 | FOIS | An enriched knowledge model for formal ontological analysis. | Valentina A. M. Tamma, Trevor J. M. Bench-Capon |
| 2001 | ICAIL | Theory based explanation of case law domains. | Trevor J. M. Bench-Capon, Giovanni Sartor |
| 2001 | ICAIL | Dynamic arguments in a case law domain. | John Henderson, Trevor J. M. Bench-Capon |
| 2001 | IJCAI | A knowledge model to support inconsistency management when reasoning with shared knowledge. | Valentina A. M. Tamma, Trevor J. M. Bench-Capon |
| 2000 | EKAW | Supporting Inheritance Mechanisms in Ontology Representation. | Valentina A. M. Tamma, Trevor J. M. Bench-Capon |
| 1999 | DEXA | Dialogue Management in a Virtual College. | Martin D. Beer, Trevor J. M. Bench-Capon, Andrew Sixsmith |
| 1999 | DEXA | Formalising Ontologies and Their Relations. | Trevor J. M. Bench-Capon, Grant Malcolm |
| 1999 | DEXA | Resolving Ontological Heterogeneity in the KRAFT Project. | Pepijn R. S. Visser, Martin D. Beer, Trevor J. M. Bench-Capon, B. M. Diaz, Michael J. R. Shave |
| 1999 | ICAIL | Some observations on modelling case based reasoning with formal argument models. | Trevor J. M. Bench-Capon |
| 1998 | DEXA | Specifying the Interaction Between Information Sources. | Trevor J. M. Bench-Capon |
| 1998 | ECAI | Spatio-temporal Reasoning Using a Multi-dimensional Tesseral Representation. | Frans Coenen, Bridget Beattie, Trevor J. M. Bench-Capon, B. M. Diaz, Michael J. R. Shave |
| 1997 | DEXA | A Tesseral Approach to n-Dimensional Spatial Reasoning. | Frans Coenen, Bridget Beattie, Trevor J. M. Bench-Capon, B. M. Diaz, Michael J. R. Shave |
| 1997 | ICAIL | Ontologies in Legal Information Systems: The Need for Explicit Specifications of Domain Conceptualisations. | Trevor J. M. Bench-Capon, Pepijn R. S. Visser |
| 1997 | ICAIL | A Method for the Development of Legal Knowledge Systems. | Pepijn R. S. Visser, Robert W. van Kralingen, Trevor J. M. Bench-Capon |
| 1996 | DEXA | An Ontology for Linear Spatial Reasoning. | Frans Coenen, Bridget Beattie, Trevor J. M. Bench-Capon, Michael J. R. Shave, B. M. Diaz |
| 1995 | DEXA | Spatial Reasoning for GIS Using a Tesseral Data Representation | Bridget Beattie, Frans Coenen, Trevor J. M. Bench-Capon, B. M. Diaz, Michael J. R. Shave |
| 1995 | DEXA | Developing Distributed Database Applications Using TSL | Frans Coenen, Ian Finch, Michael J. R. Shave, Trevor J. M. Bench-Capon |
| 1995 | ICAIL | PLAID: Proactive Legal Assistance. | Trevor J. M. Bench-Capon, Geof Staniford |
| 1993 | CoopIS | Cooperative Dialogues with the Support of Autonomous Agents. | Geof Staniford, Trevor J. M. Bench-Capon, Paul E. S. Dunne |
| 1993 | DEXA | Linearisation Schemata for Hypertext. | Trevor J. M. Bench-Capon, Paul E. S. Dunne, Geof Staniford |
| 1993 | ICAIL | Neural Networks and Open Texture. | Trevor J. M. Bench-Capon |
| 1993 | ICAIL | Representing Visual Conditions in a Legal knowledge Based System. | Frans Coenen, Trevor J. M. Bench-Capon, Peter Smeaton |
| 1992 | DEXA | Linearising Hypertext through Target Graph Specifications. | Trevor J. M. Bench-Capon, Paul E. S. Dunne, Geof Staniford |
| 1992 | DEXA | Building Knowledge Based Systems for Maintainability. | Frans Coenen, Trevor J. M. Bench-Capon |
| 1992 | DEXA | Electronic Chart Representation and Interaction. | Frans Coenen, Steve Fawcett, Peter Smeaton, Trevor J. M. Bench-Capon |
| 1992 | DEXA | Using Hypertext to Interface to Legal Knowledge Based Systems. | Paul Soper, Trevor J. M. Bench-Capon |
| 1992 | EKAW | Domain-Driven Knowledge Modelling: Mediating and Intermediate Representations for Knowledge Acquisition. | Hyacinth S. Nwana, Ray Paton, Michael J. R. Shave, Trevor J. M. Bench-Capon |
| 1991 | DEXA | A Graphical Interactive Tool for KBS Maintenance. | Frans Coenen, Trevor J. M. Bench-Capon |
| 1991 | ICAIL | Exploiting Isomorphism: Development of a KBS to Support British Coal Insurance Claims. | Trevor J. M. Bench-Capon |
| 1990 | DEXA | An Approach to the Integration of Legal Support Systems. | Trevor J. M. Bench-Capon, Paul E. S. Dunne |
| 1990 | PPSN | Transfer of Natural Metaphors to Parallel Problem Solvin Applications. | Ray Paton, Hyacinth S. Nwana, Michael J. R. Shave, Trevor J. M. Bench-Capon, Sheila Hughes |
| 1989 | ICAIL | Deep Models, Normative Reasoning and Legal Expert Systems. | Trevor J. M. Bench-Capon |
| 1987 | ICAIL | Support for Policy Makers: Formulating Legislation with the Aid of Logical Models. | Trevor J. M. Bench-Capon |
| 1987 | ICAIL | Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation. | Trevor J. M. Bench-Capon, G. O. Robinson, Tom Routen, Marek J. Sergot |