Júlia Pukancová

According to our database1, Júlia Pukancová authored at least 15 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

DL Abduction API v2 and GUI Interface (Extended Abstract).
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).
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.
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.
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.
Künstliche Intell., 2020

Merge, Explain, Iterate.
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.
Proceedings of the 32nd International Workshop on Description Logics, 2019

2018
ABox Abduction for Description Logics: The Case of Multiple Observations.
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.
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.
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.
Proceedings of the 30th International Workshop on Description Logics, 2017

2016
Tableau-Based ABox Abduction for Description Logics: Preliminary Report.
Proceedings of the 29th International Workshop on Description Logics, 2016

2015
Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis.
Proceedings of the 28th International Workshop on Description Logics, 2015


  Loading...