(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.