In Dungs seminal work, an argumentation framework was defined by a set of abstract
arguments and a binary (and also abstract) relation between these arguments, called attack …

Legal text retrieval serves as a key component in a wide range of legal text processing tasks
such as legal question answering, legal case entailment, and statute law retrieval. The …

Legislation can be viewed as a body of prescriptive rules expressed in natural language.
The application of legislation to facts of a case we refer to as statutory reasoning, where …

This paper analyses and compares some of the automated reasoners that have been used
in recent research for compliance checking. Although the list of the considered reasoners is …

Laypeople (ie individuals without legal training) may often have trouble resolving their legal
problems. In this work, we present the JusticeBot methodology. This methodology can be …

An answer set is a plain set of literals which has no further structure that would explain why
certain literals are part of it and why others are not. We show how argumentation theory can …

The availability of representative datasets is an essential prerequisite for many successful
artificial intelligence and machine learning models. However, in real life applications these …

In this paper, we present an informal introduction to Logical English (LE) and illustrate its
use to standardise the legal wording of the Automatic Early Termination (AET) clauses of …

The automated translation of natural language text into structured logical representations is
a critical task in various applications, including legal reasoning and decision-making. This …

Around the world, private and public organizations use software called legal expert systems
to compute taxes. This software must comply with the laws they are designed to implement …