TOOLS

Arg2P

Arg2P is a lightweight implementation of the ASPIC+-like system for structured argumentation.
In a nutshell, arguments are produced from a set of defeasible rules, and attack relationships between arguments are captured by argumentation graphs. The arguments of such graphs are labelled by following a labelling semantics. This simple framework will suffice to illustrate our upcoming investigation into persuasive burdens within an argumentation setting.

Logical English

Logical English (LE) is syntactic sugar for logic programs, which are collections of facts and rules of the form conclusion if
conditions. In this paper, we focus on legal applications of LE and the use of meta- (or higher-order) predicates to represent
propositional attitudes, such as permission, obligation, notification of a message and designation of the occurrence of an
event. We also illustrate the integration of LE with SWISH, the online implementation of SWI Prolog.