(+Mat4-LPI) |
(vyskum, publikacie) |
||
Riadok 18: | Riadok 18: | ||
== Výskum == | == Výskum == | ||
− | * | + | * Reprezentácia znalostí |
+ | * Abdukcia | ||
+ | * Deskripčné logiky | ||
== Publikácie == | == Publikácie == | ||
+ | * Júlia Pukancová and Martin Homola. "Tableau-Based ABox Abduction for Description Logics: Preliminary Report." Proceedings of the 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa. 2016. | ||
+ | * Júlia Pukancová and Martin Homola. "Abductive reasoning with description logics: Use case in medical diagnosis." Proceedings of the 28th International Workshop on Description Logics (DL 2015), Athens, Greece. 2015. | ||
}} | }} |
Verzia zo dňa a času 14:54, 14. september 2016
Júlia Pukancová
|
Výučba
- Výpočtová logika
- Reprezentácia znalostí a inferencia
- Deskripčné logiky, ontológie a sémantický web
- Matematika (4) – Logika pre informatikov
Výskum
- Reprezentácia znalostí
- Abdukcia
- Deskripčné logiky
Publikácie
- Júlia Pukancová and Martin Homola. "Tableau-Based ABox Abduction for Description Logics: Preliminary Report." Proceedings of the 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa. 2016.
- Júlia Pukancová and Martin Homola. "Abductive reasoning with description logics: Use case in medical diagnosis." Proceedings of the 28th International Workshop on Description Logics (DL 2015), Athens, Greece. 2015.