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.
Type de document :
Communication dans un congrès
IDA 2017 - 16th International Symposium on Intelligence Data Analysis, Oct 2017, Londres, United Kingdom. Springer, Cham, LNCS, 10584, pp.334-346, 2017, Advances in Intelligent Data Analysis XVI. 〈http://www.dcs.bbk.ac.uk/ida2017/〉. 〈10.1007/978-3-319-68765-0_28〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01668017
Contributeur : Bruno Yun <>
Soumis le : mardi 19 décembre 2017 - 17:12:38
Dernière modification le : lundi 11 juin 2018 - 15:56:02

Fichier

ida-ArgBench.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert, Rallou Thomopoulos. A structural benchmark for logical argumentation frameworks. IDA 2017 - 16th International Symposium on Intelligence Data Analysis, Oct 2017, Londres, United Kingdom. Springer, Cham, LNCS, 10584, pp.334-346, 2017, Advances in Intelligent Data Analysis XVI. 〈http://www.dcs.bbk.ac.uk/ida2017/〉. 〈10.1007/978-3-319-68765-0_28〉. 〈lirmm-01668017〉

Partager

Métriques

Consultations de la notice

160

Téléchargements de fichiers

75