Search Results for author:
Found 2 papers, 0 papers with code
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning
We define a respective strategy for the SCL calculus such that clauses learned by SCL and superposition inferences coincide.
Connection-minimal Abduction in EL via Translation to FOL -- Technical Report
We consider TBox abduction in the lightweight description logic EL, where the observation is a concept inclusion and the background knowledge is a TBox, i. e., a set of concept inclusions.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
