C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract).
Janka Boborová
Iveta Balintová
Júlia Pukancová
Martin Homola
Published in:
Description Logics (2023)
Keyphrases
</>
extended abstract
description logics
data sets
natural language
dl lite