Petra Hozzová
Petra Hozzová
Verified email at tuwien.ac.at
Title
Cited by
Cited by
Year
Expressive description logic with instantiation metamodelling
P Kubincová, J Kl'uka, M Homola
Proceedings of the Fifteenth International Conference on Principles of …, 2016
92016
Towards Expressive Metamodelling with Instantiation.
P Kubincová, J Kluka, M Homola
Description Logics, 2015
72015
Higher-Order Description Logics for Metamodelling
P Kubincová
Comenius University in Bratislava, 2016
12016
Mapping between genomes
P Kubincová
Bachelor thesis, Comenius University, Slovakia Supervised by Brona Brejová, 2014
12014
Towards Higher-order OWL
M Homola, J Kľuka, P Hozzová, V Svátek, M Vacura
KI-Künstliche Intelligenz 34 (3), 417-421, 2020
2020
Induction with Generalization in Superposition Reasoning
M Hajdu, P Hozzová, L Kovács, J Schoisswohl, A Voronkov
International Conference on Intelligent Computer Mathematics, 123-137, 2020
2020
Induction with Generalization in Superposition Reasoning
P Hozzová, L Kovács, J Schoisswohl, A Voronkov
EasyChair, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–7