Skip to Main content Skip to Navigation
Conference papers

A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

Abdelraouf Hecham 1 Madalina Croitoru 1 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Abdelraouf Hecham <>
Submitted on : Friday, October 12, 2018 - 5:54:25 PM
Last modification on : Wednesday, January 6, 2021 - 3:22:06 PM
Long-term archiving on: : Sunday, January 13, 2019 - 3:39:55 PM


Files produced by the author(s)



Abdelraouf Hecham, Madalina Croitoru, . 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⟩



Record views


Files downloads