| Tableau-Based ABox Abduction for the ALCHO Description Logic J Pukancová, M Homola 30th International Workshop on Description Logics (DL 2017), 0 | 23* | |
| Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. J Pukancová, M Homola 28th International Workshop on Description Logics (DL 2015), 2015 | 12 | 2015 |
| The AAA ABox abduction solver. Künstliche Intell. 34 (4), 517–522 (2020) J Pukancová, M Homola | 9 | |
| ABox Abduction for Description Logics: The Case of Multiple Observations. J Pukancová, M Homola Description Logics, 2018 | 7 | 2018 |
| Tableau-Based ABox Abduction for Description Logics: Preliminary Report. J Pukancová, M Homola 29th International Workshop on Description Logics (DL 2016), 2016 | 5 | 2016 |
| ABox Abduction Solver Exploiting Multiple DL Reasoners. D Mrózek, J Pukancová, M Homola Description Logics, 2018 | 4 | 2018 |
| Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain. K Fabianová, J Pukancová, M Homola Description Logics, 2019 | 2 | 2019 |
| Direct approach to ABox abduction in description logics J Pukancová Ph. D. thesis, Comenius University in Bratislava, 2018 | 2 | 2018 |
| The AAA Abox abduction solver J Pukancová, M Homola KI-Künstliche Intelligenz 34 (4), 517-522, 2020 | 1 | 2020 |
| Merge, Explain, Iterate. M Homola, J Pukancová, J Gablíková, K Fabianová Description Logics, 2020 | | 2020 |
| 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 | | |
Martin HomolaComenius University in BratislavaZweryfikowany adres z fmph.uniba.sk
