A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
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.
| Origin | Files produced by the author(s) |
|---|
Loading...