Pages that link to "Item:Q4664020"

The following pages link to A Hybrid Abductive Inductive Proof Procedure (Q4664020):

Displaying 3 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)