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.
Type de document :
Communication dans un congrès
COMMA: Conference on Computational Models of Argument, Sep 2018, Warso, Poland. 7th International Conference on Computational Models of Argument, 2018, 〈http://comma2018.argdiap.pl/〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894744
Contributeur : Abdelraouf Hecham <>
Soumis le : vendredi 12 octobre 2018 - 17:51:51
Dernière modification le : vendredi 19 octobre 2018 - 15:18:01
Document(s) archivé(s) le : dimanche 13 janvier 2019 - 15:25:05

Fichier

hecham-8-demo.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 7th International Conference on Computational Models of Argument, 2018, 〈http://comma2018.argdiap.pl/〉. 〈lirmm-01894744〉

Partager

Métriques

Consultations de la notice

130

Téléchargements de fichiers

12