(zmena na phd, pridany telefon) |
|||
Riadok 1: | Riadok 1: | ||
{{Osoba | {{Osoba | ||
− | | fullname = Mgr. Júlia Pukancová | + | | fullname = Mgr. Júlia Pukancová, PhD. |
| caption = Júlia Pukancová | | caption = Júlia Pukancová | ||
| image = pukancova.jpg | | image = pukancova.jpg | ||
| section = | | section = | ||
| position = doktorandka | | position = doktorandka | ||
− | | phone = | + | | phone = +421 2 602 95 444 |
| room = I-7 | | room = I-7 | ||
| email = pukancova[[Image:zavinac.gif|@]]fmph.uniba.sk | | email = pukancova[[Image:zavinac.gif|@]]fmph.uniba.sk |
Verzia zo dňa a času 11:10, 11. september 2018
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 the ALCHO Description Logic." Proceedings of the 30th International Workshop on Description Logics (DL 2017), Montpellier, France. 2017.
- 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.