Tableau-Based ABox Abduction for the ALCHO Description Logic J Pukancová, M Homola 30th International Workshop on Description Logics (DL 2017), 0 | 25* | |
Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. J Pukancová, M Homola 28th International Workshop on Description Logics (DL 2015), 2015 | 16 | 2015 |
ABox Abduction for Description Logics: The Case of Multiple Observations. J Pukancová, M Homola Description Logics, 2018 | 15 | 2018 |
The AAA ABox abduction solver. Künstliche Intell. 34 (4), 517–522 (2020) J Pukancová, M Homola | 8 | |
The AAA ABox Abduction Solver: System Description J Pukancová, M Homola KI-Künstliche Intelligenz 34 (4), 517-522, 2020 | 7 | 2020 |
Tableau-Based ABox Abduction for Description Logics: Preliminary Report. J Pukancová, M Homola 29th International Workshop on Description Logics (DL 2016), 2016 | 6 | 2016 |
ABox Abduction Solver Exploiting Multiple DL Reasoners. D Mrózek, J Pukancová, M Homola Description Logics, 2018 | 5 | 2018 |
Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. M Homola, J Pukancová, I Balintová, J Boborová Description Logics, 2022 | 3 | 2022 |
Merge, Explain, Iterate. M Homola, J Pukancová, J Gablíková, K Fabianová Description Logics, 2020 | 3 | 2020 |
Direct approach to ABox abduction in description logics J Pukancova Ph. D. thesis, Comenius University in Bratislava, 2018 | 3 | 2018 |
Merge, explain, iterate: A combination of MHS and MXP in an ABox abduction solver M Homola, J Pukancová, J Boborová, I Balintová European Conference on Logics in Artificial Intelligence, 338-352, 2023 | 2 | 2023 |
Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain. K Fabianová, J Pukancová, M Homola Description Logics, 2019 | 2 | 2019 |
DL abduction API v2 and GUI interface J Kloc, M Homola, J Pukancová Proceedings of the 36th International Workshop on Description Logics (DL …, 2023 | 1 | 2023 |
An API for DL Abduction Solvers. Z Hlávková, M Homola, P Koopmann, J Pukancová Description Logics, 2022 | 1 | 2022 |
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver J Boborová, I Balintová, J Pukancová, M Homola | | 2023 |
SIVA: An Educational Tool for the Tableau Reasoning Algorithm. P Paulovics, J Pukancová, M Homola Description Logics, 2018 | | 2018 |
ABox abduction algorithm for expressive description logics J Pukancová, M Homola | | |