Pages that link to "Item:Q6145029"
From MaRDI portal
The following pages link to Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029):
Displaying 5 items.
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction (Q1633231) (← links)
- (Q4530873) (← links)
- AI*IA 2005: Advances in Artificial Intelligence (Q5475747) (← links)
- Abduction and induction. Essays on their relation and integration (Q5956943) (← links)