Follow
Júlia Pukancová
Title
Cited by
Cited by
Year
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
162015
ABox Abduction for Description Logics: The Case of Multiple Observations.
J Pukancová, M Homola
Description Logics, 2018
152018
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
72020
Tableau-Based ABox Abduction for Description Logics: Preliminary Report.
J Pukancová, M Homola
29th International Workshop on Description Logics (DL 2016), 2016
62016
ABox Abduction Solver Exploiting Multiple DL Reasoners.
D Mrózek, J Pukancová, M Homola
Description Logics, 2018
52018
Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results.
M Homola, J Pukancová, I Balintová, J Boborová
Description Logics, 2022
32022
Merge, Explain, Iterate.
M Homola, J Pukancová, J Gablíková, K Fabianová
Description Logics, 2020
32020
Direct approach to ABox abduction in description logics
J Pukancova
Ph. D. thesis, Comenius University in Bratislava, 2018
32018
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
22023
Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain.
K Fabianová, J Pukancová, M Homola
Description Logics, 2019
22019
DL abduction API v2 and GUI interface
J Kloc, M Homola, J Pukancová
Proceedings of the 36th International Workshop on Description Logics (DL …, 2023
12023
An API for DL Abduction Solvers.
Z Hlávková, M Homola, P Koopmann, J Pukancová
Description Logics, 2022
12022
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
The system can't perform the operation now. Try again later.
Articles 1–17