Janka Boborová

According to our database1, Janka Boborová authored at least 4 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract).
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.
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).
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.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022


  Loading...