DAGGER: Datalog+/- Argumentation Graph GEneRator

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.

Authors

• Bruno Yun Universite Claude Bernard Lyon 1, CNRS, Ecole Centrale de Lyon, INSA Lyon, Université Lumière Lyon 2, LIRIS, UMR5205
• Madalina Croitoru
• Srdjan Vesic CRIL, CNRS, Univ Artois
• Pierre Bisquert

Keywords

No keywords are indexed for this paper.