Janka Boborová

According to our database, Janka Boborová authored at least 6 papers between 2022 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

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver.

Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract).

Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola

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

2022

Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results.

Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022