Name and surname:
|
Mgr. Ján Kľuka, PhD.
|
Document type:
|
Research/art/teacher profile of a person
|
The name of the university:
|
Comenius University Bratislava
|
The seat of the university:
|
Šafárikovo námestie 6, 818 06 Bratislava
|
III.a - Occupation-position | III.b - Institution | III.c - Duration |
---|---|---|
Assistant professor | Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava | 2004 – present |
Technical assistant | Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava | 2000 – 2001 |
IV.a - Activity description, course name, other | IV.b - Name of the institution | IV.c - Year |
---|---|---|
English | Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava | 1998 |
V.1.a - Name of the profile course | V.1.b - Study programme | V.1.c - Degree | V.1.d - Field of study |
---|---|---|---|
Logic for Computer Science | Applied Computer Science | I. | Computer Science |
Web Technologies and Methodology | Cognitive Science | II. | Computer Science |
V.5.a - Name of the course | V.5.b - Study programme | V.5.c - Degree | V.5.d - Field of study |
---|---|---|---|
Web Technologies and Methodology | Applied Computer Science | II. | Computer Science |
Deductive and NoSQL databases | Applied Computer Science | I. | Computer Science |
Linux - Principles and Means | Applied Computer Science | I. | Computer Science |
Specification and Verification of Programs | Applied Computer Science | I. | Computer Science |
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). Citation of: 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). Citation of: 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). Citation of: Kubincová, P., Kl'uka, J., Homola, M. (2016)
Lenzerini, M., Lepore, L., Poggi, A. Metaquerying made practical for OWL2QL ontologies. Information Systems 88 (2020). Citation of: 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). Citation of: Homola, M., Kľuka, J., Svátek, V., Vacura, M. (2014).
APVV-19-0220 ORBIS - Ontology representation for security of information systems. Principal Investigator: P. Zajac
APVV-20-0353 Výskum motivácie študentov v adaptívnom personalizovanom prostredí s kolaboratívnymi nástrojmi. Principal Investigator: Z. Kubincová
VEGA 1/0778/18 Znalosti a dôvera v otvorených agentových prostrediach. Principal Investigator: D. Gruska
VEGA 1/0621/22 Motivácia a participácia na kolaboratívnych aktivitách v adaptívnom personalizovanom edukačnom prostredí. Principal Investigator: Z. Kubincová
VEGA 1/0797/18 Motivácia a participácia na edukačných aktivitách. Principal Investigator: Z. Kubincová