Meno a priezvisko:
|
Ing. Alexander Šimko, 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 |
---|---|---|
odborný asistent | Fakulta matematiky, fyziky a informatiky. Univerzita Komenského v Bratislave. | 2014 - 2024 |
V.1.a - Názov profilového predmetu | V.1.b - Študijný program | V.1.c - Stupeň | V.1.d - Študijný odbor |
---|---|---|---|
Databázy (1) | aplikovaná informatika | I | 18. - informatika |
Game Engines | aplikovaná informatika | I | 18. - informatika |
Programovanie (3) | aplikovaná informatika | I | 18. - informatika |
Logika pre informatikov | aplikovaná informatika | I | 18. - informatika |
V.5.a - Názov predmetu | V.5.b - Študijný program | V.5.c - Stupeň | V.5.d - Študijný odbor |
---|---|---|---|
Game Engines (2) | aplikovaná informatika | I | 18. - informatika |
A. Šimko: A descriptive handling of directly conflicting rules in preferred answer sets, Declarative Programming and Knowledge Management, 2014, 202-217
A. Šimko: A family of descriptive approach to preferred answer sets, Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), 2014, 223-232
A. Šimko: Extension of Gelfond-Lifschitz reduction for preferred answer sets : Preliminary report. Kiel Declarative Programming Days 2013. Kiel : Institut für Informatik, 2013. - S. 2-16 (Technische Berichte des Instituts für Informatik ; No. 1306)
Homola et al. Resolving conflicts in knowledge for ambient intelligence. Knowledge Engineering Review, 2015, 30(5), pp. 455–513.
A. Šimko: Accepting the natural order of rules in a logic program with preferences. Leibniz International Proceedings in Informatics, LIPIcs, 2011, 11, pp. 284–289.
T. Bisták et al. Improving DL-Learner on a Malware Detection. Proceedings of the 36th International Workshop on Description Logics. 2023.
P. Švec et al. Towards Explainable Malware Detection with Structured Machine Learning. 4th Workshop on Explainable Logic-Based Knowledge Representation. 2023, p. 1-7.
Ibrhim, H., Hassan, H., Nabil, E. A conflicts' classification for IoT-based services: a comparative survey. PeerJ Computer Science. 2021.
Liu, C., Park, E.-M., Jiang, F. Examining effects of context-awareness on ambient intelligence of logistics service quality: user awareness compatibility as a moderator. Journal of Ambient Intelligence and Humanized Computing. 2020.
Subagdja, B., Tan, A.-H., Kang, Y. A coordination framework for multi-agent persuasion and adviser systems. Expert Systems with Applications. 2019.
Oguego, C.L., Augusto, J.C., Muñoz, A., Springett, M. Using argumentation to manage users’ preferences. Future Generation Computer Systems. 2018.
Oguego, C.L., Augusto, J.C., Muñoz, A., Springett, M. A survey on managing users’ preferences in ambient intelligence. Universal Access in the Information Society. 2018.
Člen riešiteľskéto tímu: TAILOR Coordinated Action T3.1 Vysvetliteľná detekcia malvéru a bezpečnostných hrozieb. Ciele: (i) Testovanie rôznych algoritmov, ktoré sú schopné poskytnúť vysvetlenia, napr. DL Learner, xDNNs, (ii) preskúmanie “klasických” metód a ich možných rozšírení smerom k vysvetliteľnosti (iii) zovšeobecnenie záverov na ďalšie relevantné oblasti.
Člen riešiteľského tímu: ORBIS - Ontologická reprezentácia pre bezpečnosť informačných systémov. APVV. Chceme najmä: V prvej fáze projektu zbierať a analyzovať relevantné údaje z prevádzkovania informačných systémov a spolupracovať s existujúcimi platformami na zdieľanie, ako je MISP. V druhej fáze chceme testovať metódy ukladania a zdieľania získaných údajov v ontologických reprezentáciách. Nakoniec chceme otestovať použiteľnosť ontologickej reprezentácie na získanie nových poznatkov a odhalenie škodlivého správania.