Search the dblp DataBase
Trevor J. M. Bench-Capon :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Sylvie Doutre , Trevor J. M. Bench-Capon , Paul E. Dunne Determining Preferences Through Argumentation. [Citation Graph (0, 0)][DBLP ] AI*IA, 2005, pp:98-109 [Conf ] Valentina A. M. Tamma , Trevor J. M. Bench-Capon Characterising Concept's Properties in Ontologies. [Citation Graph (0, 0)][DBLP ] AI*IA, 2001, pp:189-200 [Conf ] Katie Atkinson , Trevor J. M. Bench-Capon , Peter McBurney A Dialogue Game Protocol for Multi-agent Argument over Proposals for Action. [Citation Graph (0, 0)][DBLP ] ArgMAS, 2004, pp:149-161 [Conf ] Katie Atkinson , Trevor J. M. Bench-Capon , Peter McBurney Generating intentions through argumentation. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:1261-1262 [Conf ] Trevor J. M. Bench-Capon , Paul E. Dunne No agent is an island: a framework for the study of inter-agent behavior. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:690-691 [Conf ] Geof Staniford , Trevor J. M. Bench-Capon , Paul E. S. Dunne Cooperative Dialogues with the Support of Autonomous Agents. [Citation Graph (0, 0)][DBLP ] CoopIS, 1993, pp:144-151 [Conf ] Katie Atkinson , Trevor J. M. Bench-Capon Addressing Moral Problems Through Practical Reasoning. [Citation Graph (0, 0)][DBLP ] DEON, 2006, pp:8-23 [Conf ] Trevor J. M. Bench-Capon Specifying the Interaction Between Information Sources. [Citation Graph (0, 0)][DBLP ] DEXA, 1998, pp:425-434 [Conf ] Katie Atkinson , Trevor J. M. Bench-Capon , Sanjay Modgil Argumentation for Decision Support. [Citation Graph (0, 0)][DBLP ] DEXA, 2006, pp:822-831 [Conf ] 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 [Citation Graph (0, 0)][DBLP ] DEXA, 1995, pp:207-216 [Conf ] Martin D. Beer , Trevor J. M. Bench-Capon , Andrew Sixsmith Dialogue Management in a Virtual College. [Citation Graph (0, 0)][DBLP ] DEXA, 1999, pp:521-530 [Conf ] Trevor J. M. Bench-Capon , Paul E. S. Dunne An Approach to the Integration of Legal Support Systems. [Citation Graph (0, 0)][DBLP ] DEXA, 1990, pp:105-111 [Conf ] Trevor J. M. Bench-Capon , Paul E. S. Dunne , Geof Staniford Linearising Hypertext through Target Graph Specifications. [Citation Graph (0, 0)][DBLP ] DEXA, 1992, pp:173-178 [Conf ] Trevor J. M. Bench-Capon , Paul E. S. Dunne , Geof Staniford Linearisation Schemata for Hypertext. [Citation Graph (0, 0)][DBLP ] DEXA, 1993, pp:697-708 [Conf ] Trevor J. M. Bench-Capon , Grant Malcolm Formalising Ontologies and Their Relations. [Citation Graph (0, 0)][DBLP ] DEXA, 1999, pp:250-259 [Conf ] Trevor J. M. Bench-Capon , Grant Malcolm , Michael J. R. Shave Semantics for Interoperability: Relating Ontologies and Schemata. [Citation Graph (0, 0)][DBLP ] DEXA, 2003, pp:703-712 [Conf ] Alison Chorley , Trevor J. M. Bench-Capon Support for Constructing Theories in Case Law Domains. [Citation Graph (0, 0)][DBLP ] DEXA, 2004, pp:508-517 [Conf ] Frans Coenen , Trevor J. M. Bench-Capon A Graphical Interactive Tool for KBS Maintenance. [Citation Graph (0, 0)][DBLP ] DEXA, 1991, pp:166-171 [Conf ] Frans Coenen , Trevor J. M. Bench-Capon Building Knowledge Based Systems for Maintainability. [Citation Graph (0, 0)][DBLP ] DEXA, 1992, pp:415-420 [Conf ] Frans Coenen , Bridget Beattie , Trevor J. M. Bench-Capon , B. M. Diaz , Michael J. R. Shave A Tesseral Approach to n-Dimensional Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] DEXA, 1997, pp:633-642 [Conf ] Frans Coenen , Bridget Beattie , Trevor J. M. Bench-Capon , Michael J. R. Shave , B. M. Diaz An Ontology for Linear Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] DEXA, 1996, pp:718-727 [Conf ] Frans Coenen , Steve Fawcett , Peter Smeaton , Trevor J. M. Bench-Capon Electronic Chart Representation and Interaction. [Citation Graph (0, 0)][DBLP ] DEXA, 1992, pp:543- [Conf ] Frans Coenen , Ian Finch , Michael J. R. Shave , Trevor J. M. Bench-Capon Developing Distributed Database Applications Using TSL [Citation Graph (0, 0)][DBLP ] DEXA, 1995, pp:58-67 [Conf ] Paul E. Dunne , Trevor J. M. Bench-Capon Identifying Audience Preferences in Legal and Social Domains. [Citation Graph (0, 0)][DBLP ] DEXA, 2004, pp:518-527 [Conf ] Paul Soper , Trevor J. M. Bench-Capon Using Hypertext to Interface to Legal Knowledge Based Systems. [Citation Graph (0, 0)][DBLP ] DEXA, 1992, pp:363-368 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] DEXA, 1999, pp:668-677 [Conf ] M. Allen , Trevor J. M. Bench-Capon , Geof Staniford A Multi-Agent Legal Argument Generator. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 2000, pp:1080-1086 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1997, pp:682-691 [Conf ] Trevor J. M. Bench-Capon The Ideal Audience and Artificial Intelligence and Law. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 2001, pp:763-767 [Conf ] Trevor J. M. Bench-Capon Why Database AND Expert Systems Applications? [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1997, pp:2-5 [Conf ] Trevor J. M. Bench-Capon The Role of Ontologies in the Verification and Validation of Knowledge Based Systems. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1998, pp:64-69 [Conf ] Trevor J. M. Bench-Capon Categorizing Justifications in Legal Argument. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1999, pp:775-779 [Conf ] Trevor J. M. Bench-Capon , Frans Coenen , Paul H. Leng An Experiment in Discovering Association Rules in the Legal Domain. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 2000, pp:1056-1060 [Conf ] Trevor J. M. Bench-Capon , Sheila Lynch , Ray Paton Principled Development of Knowledge Based Systems - The Importance of Domain History. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1996, pp:56-61 [Conf ] Trevor J. M. Bench-Capon , Pepijn R. S. Visser Open Texture and Ontologies in Legal Information Systems. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1997, pp:192-197 [Conf ] Stephen Lawrence Dale , Trevor J. M. Bench-Capon A Data Mining Tool for Producing Characteristic Classifications in the Legal Domain. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1997, pp:186-191 [Conf ] C. A. Royles , Trevor J. M. Bench-Capon Dynamic Tailoring of Law Related Documents To User Needs. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1998, pp:609-613 [Conf ] Pepijn R. S. Visser , Trevor J. M. Bench-Capon On the Reusability of Ontologies in Knowledge System Design. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1996, pp:256-261 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ECAI, 1998, pp:140-144 [Conf ] Katie Atkinson , Trevor J. M. Bench-Capon , Peter McBurney PARMENIDES: Facilitating Democratic Debate. [Citation Graph (0, 0)][DBLP ] EGOV, 2004, pp:313-316 [Conf ] Katie Greenwood , Trevor J. M. Bench-Capon , Peter McBurney Structuring Dialogue between the People and Their Representatives. [Citation Graph (0, 0)][DBLP ] EGOV, 2003, pp:55-62 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] EKAW, 1992, pp:250-263 [Conf ] Valentina A. M. Tamma , Trevor J. M. Bench-Capon Supporting Inheritance Mechanisms in Ontology Representation. [Citation Graph (0, 0)][DBLP ] EKAW, 2000, pp:140-155 [Conf ] Valentina A. M. Tamma , Trevor J. M. Bench-Capon Attribute Meta-properties for Formal Ontological Analysis. [Citation Graph (0, 0)][DBLP ] EKAW, 2002, pp:301-316 [Conf ] Katie Atkinson , Trevor J. M. Bench-Capon , Peter McBurney Multi-Agent Argumentation for eDemocracy. [Citation Graph (0, 0)][DBLP ] EUMAS, 2005, pp:35-46 [Conf ] Trevor J. M. Bench-Capon , Frans Coenen Two Aspects of the Validation and Verification of Knowledge Based Systems. [Citation Graph (0, 0)][DBLP ] EUROVAV, 1991, pp:125-132 [Conf ] Trevor J. M. Bench-Capon , Dean M. Jones PRONTO - Ontology-based Evaluation of Knowledge Based Systems. [Citation Graph (0, 0)][DBLP ] EUROVAV, 1999, pp:93-109 [Conf ] Valentina A. M. Tamma , Trevor J. M. Bench-Capon An enriched knowledge model for formal ontological analysis. [Citation Graph (0, 0)][DBLP ] FOIS, 2001, pp:81-92 [Conf ] Alison Chorley , Trevor J. M. Bench-Capon Developing Legal Knowledge Based Systems Through Theory Construction. [Citation Graph (0, 0)][DBLP ] ICAIL, 2003, pp:85-86 [Conf ] Alison Chorley , Trevor J. M. Bench-Capon AGATHA: Automated Construction of Case Law Theories Through Heuristic Search. [Citation Graph (0, 0)][DBLP ] ICAIL, 2005, pp:45-54 [Conf ] Frans Coenen , Trevor J. M. Bench-Capon , Peter Smeaton Representing Visual Conditions in a Legal knowledge Based System. [Citation Graph (0, 0)][DBLP ] ICAIL, 1993, pp:264-271 [Conf ] Katie Atkinson , Trevor J. M. Bench-Capon , Peter McBurney Arguing about cases as practical reasoning. [Citation Graph (0, 0)][DBLP ] ICAIL, 2005, pp:35-44 [Conf ] Trevor J. M. Bench-Capon Suggestions for Standard Example Sets. [Citation Graph (0, 0)][DBLP ] Evaluation of Legal Reasoning and Problem-Solving Systems, 2003, pp:17- [Conf ] Trevor J. M. Bench-Capon Support for Policy Makers: Formulating Legislation with the Aid of Logical Models. [Citation Graph (0, 0)][DBLP ] ICAIL, 1987, pp:181-189 [Conf ] Trevor J. M. Bench-Capon Deep Models, Normative Reasoning and Legal Expert Systems. [Citation Graph (0, 0)][DBLP ] ICAIL, 1989, pp:37-45 [Conf ] Trevor J. M. Bench-Capon Exploiting Isomorphism: Development of a KBS to Support British Coal Insurance Claims. [Citation Graph (0, 0)][DBLP ] ICAIL, 1991, pp:62-68 [Conf ] Trevor J. M. Bench-Capon Neural Networks and Open Texture. [Citation Graph (0, 0)][DBLP ] ICAIL, 1993, pp:292-297 [Conf ] Trevor J. M. Bench-Capon Some observations on modelling case based reasoning with formal argument models. [Citation Graph (0, 0)][DBLP ] ICAIL, 1999, pp:36-42 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICAIL, 1987, pp:190-198 [Conf ] Trevor J. M. Bench-Capon , Giovanni Sartor Theory based explanation of case law domains. [Citation Graph (0, 0)][DBLP ] ICAIL, 2001, pp:12-21 [Conf ] Trevor J. M. Bench-Capon , Geof Staniford PLAID: Proactive Legal Assistance. [Citation Graph (0, 0)][DBLP ] ICAIL, 1995, pp:81-88 [Conf ] Trevor J. M. Bench-Capon , Pepijn R. S. Visser Ontologies in Legal Information Systems: The Need for Explicit Specifications of Domain Conceptualisations. [Citation Graph (0, 0)][DBLP ] ICAIL, 1997, pp:132-141 [Conf ] Katie Greenwood , Trevor J. M. Bench-Capon , Peter McBurney Towards a Computational Account of Persuasion in Law. [Citation Graph (0, 0)][DBLP ] ICAIL, 2003, pp:22-31 [Conf ] John Henderson , Trevor J. M. Bench-Capon Dynamic arguments in a case law domain. [Citation Graph (0, 0)][DBLP ] ICAIL, 2001, pp:60-69 [Conf ] Martin Mozina , Jure Zabkar , Trevor J. M. Bench-Capon , Ivan Bratko Application of Argument Based Machine Learning to Law. [Citation Graph (0, 0)][DBLP ] ICAIL, 2005, pp:248-249 [Conf ] Pepijn R. S. Visser , Robert W. van Kralingen , Trevor J. M. Bench-Capon A Method for the Development of Legal Knowledge Systems. [Citation Graph (0, 0)][DBLP ] ICAIL, 1997, pp:151-160 [Conf ] Martin D. Beer , Trevor J. M. Bench-Capon , Andrew Sixsmith The Delivery of Effective Integrated Community Care with the Aid of Agents. [Citation Graph (0, 0)][DBLP ] ICSC, 1999, pp:393-398 [Conf ] Sylvie Doutre , Trevor J. M. Bench-Capon , Paul E. Dunne Explaining preferences with argument positions. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:1560-1561 [Conf ] Paul E. Dunne , Sylvie Doutre , Trevor J. M. Bench-Capon Discovering Inconsistency through Examination Dialogues. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:1680-1681 [Conf ] Paul E. Dunne , Trevor J. M. Bench-Capon Complexity in Value-Based Argument Systems. [Citation Graph (0, 0)][DBLP ] JELIA, 2004, pp:360-371 [Conf ] Trevor J. M. Bench-Capon Value-based argumentation frameworks. [Citation Graph (0, 0)][DBLP ] NMR, 2002, pp:443-454 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] PPSN, 1990, pp:363-372 [Conf ] Loredana Laera , Valentina A. M. Tamma , Trevor J. M. Bench-Capon , Giovanni Semeraro SweetProlog: A System to Integrate Ontologies and Rules. [Citation Graph (0, 0)][DBLP ] RuleML, 2004, pp:188-193 [Conf ] Loredana Laera , Valentina A. M. Tamma , Jérôme Euzenat , Trevor J. M. Bench-Capon , Terry R. Payne Reaching Agreement over Ontology Alignments. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2006, pp:371-384 [Conf ] Katie Atkinson , Trevor J. M. Bench-Capon , Peter McBurney A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action. [Citation Graph (0, 0)][DBLP ] Autonomous Agents and Multi-Agent Systems, 2005, v:11, n:2, pp:153-171 [Journal ] Trevor J. M. Bench-Capon , Giovanni Sartor A model of legal reasoning with cases incorporating theories and values. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2003, v:150, n:1-2, pp:97-143 [Journal ] Paul E. Dunne , Trevor J. M. Bench-Capon Coherence in finite argument systems. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2002, v:141, n:1/2, pp:187-203 [Journal ] Paul E. Dunne , Trevor J. M. Bench-Capon Two party immediate response disputes: Properties and efficiency. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2003, v:149, n:2, pp:221-250 [Journal ] Paul E. Dunne , Trevor J. M. Bench-Capon The Maximum Length of Prime Implicates for Instances of 3-SAT. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1997, v:92, n:1-2, pp:317-329 [Journal ] Trevor J. M. Bench-Capon , Sylvie Doutre , Paul E. Dunne Audiences in argumentation frameworks. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2007, v:171, n:1, pp:42-71 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] AI Commun., 1991, v:4, n:2/3, pp:60-73 [Journal ] Trevor J. M. Bench-Capon Review - Luuk Matthijssen: Interfacing between Lawyers and Computers: An Architecture for Knowledge-based Interfaces to Legal Databases. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2001, v:8, n:4, pp:349-352 [Journal ] Trevor J. M. Bench-Capon George C. Christie, The Notion of an Ideal Audience in Legal Argument. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2001, v:9, n:1, pp:59-71 [Journal ] Trevor J. M. Bench-Capon The missing link revisited: The role of teleology in representing legal argument. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2002, v:10, n:1-3, pp:79-94 [Journal ] Trevor J. M. Bench-Capon Try to See it My Way: Modelling Persuasion in Legal Discourse. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2003, v:11, n:4, pp:271-287 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2004, v:12, n:3, pp:227-229 [Journal ] Trevor J. M. Bench-Capon Book Review. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 1995, v:3, n:3, pp:217-220 [Journal ] Trevor J. M. Bench-Capon Argument in Artificial Intelligence and Law. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 1997, v:5, n:4, pp:249-261 [Journal ] Trevor J. M. Bench-Capon Zenon Bankowski, Ian White, and Ulrike Hahn, Informatics and the Foundations of Legal Reasoning (Review). [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 1999, v:7, n:4, pp:363-365 [Journal ] Trevor J. M. Bench-Capon , T. Geldard , Paul H. Leng A method for the computational modelling of dialectical argument with dialogue games. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2000, v:8, n:2/3, pp:233-254 [Journal ] Pepijn R. S. Visser , Trevor J. M. Bench-Capon A Comparison of Four Ontologies for the Design of Legal Knowledge Systems. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 1998, v:6, n:1, pp:27-57 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 1997, v:5, n:3, pp:207-242 [Journal ] Katie Atkinson , Trevor J. M. Bench-Capon Legal Case-based Reasoning as Practical Reasoning. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2005, v:13, n:1, pp:93-131 [Journal ] Alison Chorley , Trevor J. M. Bench-Capon An empirical investigation of reasoning with legal cases through theory construction and application. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2005, v:13, n:3-4, pp:323-371 [Journal ] Alison Chorley , Trevor J. M. Bench-Capon AGATHA: Using heuristic search to automate the construction of case law theories. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2005, v:13, n:1, pp:9-51 [Journal ] Martin Mozina , Jure Zabkar , Trevor J. M. Bench-Capon , Ivan Bratko Argument Based Machine Learning Applied to Law. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2005, v:13, n:1, pp:53-73 [Journal ] Trevor J. M. Bench-Capon , Paul E. Dunne Argumentation in AI and Law: Editors' Introduction. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2005, v:13, n:1, pp:1-8 [Journal ] Frans Coenen , Bridget Beattie , Michael J. R. Shave , Trevor J. M. Bench-Capon , B. M. Diaz Spatial Reasoning Using the Quad Tesseral Representation. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Rev., 1998, v:12, n:4, pp:321-343 [Journal ] Trevor J. M. Bench-Capon Humpty Dumpty, Private Languages and Logic Programmers. [Citation Graph (0, 0)][DBLP ] AI Soc., 1988, v:2, n:3, pp:271-272 [Journal ] Trevor J. M. Bench-Capon Value Based Argumentation Frameworks [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Trevor J. M. Bench-Capon , Paul E. S. Dunne Some Computational Properties of a Model for Electronic Documents. [Citation Graph (0, 0)][DBLP ] Electronic Publishing, 1988, v:2, n:4, pp:231-256 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Expert, 1993, v:8, n:3, pp:76-81 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 2001, v:10, n:1-2, pp:171-195 [Journal ] Trevor J. M. Bench-Capon The role of ontologies in the verification and validation of knowledge-based systems. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2001, v:16, n:3, pp:377-390 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Int. J. Hum.-Comput. Stud., 1999, v:51, n:6, pp:1127-1154 [Journal ] Tom Routen , Trevor J. M. Bench-Capon Hierarchical Formalizations. [Citation Graph (0, 0)][DBLP ] International Journal of Man-Machine Studies, 1991, v:35, n:1, pp:69-93 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Inf. Res., 1999, v:4, n:3, pp:- [Journal ] Trevor J. M. Bench-Capon , A. M. McEnery People Interact Through Computers Not With Them. [Citation Graph (0, 0)][DBLP ] Interacting with Computers, 1989, v:1, n:1, pp:31-38 [Journal ] Trevor J. M. Bench-Capon , A. M. McEnery Modelling Devices and Modelling Speakers. [Citation Graph (0, 0)][DBLP ] Interacting with Computers, 1989, v:1, n:2, pp:220-224 [Journal ] Trevor J. M. Bench-Capon , Paul H. Leng , Geof Staniford A Computer Supported Environment for the Teaching of Legal Argument. [Citation Graph (0, 0)][DBLP ] Journal of Information, Law and Technology, 1998, v:1998, n:3, pp:- [Journal ] Paul E. Dunne , Trevor J. M. Bench-Capon A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2001, v:47, n:1, pp:1-14 [Journal ] Trevor J. M. Bench-Capon , D. Lowes , A. M. McEnery Argument-based explanation of logic programs. [Citation Graph (0, 0)][DBLP ] Knowl.-Based Syst., 1991, v:4, n:3, pp:177-183 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Knowl.-Based Syst., 1996, v:9, n:5, pp:287-300 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Knowl.-Based Syst., 2000, v:13, n:2-3, pp:113-120 [Journal ] Trevor J. M. Bench-Capon Persuasion in Practical Argument Using Value-based Argumentation Frameworks. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2003, v:13, n:3, pp:429-448 [Journal ] Trevor J. M. Bench-Capon , Katie Atkinson , Alison Chorley Persuasion and Value in Legal Argument. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2005, v:15, n:6, pp:1075-1097 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 1995, v:5, n:4, pp:233-271 [Journal ] Katie Atkinson , Trevor J. M. Bench-Capon Action-Based Alternating Transition Systems for Arguments about Action. [Citation Graph (0, 0)][DBLP ] AAAI, 2007, pp:24-29 [Conf ] Maya Wardeh , Trevor J. M. Bench-Capon , Frans Coenen PADUA Protocol: Strategies and Tactics. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2007, pp:465-476 [Conf ] Adam Zachary Wyner , Trevor J. M. Bench-Capon Towards an Extensible Argumentation System. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2007, pp:283-294 [Conf ] Katie Atkinson , Trevor J. M. Bench-Capon Argumentation and standards of proof. [Citation Graph (0, 0)][DBLP ] ICAIL, 2007, pp:107-116 [Conf ] Trevor J. M. Bench-Capon , Paul E. Dunne Argumentation in artificial intelligence. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2007, v:171, n:10-15, pp:619-641 [Journal ] Katie Atkinson , Trevor J. M. Bench-Capon Practical reasoning as presumptive argumentation using action based alternating transition systems. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2007, v:171, n:10-15, pp:855-874 [Journal ] Katie Atkinson , Trevor J. M. Bench-Capon , Peter McBurney PARMENIDES: Facilitating Deliberation in Democracies. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2006, v:14, n:4, pp:261-275 [Journal ] Trevor J. M. Bench-Capon , Frans Coenen The maintenance of legal knowledge based systems. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Rev., 1992, v:6, n:2, pp:129-143 [Journal ] Abstract Argumentation Scheme Frameworks. [Citation Graph (, )][DBLP ] Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation. [Citation Graph (, )][DBLP ] Emotions in Rational Decision Making. [Citation Graph (, )][DBLP ] Multi-Party Argument from Experience. [Citation Graph (, )][DBLP ] Argumentation over ontology correspondences in MAS. [Citation Graph (, )][DBLP ] Altruism and agents: an argumentation based approach to designing agent decision mechanisms. [Citation Graph (, )][DBLP ] Arguing from Experience to Classifying Noisy Data. [Citation Graph (, )][DBLP ] Computation in Extended Argumentation Frameworks. [Citation Graph (, )][DBLP ] Agents Arguing over Ontology Alignments. [Citation Graph (, )][DBLP ] Isomorphism and argumentation. [Citation Graph (, )][DBLP ] Case law in extended argumentation frameworks. [Citation Graph (, )][DBLP ] Arguing Over Ontology Alignments. [Citation Graph (, )][DBLP ] Integrating Object and Meta-Level Value Based Argumentation. [Citation Graph (, )][DBLP ] Arguments from Experience: The PADUA Protocol. [Citation Graph (, )][DBLP ] Asking the right question: forcing commitment in examination dialogues. [Citation Graph (, )][DBLP ] Modelling Judicial Context in Argumentation Frameworks. [Citation Graph (, )][DBLP ] A Methodology for Action-Selection using Value-Based Argumentation. [Citation Graph (, )][DBLP ] Justifying Actions by Accruing Arguments. [Citation Graph (, )][DBLP ] Automating Argumentation for Deliberation in Cases of Conflict of Interest. [Citation Graph (, )][DBLP ] Argument Based Moderation of Benefit Assessment. [Citation Graph (, )][DBLP ] Did He Jump or Was He Pushed? Abductive Practical Reasoning. [Citation Graph (, )][DBLP ] Arguments, Values and Baseballs: Representation of Popov v. Hayashi. [Citation Graph (, )][DBLP ] Zeno Revisited: Representation of Persuasive Argument. [Citation Graph (, )][DBLP ] Modelling State Intervention in Cases of Conflicting Interests. [Citation Graph (, )][DBLP ] A case study of hypothetical and value-based reasoning in US Supreme-Court cases. [Citation Graph (, )][DBLP ] Theory and Practice in AI and Law: A Response to Branting. [Citation Graph (, )][DBLP ] Argument Schemes for Legal Case-based Reasoning. [Citation Graph (, )][DBLP ] Dynamic Rule Mining for Argumentation Based Systems. [Citation Graph (, )][DBLP ] Did he jump or was he pushed? [Citation Graph (, )][DBLP ] PADUA: a protocol for argumentation dialogue using association rules. [Citation Graph (, )][DBLP ] Using argument schemes for hypothetical reasoning in law. [Citation Graph (, )][DBLP ] Search in 0.017secs, Finished in 0.028secs