Júlia Pukancová

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 14

Top Topics

Extended Abstract

Abductive Reasoning

Description Logics

Top Venues

Description Logics

Künstliche Intell.

Publications

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