Júlia Pukancová
Titel
Geciteerd door
Geciteerd door
Jaar
Tableau-Based ABox Abduction for the ALCHO Description Logic
J Pukancová, M Homola
30th International Workshop on Description Logics (DL 2017), 0
13*
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
52018
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
12019
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
ABox abduction algorithm for expressive description logics
J Pukancová, M Homola
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–9