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 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Abdelraouf Hecham Connect in order to contact the contributor
Submitted on : Friday, October 12, 2018 - 5:54:25 PM
Last modification on : Wednesday, October 27, 2021 - 10:18:51 AM
Long-term archiving on: : Sunday, January 13, 2019 - 3:39:55 PM


Files produced by the author(s)




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⟩



Record views


Files downloads