Selected publications

• Pukancová, J. and Homola, M., 2020. The AAA Abox abduction solver. KI-Künstliche Intelligenz, 34(4), pp.517-522.
• Homola, M., Pukancová, J., Boborová, J. and Balintová, I., 2023, September. Merge, explain, iterate: A combination of MHS and MXP in an ABox abduction solver. In European Conference on Logics in Artificial Intelligence (pp. 338-352). Cham: Springer Nature Switzerland.
• Kloc, J., Boborová, J., Homola, M. and Pukancová, J., 2025, September. CATS Solver: The Rise of Hybrid Abduction Algorithms. In Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland .
• Boborová, J., Kloc, J., Homola, M. and Pukancová, J., 2025, September. On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms. In Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland .
• Homola, M., Pukancová, J., Balintová, I. and Boborová, J., 2022. Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. In Description Logics Workshop 2022.

VUPCH

Timetable

Candle