Output details
11 - Computer Science and Informatics
University of Dundee
On logical reifications of the argument interchange format
<11> Models of computation using acceptability semantics over argument structures need to be integrated with the Argument Interchange Format (see Reed#2) so that they can be applied in the Argument Web initiative, launched from Dundee and reported on in a CACM paper (Oct 2013). This paper presents collaborative work with authors of some of the most highly cited work in acceptability semantics (together they have over 6000 citations) in building formal equivalences between the two systems. For the first time, results in acceptability semantics can now be applied to arguments in natural discourse, leading to interest from DSTL and the police.