Demonstrating a benchmark for defeasible reasoning

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 demonstration we focus on the task of a data engineer choosing what tool to perform defeasible reasoning with a first order logic knowledge base.
Document type :
Conference papers
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894744
Contributor : Abdelraouf Hecham <>
Submitted on : Friday, October 12, 2018 - 5:51:51 PM
Last modification on : Monday, November 18, 2019 - 3:23:46 PM
Long-term archiving on : Sunday, January 13, 2019 - 3:25:05 PM

File

hecham-8-demo.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert. Demonstrating a benchmark for defeasible reasoning. COMMA: Conference on Computational Models of Argument, Sep 2018, Warso, Poland. pp.461-462, ⟨10.3233/978-1-61499-906-5-461⟩. ⟨lirmm-01894744⟩

Share

Metrics

Record views

239

Files downloads

31