Júlia Pukancová

17 papers B 1Journal 1Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	CATS Solver: The Rise of Hybrid Abduction Algorithms. DL Jakub Kloc, Janka Boborová, Martin Homola, Júlia Pukancová
2025	—	`conf`	On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract). DL Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová
2024	—	`conf`	Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract). Description Logics Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová
2023	—	`conf`	DL Abduction API v2 and GUI Interface (Extended Abstract). Description Logics Jakub Kloc, Martin Homola, Júlia Pukancová
2023	—	`conf`	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract). Description Logics Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola
2023	B	`conf`	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. JELIA Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová
2022	—	`conf`	An API for DL Abduction Solvers. Description Logics Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová
2022	—	`conf`	Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. Description Logics Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová
2020	—	`conf`	Merge, Explain, Iterate. Description Logics Martin Homola, Júlia Pukancová, Júlia Gablíková, Katarína Fabianová
2020	J	`jnl`	The AAA ABox Abduction Solver. Künstliche Intell. Júlia Pukancová, Martin Homola
2019	—	`conf`	Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain. Description Logics Katarína Fabianová, Júlia Pukancová, Martin Homola
2018	—	`conf`	ABox Abduction Solver Exploiting Multiple DL Reasoners. Description Logics Drahomír Mrózek, Júlia Pukancová, Martin Homola
2018	—	`conf`	ABox Abduction for Description Logics: The Case of Multiple Observations. Description Logics Júlia Pukancová, Martin Homola
2018	—	`conf`	SIVA: An Educational Tool for the Tableau Reasoning Algorithm. Description Logics Peter Paulovics, Júlia Pukancová, Martin Homola
2017	—	`conf`	Tableau-Based ABox Abduction for the ALCHO Description Logic. Description Logics Júlia Pukancová, Martin Homola
2016	—	`conf`	Tableau-Based ABox Abduction for Description Logics: Preliminary Report. Description Logics Júlia Pukancová, Martin Homola
2015	—	`conf`	Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. Description Logics Júlia Pukancová, Martin Homola