(fixed e-mail address) |
|||
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 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 16:17, 14. september 2016
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 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.