Abstract
The Argument Interchange Format (AIF) has been devised in order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation. The AIF presents an abstract ontology for argumentation which serves as an interlingua between various reifications that consist of more concrete argumentation languages. In this paper, we aim to give a logical reification of the AIF ontology, by defining translations between the ontology’s language and the formal ASPIC framework for argumentation. We thus lay foundations for interrelating formal logic-based approaches to argumentation captured by the general ASPIC framework, and the wider class of AIF reifications, including those that are more informal and user orientated.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
