DAGGER: Datalog+/- Argumentation Graph GEneRator
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.
Origin | Files produced by the author(s) |
---|
Loading...