Pages that link to "Item:Q2429984"
From MaRDI portal
The following pages link to ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984):
Displayed 4 items.
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction (Q1726251) (← links)
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL (Q2104508) (← links)
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution (Q2446681) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)