Vol-3262⫷ Vol-3263 ⫸Vol-3264
urn:nbn:de:0074-3263-0


Vol-3263/paper-12⫷Vol-3263/paper-13⫸Vol-3263/paper-14
Martin HomolaJúlia PukancováIveta BalintováJanka Boborová

Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results