Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver (Q6545548)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7855131
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver |
scientific article; zbMATH DE number 7855131 |
Statements
Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver (English)
0 references
29 May 2024
0 references
abduction
0 references
description logics
0 references
ontologies
0 references
0 references
0.7040508985519409
0 references
0.6897983551025391
0 references
0.6869701743125916
0 references
0.6841816902160645
0 references
