DAGGER: Datalog+/- Argumentation Graph GEneRator

Bruno Yun (University of Montpellier), Madalina Croitoru (Universty of Montpellier), Srdjan Vesic (CRIL - CNRS, Université d'Artois), Pierre Bisquert (INRA)

Abstract

We introduce DAGGER: a generator for logic based argumentation frameworks instantiated from inconsistent knowledge bases expressed using Datalog+/-. The tool allows to import a knowledge base in DLGP format and the generation and visualisation of the corresponding argumentation graph. Furthermore, the argumentation framework can also be exported in the Aspartix format.