Volume: Vol-3739 DL 2024 | Year: 2024

Paper: « abstract-7 | abstract-8 | abstract-9 »

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

• Júlia Pukancová dblp
• Janka Boborová dblp
• Jakub Kloc dblp
• Martin Homola ORCID dblp

PDF