DAGGER: Datalog+/- Argumentation Graph GEneRator
Résumé
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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...