d (Nadpisy presunuté z 3. na 2. úroveň) |
(Fix: section) |
||
(9 intermediate revisions by 3 users not shown) | |||
Riadok 1: | Riadok 1: | ||
{{Person | {{Person | ||
− | | 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 = Section of Artificial Intelligence |
− | | position = | + | | position = assistant professor |
− | | phone = | + | | phone = (+421 2 602 95) 444 |
| room = I-7 | | room = I-7 | ||
− | | email = | + | | email = pukancova[[Image:zavinac.gif|@]]fmph.uniba.sk |
− | | web = | + | | web = [http://dai.fmph.uniba.sk/~pukancova/ http://dai.fmph.uniba.sk/~pukancova/] |
| info = | | info = | ||
Riadok 15: | Riadok 15: | ||
* [[Knowledge Representation and Reasoning]] | * [[Knowledge Representation and Reasoning]] | ||
* [[Description Logics Ontologies and Semantics Web]] | * [[Description Logics Ontologies and Semantics Web]] | ||
+ | * [[Course:Mathematics 4|Mathematics 4 – Logic for Computer Science]] | ||
== Research == | == Research == | ||
− | * | + | * Knowledge representation |
+ | * Abduction | ||
+ | * Description Logics | ||
== Publications == | == 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. | ||
}} | }} |
Verzia zo dňa a času 15:16, 18. október 2019
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.