Iveta Balintová

According to our database, Iveta Balintová authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

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