Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert. A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling. International Joint Conference on Rules and Reasoning (RuleML+RR), Sep 2018, Luxembourg, Luxembourg. 2nd International Joint Conf
HAL Archives-Ouvertes,
Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert. A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling.