A structural benchmark for logical argumentation frameworks

Bruno Yun 1 Srdjan Vesic 2 Madalina Croitoru 1 Pierre Bisquert 1 Rallou Thomopoulos 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 : This paper proposes a practically-oriented benchmark suite for computational argumentation. We instantiate abstract argumentation frameworks with existential rules, a language widely used in Semantic Web applications and provide a generator of such instantiated graphs. We analyse performance of argu-mentation solvers on these benchmarks.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01668017
Contributor : Bruno Yun <>
Submitted on : Tuesday, December 19, 2017 - 5:12:38 PM
Last modification on : Wednesday, February 13, 2019 - 4:32:01 PM

File

ida-ArgBench.pdf
Files produced by the author(s)

Identifiers

Citation

Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert, Rallou Thomopoulos. A structural benchmark for logical argumentation frameworks. IDA: Intelligence Data Analysis, Oct 2017, Londres, United Kingdom. pp.334-346, ⟨10.1007/978-3-319-68765-0_28⟩. ⟨lirmm-01668017⟩

Share

Metrics

Record views

210

Files downloads

226