Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver

DOI10.1007/978-3-031-43619-2_24MaRDI QIDQ6545548

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

Publication date: 29 May 2024

zbMATH Keywords

abductiondescription logicsontologies

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Attributive concept descriptions with complements
• A theory of diagnosis from first principles
• A variant of Reiter's hitting-set algorithm
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• An Introduction to Description Logic
• Reducibility among Combinatorial Problems

This page was built for publication: Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver