Haifani, Fajar Automation of Logic, MPI for Informatics, Max Planck Society;
Tourret, Sophie Automation of Logic, MPI for Informatics, Max Planck Society;
paper2(4).pdf (Publisher version), 783KB
Haifani, F., Koopmann, P., & Tourret, S. (2021). Abduction in EL via Translation to FOL. In R. A. Schmidt, C. Wernhard, & Y. Zhao (Eds.), Second-Order Quantifier Elimination and Related Topics (pp. 46-58). CEUR-WS.