Pages that link to "Item:Q3411854"
From MaRDI portal
The following pages link to Towards Abductive Reasoning in First-order Logic (Q3411854):
Displayed 4 items.
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction (Q1726251) (← links)
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution (Q2446681) (← links)
- Changing the Scientific Corpus (Q2912129) (← links)
- Abduction via <i>C</i>-tableaux and δ-resolution (Q3647297) (← links)