A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2018

A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

Résumé

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.
Fichier principal
Vignette du fichier
rr-bench-raouf.pdf (438.17 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-01894747 , version 1 (12-10-2018)

Identifiants

Citer

Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert. A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling. RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.81-97, ⟨10.1007/978-3-319-99906-7_6⟩. ⟨lirmm-01894747⟩
239 Consultations
350 Téléchargements

Altmetric

Partager

More