Pages that link to "Item:Q1818759"
From MaRDI portal
The following pages link to Integrating induction and abduction in logic programming (Q1818759):
Displaying 6 items.
- Multistrategy theory revision: Induction and abduction in INTHELEX (Q1572791) (← links)
- A functional perspective on machine learning via programmable induction and abduction (Q1648874) (← links)
- Logis: A system for statistical abductive inference using empirical data (Q1918749) (← links)
- Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
- (Q3044494) (← links)
- A Hybrid Abductive Inductive Proof Procedure (Q4664020) (← links)