Riadok 8: | Riadok 8: | ||
| room = I-7 | | room = I-7 | ||
| email = pukancova[[Image:zavinac.gif|@]]fmph.uniba.sk | | email = pukancova[[Image:zavinac.gif|@]]fmph.uniba.sk | ||
− | | web = | + | | web = [http://dai.fmph.uniba.sk/~homola/ http://dai.fmph.uniba.sk/~homola/] |
| info = | | info = | ||
Verzia zo dňa a času 17:42, 25. september 2018
Júlia Pukancová
|
Teaching
- Computational Logic
- Knowledge Representation and Reasoning
- Description Logics Ontologies and Semantics Web
- Mathematics 4 – Logic for Computer Science
Research
- Knowledge representation
- Abduction
- Description Logics
Publications
- 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.