A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert. A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling. In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, editors, Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings. Volume 11092 of Lecture Notes in Computer Science, pages 81-97, Springer, 2018. [doi]

This author has not been identified. Look up 'Abdelraouf Hecham' in GoogleThis author has not been identified. Look up 'Madalina Croitoru' in GoogleThis author has not been identified. Look up 'Pierre Bisquert' in Google

runs on WebDSL