Vol-4229⫷ Vol-4230 ⫸Vol-4231
urn:nbn:de:0074-4230-0


Vol-4230/dl-paper27⫷Vol-4230/dl-paper36⫸Vol-4230/dl-paper37
Janka BoborováJakub KlocMartin HomolaJúlia Pukancová

Optimization and Empirical Evaluation of the CATS ABox Abduction Solver (Extended Abstract)