The following pages link to (Q4537975):
Displaying 11 items.
- Incremental learning of event definitions with inductive logic programming (Q747281) (← links)
- Hypothesis finding with proof theoretical appropriateness criteria (Q817840) (← links)
- Equilibrium logic (Q854969) (← links)
- Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
- The inverse method application for non-classical logics (Q2806784) (← links)
- Brave Induction (Q3543278) (← links)
- Induction from answer sets in nonmonotonic logic programs (Q5277720) (← links)
- Logic Programming (Q5313182) (← links)
- Induction as consequence finding (Q5894894) (← links)
- Induction as consequence finding (Q5921679) (← links)
- Logic-based learning of answer set programs (Q6535987) (← links)