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.