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

Published in: Description Logics (2023)

Keyphrases