A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

Abdelraouf Hecham 1 Madalina Croitoru 1 Pierre Bisquert 2
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 : In this paper we are interested in the task of a data engineer choosing what tool to use to perform defeasible reasoning with a first order logic knowledge base. To this end we propose the first benchmark in the literature that allows one to classify first order defeasible reasoning tools based on their semantics, expressiveness and performance.
Type de document :
Communication dans un congrès
International Joint Conference on Rules and Reasoning (RuleML+RR), Sep 2018, Luxembourg, Luxembourg. 2nd International Joint Conference on Rules and Reasoning, LNCS (11092), pp.81-97, 2018, 〈http://2018.ruleml-rr.org/〉. 〈10.1007/978-3-319-99906-7_6〉
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894747
Contributeur : Abdelraouf Hecham <>
Soumis le : vendredi 12 octobre 2018 - 17:54:25
Dernière modification le : vendredi 19 octobre 2018 - 15:18:02
Document(s) archivé(s) le : dimanche 13 janvier 2019 - 15:39:55

Fichier

rr-bench-raouf.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert. A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling. International Joint Conference on Rules and Reasoning (RuleML+RR), Sep 2018, Luxembourg, Luxembourg. 2nd International Joint Conference on Rules and Reasoning, LNCS (11092), pp.81-97, 2018, 〈http://2018.ruleml-rr.org/〉. 〈10.1007/978-3-319-99906-7_6〉. 〈lirmm-01894747〉

Partager

Métriques

Consultations de la notice

168

Téléchargements de fichiers

25