Pages that link to "Item:Q3411854"
From MaRDI portal
The following pages link to Towards Abductive Reasoning in First-order Logic (Q3411854):
Displaying 16 items.
- Abductive consequence relations (Q1399126) (← links)
- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction (Q1633231) (← links)
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction (Q1726251) (← links)
- Toward effective knowledge acquisition with first-order logic induction. (Q1850683) (← links)
- First-order abduction as enumeration of stable models (Q2284490) (← links)
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution (Q2446681) (← links)
- Abductive inference in defeasible reasoning: a model for research programmes (Q2565607) (← links)
- Towards automated first-order abduction: the cut-based approach (Q2909831) (← links)
- Changing the Scientific Corpus (Q2912129) (← links)
- Abductive Equivalence in First-order Logic (Q3411859) (← links)
- On computing all abductive explanations from a propositional Horn theory (Q3546348) (← links)
- Abductive Logic Grammars (Q3638282) (← links)
- Abduction via <i>C</i>-tableaux and δ-resolution (Q3647297) (← links)
- First order abduction via tableau and sequent calculi (Q4291873) (← links)
- Logical form generation as abduction: Part II. A dual-route parsimonious covering approach (Q4301777) (← links)
- Inductive Logic Programming (Q5494320) (← links)
