The following pages link to (Q4370231):
Displaying 10 items.
- Hypothesis finding with proof theoretical appropriateness criteria (Q817840) (← links)
- Learning closed Horn expressions (Q1854564) (← links)
- Learning elementary formal systems with queries. (Q1874227) (← links)
- Complexity parameters for first order classes (Q2433181) (← links)
- Polynomial certificates for propositional classes (Q2495655) (← links)
- Prediction-hardness of acyclic conjunctive queries (Q2581365) (← links)
- The subsumption lattice and query learning (Q2581757) (← links)
- (Q4558528) (← links)
- Learning logic programs with structured background knowledge (Q5941133) (← links)
- Polynomial-time learnability of logic programs with local variables from entailment (Q5958645) (← links)
