Vol-3738⫷ Vol-3739 ⫸Vol-3740
urn:nbn:de:0074-3739-0


Vol-3739/abstract-7⫷Vol-3739/abstract-8⫸Vol-3739/abstract-9
Janka BoborováJakub KlocMartin HomolaJúlia Pukancová

Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract)