DAGGER: Datalog+/-Argumentation Graph GEneRator

Bruno Yun 1 Madalina Croitoru 1 Srdjan Vesic 2 Pierre Bisquert 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892588
Contributor : Bruno Yun <>
Submitted on : Wednesday, October 10, 2018 - 4:46:10 PM
Last modification on : Wednesday, February 13, 2019 - 4:32:01 PM
Long-term archiving on : Friday, January 11, 2019 - 5:05:06 PM

File

CR-AAMAS.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01892588, version 1

Citation

Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert. DAGGER: Datalog+/-Argumentation Graph GEneRator. AAMAS: Autonomous Agents and Multiagent Systems, Jul 2018, Stockholm, Sweden. pp.1841-1843. ⟨lirmm-01892588⟩

Share

Metrics

Record views

109

Files downloads

56