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.
Cite
CITATION STYLE
Hecham, A., Croitoru, M., & Bisquert, P. (2018). A first order logic benchmark for defeasible reasoning tool profiling. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11092 LNCS, pp. 81–97). Springer Verlag. https://doi.org/10.1007/978-3-319-99906-7_6
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
