Iveta Balintová

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Expressive Description Logics

Terminological Reasoning

Extended Abstract

Top Venues

Description Logics

Publications

Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract). Description Logics (2023)
Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. JELIA (2023)
Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová
Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. Description Logics (2022)