Volume: Vol-4230 DL 2026 | Year: 2026

Paper: « dl-paper27 | dl-paper36 | dl-paper37 »

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

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

PDF