Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver.

Martin Homola, Jlia Pukancov, Janka Boborov, Iveta Balintov

Browse the full JELIA paper archive.