research
∙
05/17/2022
Connection-minimal Abduction in EL via Translation to FOL – Technical Report
Abduction in description logics finds extensions of a knowledge base to ...
share
research
∙
01/31/2021
Superposition with Lambdas
We designed a superposition calculus for a clausal fragment of extension...
research
∙
07/01/2020
Signature-Based Abduction for Expressive Description Logics – Technical Report
Signature-based abduction aims at building hypotheses over a specified s...
research
∙
07/25/2019
Logical reduction of metarules
Many forms of inductive logic programming (ILP) use metarules, second-or...
research
∙
02/26/2019