Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. - Júlia Pukancová; Martin Homola (Description Logics, 2015)

Tableau-Based ABox Abduction for Description Logics: Preliminary Report. - Júlia Pukancová; Martin Homola (Description Logics, 2016)

Tableau-Based ABox Abduction for the ALCHO Description Logic. - Júlia Pukancová; Martin Homola (Description Logics, 2017)

ABox Abduction Solver Exploiting Multiple DL Reasoners. - Drahomír Mrózek; Júlia Pukancová; Martin Homola (Description Logics, 2018)

SIVA: An Educational Tool for the Tableau Reasoning Algorithm. - Peter Paulovics; Júlia Pukancová; Martin Homola (Description Logics, 2018)

ABox Abduction for Description Logics: The Case of Multiple Observations. - Júlia Pukancová; Martin Homola (Description Logics, 2018)

Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain. - Katarína Fabianová; Júlia Pukancová; Martin Homola (Description Logics, 2019)

Merge, Explain, Iterate. - Martin Homola; Júlia Pukancová; Júlia Gablíková; Katarína Fabianová (Description Logics, 2020)

The AAA ABox Abduction Solver. - Júlia Pukancová; Martin Homola (Künstliche Intell., 2020)

An API for DL Abduction Solvers. - Zuzana Hlávková; Martin Homola; Patrick Koopmann; Júlia Pukancová (Description Logics, 2022)

Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. - Martin Homola; Júlia Pukancová; Iveta Balintová; Janka Boborová (Description Logics, 2022)

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 (Description Logics, 2023)

DL Abduction API v2 and GUI Interface (Extended Abstract). - Jakub Kloc; Martin Homola; Júlia Pukancová (Description Logics, 2023)

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. - Martin Homola; Júlia Pukancová; Janka Boborová; Iveta Balintová (JELIA, 2023)

Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract). - Janka Boborová; Jakub Kloc; Martin Homola; Júlia Pukancová (Description Logics, 2024)