Vol-2210⫷ Vol-2211 ⫸Vol-2212
urn:nbn:de:0074-2211-0


Vol-2211/paper-23⫷Vol-2211/paper-24⫸Vol-2211/paper-25
Drahomír MrózekJúlia PukancováMartin Homola

ABox Abduction Solver Exploiting Multiple DL Reasoners