(vyskum, publikacie)
Riadok 23: Riadok 23:
  
 
== Publikácie ==
 
== 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. "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.
 
* 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 13:24, 19. december 2017

Júlia Pukancová

Júlia Pukancová – fotografia
Meno: Mgr. Júlia Pukancová
doktorandka
Email: pukancova@fmph.uniba.sk
Miestnosť: I-7
Adresa: Mgr. Júlia Pukancová
Katedra aplikovanej informatiky
FMFI UK
Mlynská dolina
824 48 Bratislava

Výučba

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.