|
Email:
|
stanislav.krajci@upjs.sk | |
|
Homepage:
|
ics.upjs.sk/~krajci/skola/index.html | |
|
Faculty:
|
PF UPJŠ
-
Pavol Jozef Šafárik University in Košice, Faculty of Science
|
|
|
Department:
|
ÚINF
-
Institute of Computer Science
|
|
|
Office:
|
SJ0O20 | |
|
Phone:
|
+421 55 234 2436 | |
|
ORCID ID:
|
0000-0001-5612-3534 |
|
Overview of the responsibility for
the delivery, development and quality assurance of the study programme or its part
at the university in the current academic year
|
|
Study programme: I-Xb - Informatics - X, study field: Informatics in combination (interdisciplinary study), 1st degree
|
|
Study programme: I-Xm - Informatics - X, study field: Informatics in combination (teaching academic subjects), 2nd degree
|
|
Study programme: Im - Computer Science, study field: Computer Science, 2nd degree
|
|
Study programme: Ib - Computer Science, study field: Computer Science, 1st degree
|
|
Study programme: ADUIm - Data Analysis and Artificial Intelligence, study field: Mathematics - Informatics, 2nd degree
|
|
Study programme: Id - Computer Science, study field: Computer Science, 3rd degree
|
|
Profile courses
|
|
Mathematical foundations of computer science - ADUIb - Data analysis and Artificial intelligence, 1st degree
|
|
Symbolic logic - I-Xb interdisciplinary study of Informatics, 1st degree
|
|
Information theory, coding - Im - Computer Science, 2nd degree
|
|
Computability theory - Ib - Informatika, 1st degree
|
|
Logical aspects of databases - Im - Computer Science, 2nd degree
|
|
Overview of the responsibility for
the development and quality of the field of habilitation procedure and inaugural procedure
in the current academic year
|
|
Name of the field of habilitation procedure and inaugural procedure:
Computer Science, study field to which it is assigned: Computer Science
|
|
Selected publications
|
|
(A) Antoni, Ľ., Eliaš, P., Krajči, S., Krídlo, O.: Heterogeneous formal context and its decomposition by heterogeneous fuzzy subsets, Fuzzy Sets and Systems, 2022, 451, pp. 361–384 |
|
(A) Sokol, P., Antoni, Ľ., Krídlo, O., Marková E., Kováčová, K., Krajči, S.: Formal concept analysis approach to understand digital evidence relationships, International Journal of Approximate Reasoning, 2023, 159, 108940 |
|
(A) Krídlo, O., Antoni, Krajči, S.: Selection of appropriate bonds between L-fuzzy formal contexts for recommendation tasks, Information Sciences, 2022, 606, pp. 21–37 |
|
(A) Krídlo, O., López-Rodríguez, D., Antoni, L., Eliaš, P., Krajči, S., Ojeda-Aciego, M.: Connecting concept lattices with bonds induced by external information, Information Sciences, 2023, 648, 119498 |
|
(A) Antoni, Ľ., Eliaš, P., Guniš, J., Kotlárová, D., Krajči, S., Krídlo, O., Sokol, P., Šnajder, Ľ.: Bimorphisms and attribute implications in heterogeneous formal contexts, International Journal of Approximate Reasoning, 2024, 172, 109245 |
|
Selected projects
|
|
VEGA 1/0539/25, Vývoj pokročilých metód v oblasti formálnej konceptovej analýzy a ich využitie, doc. Krídlo, 1. 1. 2025 – 31. 12. 2027, deputy of principal investigator |
|
KEGA 012UPJŠ-4/2025 Podpora tvorivosti u učiteľov a vo vyučovacom procese, doc. Semanišinová, 1. 1. 2025 – 31. 12. 2027, investigator |
|
KEGA 010UPJŠ-4/2024 Využitie umelej inteligencie vo vyučovaní školskej informatiky na stredných školách, PaedDr. Guniš, 1. 1. 2024 – 31. 12. 2026, investigator |
|
VEGA 1/0645/22, Proposal of novel methods in formal concept analysis and their applications, doc. Krídlo, 1. 1. 2022 – 31. 12. 2024, investigator |
|
KEGA 012UPJŠ-4/2021, Development of a digital library of interdisciplinary STEAM projects and its implementation in informatics, mathematics and science education at upper secondary schools, doc. Šnajder, 2021 – 2023, investigator |
|
Projects
|
|
|
Other
|
