Obserwuj
Júlia Pukancová
Tytuł
Cytowane przez
Cytowane przez
Rok
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
122015
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
72018
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
42018
Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain.
K Fabianová, J Pukancová, M Homola
Description Logics, 2019
22019
Direct approach to ABox abduction in description logics
J Pukancová
Ph. D. thesis, Comenius University in Bratislava, 2018
22018
The AAA Abox abduction solver
J Pukancová, M Homola
KI-Künstliche Intelligenz 34 (4), 517-522, 2020
12020
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–12