Jakub Kloc

According to our database, Jakub Kloc authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

CATS Solver: The Rise of Hybrid Abduction Algorithms.

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

Proceedings of the 38th International Workshop on Description Logics, 2025

On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract).

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

Proceedings of the 38th International Workshop on Description Logics, 2025

2024

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

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

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023

DL Abduction API v2 and GUI Interface (Extended Abstract).

Jakub Kloc, Martin Homola, Júlia Pukancová

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023