Login / Signup
Janka Boborová
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Logic Programming
White Box
Extended Abstract
Hybrid Learning
Top Venues
Description Logics
JELIA
</>
Publications
</>
Janka Boborová
,
Jakub Kloc
,
Martin Homola
,
Júlia Pukancová
Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract).
Description Logics
(2024)
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)