Iveta Balintová

Latest

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