A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...