Vol-3514⫷ Vol-3515 ⫸Vol-3516
urn:nbn:de:0074-3515-0


Vol-3515/abstract-6⫷Vol-3515/abstract-7⫸Vol-3515/abstract-8
Janka BoborováJúlia PukancováIveta BalintováMartin Homola

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