Júlia Pukancová

According to our database, Júlia Pukancová authored at least 14 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver.

Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

DL Abduction API v2 and GUI Interface (Extended Abstract).

Jakub Kloc, Martin Homola, Júlia Pukancová

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract).

Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022

Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results.

Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

An API for DL Abduction Solvers.

Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2020

The AAA ABox Abduction Solver.

Júlia Pukancová, Martin Homola

Künstliche Intell., 2020

Merge, Explain, Iterate.

Martin Homola, Júlia Pukancová, Júlia Gablíková, Katarína Fabianová

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain.

Katarína Fabianová, Júlia Pukancová, Martin Homola

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

ABox Abduction for Description Logics: The Case of Multiple Observations.

Júlia Pukancová, Martin Homola

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

SIVA: An Educational Tool for the Tableau Reasoning Algorithm.

Peter Paulovics, Júlia Pukancová, Martin Homola

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

ABox Abduction Solver Exploiting Multiple DL Reasoners.

Drahomír Mrózek, Júlia Pukancová, Martin Homola

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Tableau-Based ABox Abduction for the ALCHO Description Logic.

Júlia Pukancová, Martin Homola

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Tableau-Based ABox Abduction for Description Logics: Preliminary Report.

Júlia Pukancová, Martin Homola

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis.

Júlia Pukancová, Martin Homola

Proceedings of the 28th International Workshop on Description Logics, 2015