Meno a priezvisko:
|
Mgr. Ján Kľuka, PhD.
|
Typ dokumentu:
|
Vedecko/umelecko-pedagogická charakteristika osoby
|
Názov vysokej školy:
|
Univerzita Komenského v Bratislave
|
Sídlo vysokej školy:
|
Šafárikovo námestie 6, 818 06 Bratislava
|
III.a - Zamestnanie-pracovné zaradenie | III.b - Inštitúcia | III.c - Časové vymedzenie |
---|---|---|
Vysokoškolský učiteľ/odborný asistent | Fakulta matematiky, fyziky a informatiky Univerzity Komenského v Bratislave | 2004 – súčasnosť |
Technický asistent | Fakulta matematiky, fyziky a informatiky Univerzity Komenského v Bratislave | 2000 – 2001 |
IV.a - Popis aktivity, názov kurzu (ak išlo o kurz), iné | IV.b - Názov inštitúcie | IV.c - Rok |
---|---|---|
English | Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava | 1998 |
V.1.a - Názov profilového predmetu | V.1.b - Študijný program | V.1.c - Stupeň | V.1.d - Študijný odbor |
---|---|---|---|
Matematika (4) – Logika pre informatikov | Aplikovaná informatika | I. | Informatika |
Webové technológie a metodológie | Kognitívna veda | II.I | Informatika |
V.5.a - Názov predmetu | V.5.b - Študijný program | V.5.c - Stupeň | V.5.d - Študijný odbor |
---|---|---|---|
Webové technológie a metodológie | Aplikovaná informatika | II. | Informatika |
Deduktívne a NoSQL databázy | Aplikovaná informatika | I. | Informatika |
Linux – princípy a prostriedky | Aplikovaná informatika | I. | Informatika |
Špecifikácia a verifikácia programov | Aplikovaná informatika | I. | Informatika |
Kubincová, P., Kl'uka, J., Homola, M. Expressive description logic with instantiation metamodelling. In: KR 2016. In: KR 2016, pp. 569–572. AAAI Press (2016)
Homola M., Kľuka J., Svátek V., Vacura M.: Typed Higher-Order Variant of SROIQ - Why Not? In: Description Logics 2014, pp. 567-578 (2014)
Svátek, V., Kl'uka, J., Vacura, M., Homola, M., Dudáš, M.: Patterns for Referring to Multiple Indirectly Specified Objects (MISO): Analysis and Guidelines. Chapter in: Advances in Pattern-Based Ontology Engineering, pp. 1–24. IOS Press (2021).
Homola, M., Kľuka, J., Hozzová, P., Svátek, V., Vacura, M. Towards Higher-order OWL. KI - Kunstliche Intelligenz 34(3), pp. 417–421 (2020).
Svátek, V., Kl'uka, J., Vacura, M., Homola, M., Dudáš, M.: Patterns for Referring to Multiple Indirectly Specified Objects (MISO): Analysis and Guidelines. Chapter in: Advances in Pattern-Based Ontology Engineering, pp. 1–24. IOS Press (2021).
Homola, M., Kľuka, J., Hozzová, P., Svátek, V., Vacura, M. Towards Higher-order OWL. KI - Kunstliche Intelligenz 34(3), pp. 417–421 (2020).
Homola, M., Kl’uka, J., Kubincová, Z., Marmanová, P., Cifra, M. Timing the Adaptive Learning Process with Events Ontology. In: ICWL 2019. LNCS 11841, pp. 3–14. Springer (2019)
Homola, M. et al Team workflow and peer review in a virtual learning environment. In: ITHET 2017, pp. 1–6. IEEE (2017).
L Giordano, A Policriti. Adding the power-set to description logics. Theoretical Computer Science (2020). Ohlas na: Kubincová, P., Kl'uka, J., Homola, M. (2016); Homola M., Kľuka J., Svátek V, Vacura M. (2014).
Lenzerini, M., Lepore, L., Poggi, A. Metamodeling and metaquerying in OWL 2 QL. Artificial Intelligence 292 (2021). Ohlas na: Kubincová, P., Kl'uka, J., Homola, M. (2016)
Koubarakis, M., Borgida, A., Constantopoulos, P., (...), Mylopoulos, J., Plexousakis, D. A retrospective on Telos as a metamodeling language for requirements engineering. Requirements Engineering 26(1) (2021). Ohlas na: Kubincová, P., Kl'uka, J., Homola, M. (2016)
Lenzerini, M., Lepore, L., Poggi, A. Metaquerying made practical for OWL2QL ontologies. Information Systems 88 (2020). Ohlas na: Kubincová, P., Kl'uka, J., Homola, M. (2016)
Motz, M., Rohrer, E., Severi, P.: The description logic SHIQ with a flexible meta-modelling hierarchy. Journal of Web Semantics 35 (2015). Ohlas na: Homola, M., Kľuka, J., Svátek, V., Vacura, M. (2014).