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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894744
Contributor : Abdelraouf Hecham <>
Submitted on : Friday, October 12, 2018 - 5:51:51 PM
Last modification on : Friday, March 29, 2019 - 9:12:10 AM
Long-term archiving on : Sunday, January 13, 2019 - 3:25:05 PM

File

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

Identifiers

  • HAL Id : lirmm-01894744, version 1

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. ⟨lirmm-01894744⟩

Share

Metrics

Record views

170

Files downloads

19