 | 2009 |
|---|
| 158 |       | Trevor J. M. Bench-Capon,
Katie Atkinson,
Peter McBurney:
Altruism and agents: an argumentation based approach to designing agent decision mechanisms.
AAMAS (2) 2009: 1073-1080 |
| 157 | | Maya Wardeh,
Frans Coenen,
Trevor J. M. Bench-Capon:
Arguing from Experience to Classifying Noisy Data.
DaWaK 2009: 354-365 |
| 156 | | Trevor J. M. Bench-Capon,
Thomas F. Gordon:
Isomorphism and argumentation.
ICAIL 2009: 11-20 |
| 155 | | Trevor J. M. Bench-Capon,
Sanjay Modgil:
Case law in extended argumentation frameworks.
ICAIL 2009: 118-127 |
| 154 | | Floris Bex,
Trevor J. M. Bench-Capon,
Katie Atkinson:
Did he jump or was he pushed?
Artif. Intell. Law 17(2): 79-99 (2009) |
| 153 | | Maya Wardeh,
Trevor J. M. Bench-Capon,
Frans Coenen:
PADUA: a protocol for argumentation dialogue using association rules.
Artif. Intell. Law 17(3): 183-215 (2009) |
| 2008 |
|---|
| 152 | | Katie Atkinson,
Trevor J. M. Bench-Capon:
Abstract Argumentation Scheme Frameworks.
AIMSA 2008: 220-234 |
| 151 | | Katie Atkinson,
Trevor J. M. Bench-Capon:
Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation.
ArgMAS 2008: 122-140 |
| 150 |  | Sanjay Modgil,
Trevor J. M. Bench-Capon:
Integrating Object and Meta-Level Value Based Argumentation.
COMMA 2008: 240-251 |
| 149 | | Fahd Saud Nawwab,
Trevor J. M. Bench-Capon,
Paul E. Dunne:
A Methodology for Action-Selection using Value-Based Argumentation.
COMMA 2008: 264-275 |
| 148 | | Maya Wardeh,
Trevor J. M. Bench-Capon,
Frans Coenen:
Arguments from Experience: The PADUA Protocol.
COMMA 2008: 405-416 |
| 147 | | Adam Zachary Wyner,
Trevor J. M. Bench-Capon:
Modelling Judicial Context in Argumentation Frameworks.
COMMA 2008: 417-428 |
| 146 | | Trevor J. M. Bench-Capon,
Sylvie Doutre,
Paul E. Dunne:
Asking the right question: forcing commitment in examination dialogues.
COMMA 2008: 49-60 |
| 145 | | Maya Wardeh,
Trevor J. M. Bench-Capon,
Frans Coenen:
Argument Based Moderation of Benefit Assessment.
JURIX 2008: 128-137 |
| 144 | | Floris Bex,
Trevor J. M. Bench-Capon,
Katie Atkinson:
Did He Jump or Was He Pushed? Abductive Practical Reasoning.
JURIX 2008: 138-149 |
| 143 | | Adam Zachary Wyner,
Trevor J. M. Bench-Capon,
Katie Atkinson:
Three Senses of "Argument".
Computable Models of the Law, Languages, Dialogues, Games, Ontologies 2008: 146-161 |
| 142 | | Katie Atkinson,
Trevor J. M. Bench-Capon:
Addressing moral problems through practical reasoning.
J. Applied Logic 6(2): 135-151 (2008) |
| 141 | | Trevor J. M. Bench-Capon,
Henry Prakken:
Introducing the Logic and Law Corner.
J. Log. Comput. 18(1): 1-12 (2008) |
| 2007 |
|---|
| 140 | | Katie Atkinson,
Trevor J. M. Bench-Capon:
Action-Based Alternating Transition Systems for Arguments about Action.
AAAI 2007: 24-29 |
| 139 | | Loredana Laera,
Ian Blacoe,
Valentina A. M. Tamma,
Terry R. Payne,
Jérôme Euzenat,
Trevor J. M. Bench-Capon:
Argumentation over ontology correspondences in MAS.
AAMAS 2007: 228 |
| 138 | | Adam Zachary Wyner,
Trevor J. M. Bench-Capon:
Towards an Extensible Argumentation System.
ECSQARU 2007: 283-294 |
| 137 | | Maya Wardeh,
Trevor J. M. Bench-Capon,
Frans Coenen:
PADUA Protocol: Strategies and Tactics.
ECSQARU 2007: 465-476 |
| 136 | | Katie Atkinson,
Trevor J. M. Bench-Capon:
Argumentation and standards of proof.
ICAIL 2007: 107-116 |
| 135 | | Adam Zachary Wyner,
Trevor J. M. Bench-Capon:
Argument Schemes for Legal Case-based Reasoning.
JURIX 2007: 139-149 |
| 134 | | Adam Zachary Wyner,
Trevor J. M. Bench-Capon,
Katie Atkinson:
Arguments, Values and Baseballs: Representation of Popov v. Hayashi.
JURIX 2007: 151-160 |
| 133 | | Maya Wardeh,
Trevor J. M. Bench-Capon,
Frans Coenen:
Dynamic Rule Mining for Argumentation Based Systems.
SGAI Conf. 2007: 65-78 |
| 132 | | Trevor J. M. Bench-Capon,
Sylvie Doutre,
Paul E. Dunne:
Audiences in argumentation frameworks.
Artif. Intell. 171(1): 42-71 (2007) |
| 131 | | Trevor J. M. Bench-Capon,
Paul E. Dunne:
Argumentation in artificial intelligence.
Artif. Intell. 171(10-15): 619-641 (2007) |
| 130 | | Katie Atkinson,
Trevor J. M. Bench-Capon:
Practical reasoning as presumptive argumentation using action based alternating transition systems.
Artif. Intell. 171(10-15): 855-874 (2007) |
| 2006 |
|---|
| 129 | | Paul E. Dunne,
Trevor J. M. Bench-Capon:
Computational Models of Argument: Proceedings of COMMA 2006, September 11-12, 2006, Liverpool, UK
IOS Press 2006 |
| 128 | | Trevor J. M. Bench-Capon,
Henry Prakken:
Justifying Actions by Accruing Arguments.
COMMA 2006: 247-258 |
| 127 | | Alison Chorley,
Trevor J. M. Bench-Capon,
Peter McBurney:
Automating Argumentation for Deliberation in Cases of Conflict of Interest.
COMMA 2006: 279-290 |
| 126 | | Katie Atkinson,
Trevor J. M. Bench-Capon:
Addressing Moral Problems Through Practical Reasoning.
DEON 2006: 8-23 |
| 125 | | Katie Atkinson,
Trevor J. M. Bench-Capon,
Sanjay Modgil:
Argumentation for Decision Support.
DEXA 2006: 822-831 |
| 124 | | Loredana Laera,
Valentina A. M. Tamma,
Jérôme Euzenat,
Trevor J. M. Bench-Capon,
Terry R. Payne:
Agents Arguing over Ontology Alignments.
EUMAS 2006 |
| 123 | | Loredana Laera,
Valentina A. M. Tamma,
Jérôme Euzenat,
Trevor J. M. Bench-Capon,
Terry R. Payne:
Reaching Agreement over Ontology Alignments.
International Semantic Web Conference 2006: 371-384 |
| 122 | | Katie Atkinson,
Trevor J. M. Bench-Capon:
Zeno Revisited: Representation of Persuasive Argument.
JURIX 2006: 1-10 |
| 121 | | Alison Chorley,
Trevor J. M. Bench-Capon:
Modelling State Intervention in Cases of Conflicting Interests.
JURIX 2006: 31-40 |
| 120 | | Loredana Laera,
Valentina A. M. Tamma,
Jérôme Euzenat,
Trevor J. M. Bench-Capon,
Terry R. Payne:
Arguing Over Ontology Alignments.
Ontology Matching 2006 |
| 119 | | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
PARMENIDES: Facilitating Deliberation in Democracies.
Artif. Intell. Law 14(4): 261-275 (2006) |
| 118 | | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
Computational Representation of Practical Argument.
Synthese 152(2): 157-206 (2006) |
| 2005 |
|---|
| 117 | | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
Generating intentions through argumentation.
AAMAS 2005: 1261-1262 |
| 116 | | Sylvie Doutre,
Trevor J. M. Bench-Capon,
Paul E. Dunne:
Determining Preferences Through Argumentation.
AI*IA 2005: 98-109 |
| 115 | | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
Multi-Agent Argumentation for eDemocracy.
EUMAS 2005: 35-46 |
| 114 | | Martin Mozina,
Jure Zabkar,
Trevor J. M. Bench-Capon,
Ivan Bratko:
Application of Argument Based Machine Learning to Law.
ICAIL 2005: 248-249 |
| 113 | | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
Arguing about cases as practical reasoning.
ICAIL 2005: 35-44 |
| 112 | | Alison Chorley,
Trevor J. M. Bench-Capon:
AGATHA: Automated Construction of Case Law Theories Through Heuristic Search.
ICAIL 2005: 45-54 |
| 111 | | Sylvie Doutre,
Trevor J. M. Bench-Capon,
Paul E. Dunne:
Explaining preferences with argument positions.
IJCAI 2005: 1560-1561 |
| 110 | | Paul E. Dunne,
Sylvie Doutre,
Trevor J. M. Bench-Capon:
Discovering Inconsistency through Examination Dialogues.
IJCAI 2005: 1680-1681 |
| 109 | | Katie Atkinson,
Trevor J. M. Bench-Capon:
Theory and Practice in AI and Law: A Response to Branting.
JURIX 2005: 1-12 |
| 108 | | Trevor J. M. Bench-Capon,
Paul E. Dunne:
Argumentation in AI and Law: Editors' Introduction.
Artif. Intell. Law 13(1): 1-8 (2005) |
| 107 | | Martin Mozina,
Jure Zabkar,
Trevor J. M. Bench-Capon,
Ivan Bratko:
Argument Based Machine Learning Applied to Law.
Artif. Intell. Law 13(1): 53-73 (2005) |
| 106 | | Alison Chorley,
Trevor J. M. Bench-Capon:
AGATHA: Using heuristic search to automate the construction of case law theories.
Artif. Intell. Law 13(1): 9-51 (2005) |
| 105 | | Katie Atkinson,
Trevor J. M. Bench-Capon:
Legal Case-based Reasoning as Practical Reasoning.
Artif. Intell. Law 13(1): 93-131 (2005) |
| 104 | | Alison Chorley,
Trevor J. M. Bench-Capon:
An empirical investigation of reasoning with legal cases through theory construction and application.
Artif. Intell. Law 13(3-4): 323-371 (2005) |
| 103 | | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action.
Autonomous Agents and Multi-Agent Systems 11(2): 153-171 (2005) |
| 102 | | Trevor J. M. Bench-Capon,
Katie Atkinson,
Alison Chorley:
Persuasion and Value in Legal Argument.
J. Log. Comput. 15(6): 1075-1097 (2005) |
| 2004 |
|---|
| 101 | | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
A Dialogue Game Protocol for Multi-agent Argument over Proposals for Action.
ArgMAS 2004: 149-161 |
| 100 | | Alison Chorley,
Trevor J. M. Bench-Capon:
Support for Constructing Theories in Case Law Domains.
DEXA 2004: 508-517 |
| 99 | | Paul E. Dunne,
Trevor J. M. Bench-Capon:
Identifying Audience Preferences in Legal and Social Domains.
DEXA 2004: 518-527 |
| 98 | | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
PARMENIDES: Facilitating Democratic Debate.
EGOV 2004: 313-316 |
| 97 | | Paul E. Dunne,
Trevor J. M. Bench-Capon:
Complexity in Value-Based Argument Systems.
JELIA 2004: 360-371 |
| 96 | | Loredana Laera,
Valentina A. M. Tamma,
Trevor J. M. Bench-Capon,
Giovanni Semeraro:
SweetProlog: A System to Integrate Ontologies and Rules.
RuleML 2004: 188-193 |
| 95 | | Trevor J. M. Bench-Capon:
Book Review: Bram Roth, Case-based Reasoning in the Law: A Formal Theory of Reasoning by Case Comparison. Ph.D. Thesis, The University of Maastricht, 2003, 181 pp.
Artif. Intell. Law 12(3): 227-229 (2004) |
| 2003 |
|---|
| 94 | | Trevor J. M. Bench-Capon,
Grant Malcolm,
Michael J. R. Shave:
Semantics for Interoperability: Relating Ontologies and Schemata.
DEXA 2003: 703-712 |
| 93 | | Katie Greenwood,
Trevor J. M. Bench-Capon,
Peter McBurney:
Structuring Dialogue between the People and Their Representatives.
EGOV 2003: 55-62 |
| 92 | | Trevor J. M. Bench-Capon:
Suggestions for Standard Example Sets.
Evaluation of Legal Reasoning and Problem-Solving Systems 2003: 17 |
| 91 | | Katie Greenwood,
Trevor J. M. Bench-Capon,
Peter McBurney:
Towards a Computational Account of Persuasion in Law.
ICAIL 2003: 22-31 |
| 90 | | Alison Chorley,
Trevor J. M. Bench-Capon:
Developing Legal Knowledge Based Systems Through Theory Construction.
ICAIL 2003: 85-86 |
| 89 | | Paul E. Dunne,
Trevor J. M. Bench-Capon:
Two party immediate response disputes: Properties and efficiency.
Artif. Intell. 149(2): 221-250 (2003) |
| 88 | | Trevor J. M. Bench-Capon,
Giovanni Sartor:
A model of legal reasoning with cases incorporating theories and values.
Artif. Intell. 150(1-2): 97-143 (2003) |
| 87 | | Trevor J. M. Bench-Capon:
Try to See it My Way: Modelling Persuasion in Legal Discourse.
Artif. Intell. Law 11(4): 271-287 (2003) |
| 86 | | Trevor J. M. Bench-Capon:
Persuasion in Practical Argument Using Value-based Argumentation Frameworks.
J. Log. Comput. 13(3): 429-448 (2003) |
| 2002 |
|---|
| 85 | | Trevor J. M. Bench-Capon,
Paul E. Dunne:
No agent is an island: a framework for the study of inter-agent behavior.
AAMAS 2002: 690-691 |
| 84 | | Valentina A. M. Tamma,
Trevor J. M. Bench-Capon:
Attribute Meta-properties for Formal Ontological Analysis.
EKAW 2002: 301-316 |
| 83 | | Trevor J. M. Bench-Capon:
Value-based argumentation frameworks.
NMR 2002: 443-454 |
| 82 | | Paul E. Dunne,
Trevor J. M. Bench-Capon:
Coherence in finite argument systems.
Artif. Intell. 141(1/2): 187-203 (2002) |
| 81 | | Trevor J. M. Bench-Capon:
The missing link revisited: The role of teleology in representing legal argument.
Artif. Intell. Law 10(1-3): 79-94 (2002) |
| 80 | | Trevor J. M. Bench-Capon:
Value Based Argumentation Frameworks
CoRR cs.AI/0207059: (2002) |
| 2001 |
|---|
| 79 | | Valentina A. M. Tamma,
Trevor J. M. Bench-Capon:
Characterising Concept's Properties in Ontologies.
AI*IA 2001: 189-200 |
| 78 | | Trevor J. M. Bench-Capon:
The Ideal Audience and Artificial Intelligence and Law.
DEXA Workshop 2001: 763-767 |
| 77 | | Valentina A. M. Tamma,
Trevor J. M. Bench-Capon:
An enriched knowledge model for formal ontological analysis.
FOIS 2001: 81-92 |
| 76 | | Trevor J. M. Bench-Capon,
Giovanni Sartor:
Theory based explanation of case law domains.
ICAIL 2001: 12-21 |
| 75 | | John Henderson,
Trevor J. M. Bench-Capon:
Dynamic arguments in a case law domain.
ICAIL 2001: 60-69 |
| 74 | | Trevor J. M. Bench-Capon:
George C. Christie, The Notion of an Ideal Audience in Legal Argument.
Artif. Intell. Law 9(1): 59-71 (2001) |
| 73 | | Alun D. Preece,
Kit-ying Hui,
W. A. Gray,
Philippe Marti,
Trevor J. M. Bench-Capon,
Zhan Cui,
Dean M. Jones:
Kraft: An Agent Architecture for Knowledge Fusion.
Int. J. Cooperative Inf. Syst. 10(1-2): 171-195 (2001) |
| 72 | | Trevor J. M. Bench-Capon:
The role of ontologies in the verification and validation of knowledge-based systems.
Int. J. Intell. Syst. 16(3): 377-390 (2001) |
| 71 | | Paul E. Dunne,
Trevor J. M. Bench-Capon:
A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses.
J. Log. Algebr. Program. 47(1): 1-14 (2001) |
| 2000 |
|---|
| 70 | | Trevor J. M. Bench-Capon,
Frans Coenen,
Paul H. Leng:
An Experiment in Discovering Association Rules in the Legal Domain.
DEXA Workshop 2000: 1056-1060 |
| 69 | | M. Allen,
Trevor J. M. Bench-Capon,
Geof Staniford:
A Multi-Agent Legal Argument Generator.
DEXA Workshop 2000: 1080-1086 |
| 68 | | Valentina A. M. Tamma,
Trevor J. M. Bench-Capon:
Supporting Inheritance Mechanisms in Ontology Representation.
EKAW 2000: 140-155 |
| 67 | | Trevor J. M. Bench-Capon,
T. Geldard,
Paul H. Leng:
A method for the computational modelling of dialectical argument with dialogue games.
Artif. Intell. Law 8(2/3): 233-254 (2000) |
| 66 | | Trevor J. M. Bench-Capon:
Review - Luuk Matthijssen: Interfacing between Lawyers and Computers: An Architecture for Knowledge-based Interfaces to Legal Databases.
Artif. Intell. Law 8(4): 349-352 (2000) |
| 65 | | Alun D. Preece,
Kit-ying Hui,
W. A. Gray,
Philippe Marti,
Trevor J. M. Bench-Capon,
Dean M. Jones,
Zhan Cui:
The KRAFT architecture for knowledge fusion and transformation.
Knowl.-Based Syst. 13(2-3): 113-120 (2000) |
| 1999 |
|---|
| 64 | | Trevor J. M. Bench-Capon,
Giovanni Soda,
A. Min Tjoa:
Database and Expert Systems Applications, 10th International Conference, DEXA '99, Florence, Italy, August 30 - September 3, 1999, Proceedings
Springer 1999 |
| 63 | | Trevor J. M. Bench-Capon,
Grant Malcolm:
Formalising Ontologies and Their Relations.
DEXA 1999: 250-259 |
| 62 | | Martin D. Beer,
Trevor J. M. Bench-Capon,
Andrew Sixsmith:
Dialogue Management in a Virtual College.
DEXA 1999: 521-530 |
| 61 | | Pepijn R. S. Visser,
Martin D. Beer,
Trevor J. M. Bench-Capon,
B. M. Diaz,
Michael J. R. Shave:
Resolving Ontological Heterogeneity in the KRAFT Project.
DEXA 1999: 668-677 |
| 60 | | Trevor J. M. Bench-Capon:
Categorizing Justifications in Legal Argument.
DEXA Workshop 1999: 775-779 |
| 59 | | Trevor J. M. Bench-Capon,
Dean M. Jones:
PRONTO - Ontology-based Evaluation of Knowledge Based Systems.
EUROVAV 1999: 93-109 |
| 58 | | Trevor J. M. Bench-Capon:
Some observations on modelling case based reasoning with formal argument models.
ICAIL 1999: 36-42 |
| 57 | | Martin D. Beer,
Trevor J. M. Bench-Capon,
Andrew Sixsmith:
The Delivery of Effective Integrated Community Care with the Aid of Agents.
ICSC 1999: 393-398 |
| 56 | | Trevor J. M. Bench-Capon:
Zenon Bankowski, Ian White, and Ulrike Hahn, Informatics and the Foundations of Legal Reasoning (Review).
Artif. Intell. Law 7(4): 363-365 (1999) |
| 55 | | Trevor J. M. Bench-Capon,
D. Castelli,
Frans Coenen,
L. Devendeville-Brisoux,
Barry Eaglestone,
N. J. Fiddian,
W. A. Gray,
Antoni Ligeza,
Anca I. Vermesan:
Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems.
Inf. Res. 4(3): (1999) |
| 54 | | Robert W. van Kralingen,
Pepijn R. S. Visser,
Trevor J. M. Bench-Capon,
H. Jaap van den Herik:
A principled approach to developing legal knowledge systems.
Int. J. Hum.-Comput. Stud. 51(6): 1127-1154 (1999) |
| 1998 |
|---|
| 53 | | Gerald Quirchmayr,
Erich Schweighofer,
Trevor J. M. Bench-Capon:
Database and Expert Systems Applications, 9th International Conference, DEXA '98, Vienna, Austria, August 24-28, 1998, Proceedings
Springer 1998 |
| 52 | | Trevor J. M. Bench-Capon:
Specifying the Interaction Between Information Sources.
DEXA 1998: 425-434 |
| 51 | | C. A. Royles,
Trevor J. M. Bench-Capon:
Dynamic Tailoring of Law Related Documents To User Needs.
DEXA Workshop 1998: 609-613 |
| 50 | | Trevor J. M. Bench-Capon:
The Role of Ontologies in the Verification and Validation of Knowledge Based Systems.
DEXA Workshop 1998: 64-69 |
| 49 | | Frans Coenen,
Bridget Beattie,
Trevor J. M. Bench-Capon,
B. M. Diaz,
Michael J. R. Shave:
Spatio-temporal Reasoning Using a Multi-dimensional Tesseral Representation.
ECAI 1998: 140-144 |
| 48 | | Pepijn R. S. Visser,
Trevor J. M. Bench-Capon:
A Comparison of Four Ontologies for the Design of Legal Knowledge Systems.
Artif. Intell. Law 6(1): 27-57 (1998) |
| 47 | | Frans Coenen,
Bridget Beattie,
Michael J. R. Shave,
Trevor J. M. Bench-Capon,
B. M. Diaz:
Spatial Reasoning Using the Quad Tesseral Representation.
Artif. Intell. Rev. 12(4): 321-343 (1998) |
| 46 | | Trevor J. M. Bench-Capon,
Paul H. Leng,
Geof Staniford:
A Computer Supported Environment for the Teaching of Legal Argument.
Journal of Information, Law and Technology 1998(3): (1998) |
| 1997 |
|---|
| 45 | | Frans Coenen,
Bridget Beattie,
Trevor J. M. Bench-Capon,
B. M. Diaz,
Michael J. R. Shave:
A Tesseral Approach to n-Dimensional Spatial Reasoning.
DEXA 1997: 633-642 |
| 44 | | Stephen Lawrence Dale,
Trevor J. M. Bench-Capon:
A Data Mining Tool for Producing Characteristic Classifications in the Legal Domain.
DEXA Workshop 1997: 186-191 |
| 43 | | Trevor J. M. Bench-Capon,
Pepijn R. S. Visser:
Open Texture and Ontologies in Legal Information Systems.
DEXA Workshop 1997: 192-197 |
| 42 | | Trevor J. M. Bench-Capon:
Why Database AND Expert Systems Applications?
DEXA Workshop 1997: 2-5 |
| 41 | | Peter M. D. Gray,
Alun D. Preece,
N. J. Fiddian,
W. A. Gray,
Trevor J. M. Bench-Capon,
Michael J. R. Shave,
Nader Azarmi,
M. Wiegand,
M. Ashwell,
Martin D. Beer,
Zhan Cui,
B. M. Diaz,
Suzanne M. Embury,
Kit-ying Hui,
Andrew C. Jones,
Dean M. Jones,
Graham J. L. Kemp,
E. W. Lawson,
K. Lunn,
Philippe Marti,
Jianhua Shao,
Pepijn R. S. Visser:
KRAFT: Knowledge Fusion from Distributed Databases and Knowledge Bases.
DEXA Workshop 1997: 682-691 |
| 40 | | Trevor J. M. Bench-Capon,
Pepijn R. S. Visser:
Ontologies in Legal Information Systems: The Need for Explicit Specifications of Domain Conceptualisations.
ICAIL 1997: 132-141 |
| 39 | | Pepijn R. S. Visser,
Robert W. van Kralingen,
Trevor J. M. Bench-Capon:
A Method for the Development of Legal Knowledge Systems.
ICAIL 1997: 151-160 |
| 38 | | Paul E. Dunne,
Trevor J. M. Bench-Capon:
The Maximum Length of Prime Implicates for Instances of 3-SAT.
Artif. Intell. 92(1-2): 317-329 (1997) |
| 37 | | Pepijn R. S. Visser,
Trevor J. M. Bench-Capon,
H. Jaap van den Herik:
A Method for Conceptualising Legal Domains: An Example from the Dutch Unemployment Benefits Act.
Artif. Intell. Law 5(3): 207-242 (1997) |
| 36 | | Trevor J. M. Bench-Capon:
Argument in Artificial Intelligence and Law.
Artif. Intell. Law 5(4): 249-261 (1997) |
| 1996 |
|---|
| 35 | | Frans Coenen,
Bridget Beattie,
Trevor J. M. Bench-Capon,
Michael J. R. Shave,
B. M. Diaz:
An Ontology for Linear Spatial Reasoning.
DEXA 1996: 718-727 |
| 34 | | Pepijn R. S. Visser,
Trevor J. M. Bench-Capon:
On the Reusability of Ontologies in Knowledge System Design.
DEXA Workshop 1996: 256-261 |
| 33 | | Trevor J. M. Bench-Capon,
Sheila Lynch,
Ray Paton:
Principled Development of Knowledge Based Systems - The Importance of Domain History.
DEXA Workshop 1996: 56-61 |
| 32 | | Frans Coenen,
Bridget Beattie,
Bernard M. Diaz,
Trevor J. M. Bench-Capon,
Michael J. R. Shave:
Temporal reasoning using tesseral addressing: towards an intelligent environmental impact assessment system.
Knowl.-Based Syst. 9(5): 287-300 (1996) |
| 1995 |
|---|
| 31 | | Bridget Beattie,
Frans Coenen,
Trevor J. M. Bench-Capon,
B. M. Diaz,
Michael J. R. Shave:
Spatial Reasoning for GIS Using a Tesseral Data Representation
DEXA 1995: 207-216 |
| 30 | | Frans Coenen,
Ian Finch,
Michael J. R. Shave,
Trevor J. M. Bench-Capon:
Developing Distributed Database Applications Using TSL
DEXA 1995: 58-67 |
| 29 | | Trevor J. M. Bench-Capon,
Geof Staniford:
PLAID: Proactive Legal Assistance.
ICAIL 1995: 81-88 |
| 28 | | Trevor J. M. Bench-Capon:
Book Review.
Artif. Intell. Law 3(3): 217-220 (1995) |
| 27 | | Anca I. Vermesan,
Trevor J. M. Bench-Capon:
Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction.
Softw. Test., Verif. Reliab. 5(4): 233-271 (1995) |
| 1993 |
|---|
| 26 | | Geof Staniford,
Trevor J. M. Bench-Capon,
Paul E. S. Dunne:
Cooperative Dialogues with the Support of Autonomous Agents.
CoopIS 1993: 144-151 |
| 25 | | Trevor J. M. Bench-Capon,
Paul E. S. Dunne,
Geof Staniford:
Linearisation Schemata for Hypertext.
DEXA 1993: 697-708 |
| 24 | | Frans Coenen,
Trevor J. M. Bench-Capon,
Peter Smeaton:
Representing Visual Conditions in a Legal knowledge Based System.
ICAIL 1993: 264-271 |
| 23 | | Trevor J. M. Bench-Capon:
Neural Networks and Open Texture.
ICAIL 1993: 292-297 |
| 22 | | Trevor J. M. Bench-Capon,
Frans Coenen,
Hyacinth S. Nwana,
Ray Paton,
Michael J. R. Shave:
Two Aspects of the Validation and Verification of Knowledge-Based Systems.
IEEE Expert 8(3): 76-81 (1993) |
| 1992 |
|---|
| 21 | | Trevor J. M. Bench-Capon,
Paul E. S. Dunne,
Geof Staniford:
Linearising Hypertext through Target Graph Specifications.
DEXA 1992: 173-178 |
| 20 | | Paul Soper,
Trevor J. M. Bench-Capon:
Using Hypertext to Interface to Legal Knowledge Based Systems.
DEXA 1992: 363-368 |
| 19 | | Frans Coenen,
Trevor J. M. Bench-Capon:
Building Knowledge Based Systems for Maintainability.
DEXA 1992: 415-420 |
| 18 | | Frans Coenen,
Steve Fawcett,
Peter Smeaton,
Trevor J. M. Bench-Capon:
Electronic Chart Representation and Interaction.
DEXA 1992: 543 |
| 17 | | Hyacinth S. Nwana,
Ray Paton,
Michael J. R. Shave,
Trevor J. M. Bench-Capon:
Domain-Driven Knowledge Modelling: Mediating and Intermediate Representations for Knowledge Acquisition.
EKAW 1992: 250-263 |
| 16 | | Trevor J. M. Bench-Capon,
Frans Coenen:
The maintenance of legal knowledge based systems.
Artif. Intell. Rev. 6(2): 129-143 (1992) |
| 1991 |
|---|
| 15 | | Frans Coenen,
Trevor J. M. Bench-Capon:
A Graphical Interactive Tool for KBS Maintenance.
DEXA 1991: 166-171 |
| 14 | | Trevor J. M. Bench-Capon,
Frans Coenen:
Two Aspects of the Validation and Verification of Knowledge Based Systems.
EUROVAV 1991: 125-132 |
| 13 | | Trevor J. M. Bench-Capon:
Exploiting Isomorphism: Development of a KBS to Support British Coal Insurance Claims.
ICAIL 1991: 62-68 |
| 12 | | Hyacinth S. Nwana,
Ray Paton,
Trevor J. M. Bench-Capon,
Michael J. R. Shave:
Facilitating the Development of Knowledge Based Systems, A Critical Review of Aquisition Tools and Techniques.
AI Commun. 4(2/3): 60-73 (1991) |
| 11 | | Tom Routen,
Trevor J. M. Bench-Capon:
Hierarchical Formalizations.
International Journal of Man-Machine Studies 35(1): 69-93 (1991) |
| 10 | | Trevor J. M. Bench-Capon,
D. Lowes,
A. M. McEnery:
Argument-based explanation of logic programs.
Knowl.-Based Syst. 4(3): 177-183 (1991) |
| 1990 |
|---|
| 9 | | Trevor J. M. Bench-Capon,
Paul E. S. Dunne:
An Approach to the Integration of Legal Support Systems.
DEXA 1990: 105-111 |
| 8 | | Ray Paton,
Hyacinth S. Nwana,
Michael J. R. Shave,
Trevor J. M. Bench-Capon,
Sheila Hughes:
Transfer of Natural Metaphors to Parallel Problem Solvin Applications.
PPSN 1990: 363-372 |
| 1989 |
|---|
| 7 | | Trevor J. M. Bench-Capon:
Deep Models, Normative Reasoning and Legal Expert Systems.
ICAIL 1989: 37-45 |
| 6 | | Trevor J. M. Bench-Capon,
A. M. McEnery:
People Interact Through Computers Not With Them.
Interacting with Computers 1(1): 31-38 (1989) |
| 5 | | Trevor J. M. Bench-Capon,
A. M. McEnery:
Modelling Devices and Modelling Speakers.
Interacting with Computers 1(2): 220-224 (1989) |
| 1988 |
|---|
| 4 | | Trevor J. M. Bench-Capon:
Humpty Dumpty, Private Languages and Logic Programmers.
AI Soc. 2(3): 271-272 (1988) |
| 3 | | Trevor J. M. Bench-Capon,
Paul E. S. Dunne:
Some Computational Properties of a Model for Electronic Documents.
Electronic Publishing 2(4): 231-256 (1988) |
| 1987 |
|---|
| 2 | | Trevor J. M. Bench-Capon:
Support for Policy Makers: Formulating Legislation with the Aid of Logical Models.
ICAIL 1987: 181-189 |
| 1 | | Trevor J. M. Bench-Capon,
G. O. Robinson,
Tom Routen,
Marek J. Sergot:
Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation.
ICAIL 1987: 190-198 |
