A5074094975- Multi-Agent Systems and Negotiation
- Logic, Reasoning, and Knowledge
- Artificial Intelligence in Law
- Semantic Web and Ontologies
- Law, Economics, and Judicial Systems
- AI-based Problem Solving and Planning
- Business Process Modeling and Analysis
- Natural Language Processing Techniques
- Legal Education and Practice Innovations
- Service-Oriented Architecture and Web Services
- Speech and dialogue systems
- Comparative and International Law Studies
- Constraint Satisfaction and Optimization
- Advanced Database Systems and Queries
- Auction Theory and Applications
- Data Mining Algorithms and Applications
- Data Management and Algorithms
- Dispute Resolution and Class Actions
- Biomedical Text Mining and Ontologies
- Model-Driven Software Engineering Techniques
- Law, AI, and Intellectual Property
- Judicial and Constitutional Studies
- Ethics and Social Impacts of AI
- Access Control and Trust
- Big Data and Business Intelligence
University of Liverpool
2015-2024
Utrecht University
2014
Keele University
1994
Imperial College London
1987
St. John's College of Nursing
1977-1980
In many cases of disagreement, particularly in situations involving practical reasoning, it is impossible to demonstrate conclusively that either party wrong. The role argument such persuade rather than prove, or refute. Following Perelman, we argue persuasion relies on a recognition the strength an depends social values advances, and whether attack one another succeeds comparative advanced by arguments concerned. To model this extend standard notion Argumentation Frameworks (AFs)...
In this paper we report on a significant research project undertaken to design, implement and evaluate explainable decision-support tools for deciding legal cases. We provide model of domain, Article 6 the European Convention Human Rights, constructed using methodology from field computational models argument. describe how formal has been developed, extended transformed into practical tools, which were then used in evaluation exercises determine effectiveness usability tools. The...
Article Free Access Share on Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation Authors: T. J. M. Bench-Capon Imperial College, London, England, UK UKView Profile , G. O. Robinson W. Routen Sergot Authors Info & Claims ICAIL '87: Proceedings the 1st international conference Artificial intelligence and lawDecember 1987 Pages 190–198https://doi.org/10.1145/41735.41757Online:01 December 1987Publication History...
In this article we offer a formal account of reasoning with legal cases in terms argumentation schemes. These schemes, and undercutting attacks associated them, are formalized as defeasible rules inference within the ASPIC+ framework. We begin by modelling style developed Aleven Ashley CATO project, which describes using factors, then extend to accommodate dimensions used Rissland Ashley's earlier HYPO project. Some additional scope for is identified formalized.
Abstract The first issue of Artificial Intelligence and Law journal was published in 1992. This paper offers some commentaries on papers drawn from the Journal’s third decade. They indicate a major shift within Intelligence, both generally AI Law: away symbolic techniques to those based Machine Learning approaches, especially Natural Language texts rather than feature sets. Eight are discussed: two concern management use documents available World Wide Web, six apply machine learning variety...
In order to support semantic interoperation in open environments, where agents can dynamically join or leave and no prior assumption be made on the ontologies align, different involved need agree semantics of terms used during interoperation.Reaching this agreement only come through some sort negotiation process.Indeed, will differ domain they commit to; their perception world, hence choice vocabulary represent concepts.We propose an approach for supporting creation exchange arguments, that...
The abstract nature of Dung’s theory argumentation accounts for its wide-spread application as a general framework various species non-monotonic reasoning, and, more generally, reasoning in the presence conflict. In this article, we formalize about within Dung paradigm itself. A metalevel is itself instantiated by arguments that make statements arguments, their interactions, and evaluation an object-level framework.We show how theory, extensions such those intended to accommodate...
This paper is an introduction to a virtual special issue of AI and Law exploring the legacy influential HYPO system Rissland Ashley. The papers included are: Arguments cases: An inevitable intertwining, BankXX: Supporting legal arguments through heuristic retrieval, Modelling reasoning with precedents in formal dialogue Game, A note on dimensions factors, empirical investigation cases theory construction application, Automatically classifying case texts predicting outcomes, factor-based...