A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2018

A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

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.
Fichier principal
Vignette du fichier
rr-bench-raouf.pdf (438.17 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
220 View
332 Download

Altmetric

Share

Gmail Facebook X LinkedIn More