Takip et
Janka Boborová
Janka Boborová
Comenius University in Bratislava
fmph.uniba.sk üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results.
M Homola, J Pukancová, I Balintová, J Boborová
Description Logics, 2022
32022
Merge, explain, iterate: A combination of MHS and MXP in an ABox abduction solver
M Homola, J Pukancová, J Boborová, I Balintová
European Conference on Logics in Artificial Intelligence, 338-352, 2023
22023
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver
J Boborová, I Balintová, J Pukancová, M Homola
2023
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–3