- Computational Logic
- Knowledge Representation and Reasoning
- Description Logics Ontologies and Semantics Web
- Mathematics 4 – Logic for Computer Science
- Knowledge representation
- Description Logics
- 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.
Responsible for pages:
Revision as of 15:17, 14 September 2016 by Pukancova