Pages that link to "Item:Q4291873"
From MaRDI portal
The following pages link to First order abduction via tableau and sequent calculi (Q4291873):
Displayed 9 items.
- Intuitive minimal abduction in sequent calculi (Q1389097) (← links)
- Inferential conditionals and evidentiality (Q2255224) (← links)
- A conditional logic for abduction (Q2263054) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution (Q2446681) (← links)
- Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation (Q2946739) (← links)
- Quantifier-Free Equational Logic and Prime Implicate Generation (Q3454103) (← links)
- Abduction via <i>C</i>-tableaux and δ-resolution (Q3647297) (← links)
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)