Pages that link to "Item:Q1326585"
From MaRDI portal
The following pages link to Flattening and saturation: Two representation changes for generalization (Q1326585):
Displayed 8 items.
- Construction and learnability of canonical Horn formulas (Q415621) (← links)
- Nonmonotonic abductive inductive learning (Q833734) (← links)
- First-order \(jk\)-clausal theories are PAC-learnable (Q1342231) (← links)
- Logical approximation for program analysis (Q1929363) (← links)
- Meta-interpretive learning as metarule specialisation (Q2102414) (← links)
- Defining behaviorizeable relations to enable inference in semi-automatic program synthesis (Q2239281) (← links)
- Partial Functions and Equality in Answer Set Programming (Q5504669) (← links)
- Inductive constraint logic (Q6061887) (← links)