Connection-minimal Abduction in EL via Translation to FOL -- Technical Report

Add code
May 20, 2022
Figure 1 for Connection-minimal Abduction in EL via Translation to FOL -- Technical Report
Figure 2 for Connection-minimal Abduction in EL via Translation to FOL -- Technical Report
Figure 3 for Connection-minimal Abduction in EL via Translation to FOL -- Technical Report
Figure 4 for Connection-minimal Abduction in EL via Translation to FOL -- Technical Report

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: