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
Informatika
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)
1
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)
1
V.4.b - Diploma (second degree)
3
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

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
18
VI.1.b - Over the last six years
13
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
10
VI.1.3 - Number of citations corresponding to the research/artistic/other outputs
VI.1.a - Overall
37
VI.1.b - Over the last six years
20
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

Pukancová, J. and Homola, M., 2015, June. Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. In Description Logics Workshop 2015.

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

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

4

Mrózek, D., Pukancová, J. and Homola, M., 2018. ABox Abduction Solver Exploiting Multiple DL Reasoners. In Description Logics Workshop 2018.

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–2021 (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

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
2024-06-08