Research/art/teacher profile of a person
Name and surname:
Mgr. Júlia Pukancová, 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

I. - Basic information

I.1 - Surname
Pukancová
I.2 - Name
Júlia
I.3 - Degrees
Mgr., PhD.
I.4 - Year of birth
1991
I.5 - Name of the workplace
Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava
I.6 - Address of the workplace
Mlynská dolina F1 842 48 Bratislava
I.7 - Position
Assistant Professor
I.8 - E-mail address
julia.pukancova@fmph.uniba.sk
I.9 - Hyperlink to the entry of a person in the Register of university staff
https://www.portalvs.sk/regzam/detail/29964
I.10 - Name of the study field in which a person works at the university
computer science
I.11 - ORCID iD
0009-0001-3505-0716

II. - Higher education and further qualification growth

II.1 - First degree of higher education
II.a - Name of the university or institution
Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava
II.b - Year
2012
II.c - Study field and programme
Applied Informatics
II.2 - Second degree of higher education
II.a - Name of the university or institution
Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava
II.b - Year
2014
II.c - Study field and programme
Applied Informatics
II.3 - Third degree of higher education
II.a - Name of the university or institution
Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava
II.b - Year
2018
II.c - Study field and programme
Computer Science
II.4 - Associate professor
II.5 - Professor
II.6 - Doctor of Science (DrSc.)

III. - Current and previous employment

III.a - Occupation-position III.b - Institution III.c - Duration
Assistant Professor Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava 2018-now

IV. - Development of pedagogical, professional, language, digital and other skills

V. - Overview of activities within the teaching career at the university

V.1 - Overview of the profile courses taught in the current academic year according to study programmes
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 Informatics I. Computer Science
Year project and introduction to bachelor thesis Applied Informatics I. Computer Science
V.2 - 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
V.3 - Overview of the responsibility for the development and quality of the field of habilitation procedure and inaugural procedure in the current academic year
V.4 - Overview of supervised final theses
V.4.1 - Number of currently supervised theses
V.4.a - Bachelor's (first degree)
0
V.4.b - Diploma (second degree)
1
V.4.c - Dissertation (third degree)
0
V.4.2 - Number of defended theses
V.4.a - Bachelor's (first degree)
2
V.4.b - Diploma (second degree)
4
V.4.c - Dissertation (third degree)
0
V.5 - Overview of other courses taught in the current academic year according to study programmes
V.5.a - Name of the course V.5.b - Study programme V.5.c - Degree V.5.d - Field of study
Computational Logic Applied Informatics II. Computer Science
Knowledge Representation and Reasoning Applied Informatics II. Computer Science
Ontologies and Knowledge Engineering Applied Informatics II. Computer Science
Creative Writing Applied Informatics I. Computer Science

VI. - Overview of the research/artistic/other outputs

VI.1 - Overview of the research/artistic/other outputs and the corresponding citations
VI.1.1 - Number of the research/artistic/other outputs
VI.1.a - Overall
19
VI.1.b - Over the last six years
8
VI.1.2 - Number of the research/artistic/other outputs registered in the Web of Science or Scopus databases
VI.1.a - Overall
14
VI.1.b - Over the last six years
8
VI.1.3 - Number of citations corresponding to the research/artistic/other outputs
VI.1.a - Overall
124
VI.1.b - Over the last six years
81
VI.1.4 - Number of citations registered in the Web of Science or Scopus databases
VI.1.a - Overall
37
VI.1.b - Over the last six years
20
VI.1.5 - Number of invited lectures at the international, national level
VI.1.a - Overall
0
VI.1.b - Over the last six years
0
VI.2 - The most significant research/artistic/other outputs
1

Pukancová, J. and Homola, M., 2020. The AAA Abox abduction solver. KI-Künstliche Intelligenz, 34(4), pp.517-522.

2

Pukancová, J. and Homola, M., 2017, July. Tableau-Based ABox Abduction for the ALCHO Description Logic. In Description Logics Workshop 2017.

3

Homola, M., Pukancová, J., Boborová, J. and Balintová, I., 2023, September. Merge, explain, iterate: A combination of MHS and MXP in an ABox abduction solver. In European Conference on Logics in Artificial Intelligence (pp. 338-352). Cham: Springer Nature Switzerland.

4

Pukancová, J. and Homola, M., 2018. ABox Abduction for Description Logics: The Case of Multiple Observations. In Description Logics Workshop 2018.

5

Pukancová, J. and Homola, M., 2016, April. Tableau-Based ABox Abduction for Description Logics: Preliminary Report. In Description Logics Workshop 2016.

VI.3 - The most significant research/artistic/other outputs over the last six years
1

Pukancová, J. and Homola, M., 2020. The AAA Abox abduction solver. KI-Künstliche Intelligenz, 34(4), pp.517-522.

2

Homola, M., Pukancová, J., Boborová, J. and Balintová, I., 2023, September. Merge, explain, iterate: A combination of MHS and MXP in an ABox abduction solver. In European Conference on Logics in Artificial Intelligence (pp. 338-352). Cham: Springer Nature Switzerland.

3

Kloc, J., Boborová, J., Homola, M. and Pukancová, J., 2025, September. CATS Solver: The Rise of Hybrid Abduction Algorithms. In Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland.

4

Boborová, J., Kloc, J., Homola, M. and Pukancová, J., 2025, September. On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms. In Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland.

5

Homola, M., Pukancová, J., Balintová, I. and Boborová, J., 2022. Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. In Description Logics Workshop 2022.

VI.4 - The most significant citations corresponding to the research/artistic/other outputs
1

Del-Pinto, W. and Schmidt, R.A., 2019, July. ABox abduction via forgetting in ALC. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 33, No. 01, pp. 2768-2775).

2

Aiguier, M., Atif, J., Bloch, I. and Pérez, R.P., 2018. Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. International Journal of Approximate Reasoning, 102, pp.1-20.

3

Koopmann, P., 2021. Signature-based abduction with fresh individuals and complex concepts for description logics. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI (pp. 1929-1935).

4

Del-Pinto, W. and Schmidt, R.A., 2019, September. Extending forgetting-based abduction using nominals. In International Symposium on Frontiers of Combining Systems (pp. 185-202). Springer, Cham.

5

Del-Pinto, W. and Schmidt, R.A., 2019, September. Extending forgetting-based abduction using nominals. In International Symposium on Frontiers of Combining Systems (pp. 185-202). Springer, Cham.

VI.5 - Participation in conducting (leading) the most important research projects or art projects over the last six years
1

Ontological representation for security of information systems / Ontologická reprezentácia pre bezpečnosť informačných systémov, APVV-19-0220, 2020–2024 (zodpovedný zástupca partnera/partner representative); financovanie / total funds 248,963 eur

2

Knowledge and trust in open agent environments / Znalosti a dôvera v otvoreých agentových systémoch, VEGA 1/0778/18, 2018–2021 (zástupca zodpovedného riešiteľa/ deputy principal investigator); financované / total funds 54,202 eur

3

Explainable Malware Analysis (EMA), national project, Recovery and Resilience Plan, project no. 09I05-03-V02-00064 (2025–2026), principal investigator, total funds 998,975 eur

4

Dynamic Malware Analysis by eXplainable AI, national project, APVV-23-0292, 2024–2028 (partner representative), total funds 167,343 eur

VII. - Overview of organizational experience related to higher education and research/artistic/other activities

VIII. - Overview of international mobilities and visits oriented on education and research/artistic/other activities in the given field of study

IX. - Other relevant facts

Date of last update
2026-02-28