2008 |
151 | EE | Katie Atkinson,
Trevor J. M. Bench-Capon:
Abstract Argumentation Scheme Frameworks.
AIMSA 2008: 220-234 |
150 | EE | Katie Atkinson,
Trevor J. M. Bench-Capon:
Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation.
ArgMAS 2008: 122-140 |
149 | | Sanjay Modgil,
Trevor J. M. Bench-Capon:
Integrating Object and Meta-Level Value Based Argumentation.
COMMA 2008: 240-251 |
148 | | Fahd Saud Nawwab,
Trevor J. M. Bench-Capon,
Paul E. Dunne:
A Methodology for Action-Selection using Value-Based Argumentation.
COMMA 2008: 264-275 |
147 | | Maya Wardeh,
Trevor J. M. Bench-Capon,
Frans Coenen:
Arguments from Experience: The PADUA Protocol.
COMMA 2008: 405-416 |
146 | | Adam Zachary Wyner,
Trevor J. M. Bench-Capon:
Modelling Judicial Context in Argumentation Frameworks.
COMMA 2008: 417-428 |
145 | | Trevor J. M. Bench-Capon,
Sylvie Doutre,
Paul E. Dunne:
Asking the right question: forcing commitment in examination dialogues.
COMMA 2008: 49-60 |
144 | EE | Maya Wardeh,
Trevor J. M. Bench-Capon,
Frans Coenen:
Argument Based Moderation of Benefit Assessment.
JURIX 2008: 128-137 |
143 | EE | Floris Bex,
Trevor J. M. Bench-Capon,
Katie Atkinson:
Did He Jump or Was He Pushed? Abductive Practical Reasoning.
JURIX 2008: 138-149 |
142 | EE | 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 |
141 | EE | Katie Atkinson,
Trevor J. M. Bench-Capon:
Addressing moral problems through practical reasoning.
J. Applied Logic 6(2): 135-151 (2008) |
140 | EE | Trevor J. M. Bench-Capon,
Henry Prakken:
Introducing the Logic and Law Corner.
J. Log. Comput. 18(1): 1-12 (2008) |
2007 |
139 | | Katie Atkinson,
Trevor J. M. Bench-Capon:
Action-Based Alternating Transition Systems for Arguments about Action.
AAAI 2007: 24-29 |
138 | EE | 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 |
137 | EE | Adam Zachary Wyner,
Trevor J. M. Bench-Capon:
Towards an Extensible Argumentation System.
ECSQARU 2007: 283-294 |
136 | EE | Maya Wardeh,
Trevor J. M. Bench-Capon,
Frans Coenen:
PADUA Protocol: Strategies and Tactics.
ECSQARU 2007: 465-476 |
135 | EE | Katie Atkinson,
Trevor J. M. Bench-Capon:
Argumentation and standards of proof.
ICAIL 2007: 107-116 |
134 | | Adam Zachary Wyner,
Trevor J. M. Bench-Capon:
Argument Schemes for Legal Case-based Reasoning.
JURIX 2007: 139-149 |
133 | | Adam Zachary Wyner,
Trevor J. M. Bench-Capon,
Katie Atkinson:
Arguments, Values and Baseballs: Representation of Popov v. Hayashi.
JURIX 2007: 151-160 |
132 | EE | Trevor J. M. Bench-Capon,
Sylvie Doutre,
Paul E. Dunne:
Audiences in argumentation frameworks.
Artif. Intell. 171(1): 42-71 (2007) |
131 | EE | Trevor J. M. Bench-Capon,
Paul E. Dunne:
Argumentation in artificial intelligence.
Artif. Intell. 171(10-15): 619-641 (2007) |
130 | EE | 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 | EE | Trevor J. M. Bench-Capon,
Henry Prakken:
Justifying Actions by Accruing Arguments.
COMMA 2006: 247-258 |
127 | EE | Alison Chorley,
Trevor J. M. Bench-Capon,
Peter McBurney:
Automating Argumentation for Deliberation in Cases of Conflict of Interest.
COMMA 2006: 279-290 |
126 | EE | Katie Atkinson,
Trevor J. M. Bench-Capon:
Addressing Moral Problems Through Practical Reasoning.
DEON 2006: 8-23 |
125 | EE | Katie Atkinson,
Trevor J. M. Bench-Capon,
Sanjay Modgil:
Argumentation for Decision Support.
DEXA 2006: 822-831 |
124 | EE | 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 | EE | 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 | EE | 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 | EE | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
PARMENIDES: Facilitating Deliberation in Democracies.
Artif. Intell. Law 14(4): 261-275 (2006) |
118 | EE | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
Computational Representation of Practical Argument.
Synthese 152(2): 157-206 (2006) |
2005 |
117 | EE | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
Generating intentions through argumentation.
AAMAS 2005: 1261-1262 |
116 | EE | 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 | EE | Sylvie Doutre,
Trevor J. M. Bench-Capon,
Paul E. Dunne:
Explaining preferences with argument positions.
IJCAI 2005: 1560-1561 |
110 | EE | 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 | EE | Trevor J. M. Bench-Capon,
Paul E. Dunne:
Argumentation in AI and Law: Editors' Introduction.
Artif. Intell. Law 13(1): 1-8 (2005) |
107 | EE | 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 | EE | 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 | EE | Katie Atkinson,
Trevor J. M. Bench-Capon:
Legal Case-based Reasoning as Practical Reasoning.
Artif. Intell. Law 13(1): 93-131 (2005) |
104 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Alison Chorley,
Trevor J. M. Bench-Capon:
Support for Constructing Theories in Case Law Domains.
DEXA 2004: 508-517 |
99 | EE | Paul E. Dunne,
Trevor J. M. Bench-Capon:
Identifying Audience Preferences in Legal and Social Domains.
DEXA 2004: 518-527 |
98 | EE | Katie Atkinson,
Trevor J. M. Bench-Capon,
Peter McBurney:
PARMENIDES: Facilitating Democratic Debate.
EGOV 2004: 313-316 |
97 | EE | Paul E. Dunne,
Trevor J. M. Bench-Capon:
Complexity in Value-Based Argument Systems.
JELIA 2004: 360-371 |
96 | EE | 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 | EE | 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 | EE | Trevor J. M. Bench-Capon,
Grant Malcolm,
Michael J. R. Shave:
Semantics for Interoperability: Relating Ontologies and Schemata.
DEXA 2003: 703-712 |
93 | EE | 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 | EE | Paul E. Dunne,
Trevor J. M. Bench-Capon:
Two party immediate response disputes: Properties and efficiency.
Artif. Intell. 149(2): 221-250 (2003) |
88 | EE | 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 | EE | 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 | EE | Trevor J. M. Bench-Capon:
Persuasion in Practical Argument Using Value-based Argumentation Frameworks.
J. Log. Comput. 13(3): 429-448 (2003) |
2002 |
85 | EE | 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 | EE | 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 | EE | 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 | EE | Trevor J. M. Bench-Capon:
Value Based Argumentation Frameworks
CoRR cs.AI/0207059: (2002) |
2001 |
79 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | M. Allen,
Trevor J. M. Bench-Capon,
Geof Staniford:
A Multi-Agent Legal Argument Generator.
DEXA Workshop 2000: 1080-1086 |
68 | EE | 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 | EE | 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 | EE | Trevor J. M. Bench-Capon,
Grant Malcolm:
Formalising Ontologies and Their Relations.
DEXA 1999: 250-259 |
62 | EE | Martin D. Beer,
Trevor J. M. Bench-Capon,
Andrew Sixsmith:
Dialogue Management in a Virtual College.
DEXA 1999: 521-530 |
61 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Frans Coenen,
Trevor J. M. Bench-Capon,
Peter Smeaton:
Representing Visual Conditions in a Legal knowledge Based System.
ICAIL 1993: 264-271 |
23 | EE | Trevor J. M. Bench-Capon:
Neural Networks and Open Texture.
ICAIL 1993: 292-297 |
22 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Trevor J. M. Bench-Capon:
Support for Policy Makers: Formulating Legislation with the Aid of Logical Models.
ICAIL 1987: 181-189 |
1 | EE | 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 |