Pages that link to "Item:Q4664020"
From MaRDI portal
The following pages link to A Hybrid Abductive Inductive Proof Procedure (Q4664020):
Displaying 5 items.
- Reconsideration of circumscriptive induction with pointwise circumscription (Q833732) (← links)
- Deriving non-zeno behaviour models from goal models using ILP (Q973050) (← links)
- The complexity and generality of learning answer set programs (Q1647512) (← links)
- Inductive Learning of Answer Set Programs (Q2938503) (← links)
- Learning weak constraints in answer set programming (Q4592994) (← links)
