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
14*
Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis.
J Pukancová, M Homola
28th International Workshop on Description Logics (DL 2015), 2015
102015
ABox Abduction for Description Logics: The Case of Multiple Observations.
J Pukancová, M Homola
Description Logics, 2018
62018
Tableau-Based ABox Abduction for Description Logics: Preliminary Report.
J Pukancová, M Homola
29th International Workshop on Description Logics (DL 2016), 2016
52016
ABox Abduction Solver Exploiting Multiple DL Reasoners.
D Mrózek, J Pukancová, M Homola
Description Logics, 2018
32018
Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain.
K Fabianová, J Pukancová, M Homola
Description Logics, 2019
22019
The AAA ABox Abduction Solver
J Pukancová, M Homola
KI-Künstliche Intelligenz, 1-6, 2020
2020
SIVA: An Educational Tool for the Tableau Reasoning Algorithm.
P Paulovics, J Pukancová, M Homola
Description Logics, 2018
2018
Merge, Explain, Iterate
M Homola, J Pukancová, J Gablıková, K Fabianová
ABox abduction algorithm for expressive description logics
J Pukancová, M Homola
The system can't perform the operation now. Try again later.
Articles 1–10