The following pages link to (Q5677085):
Displaying 28 items.
- Generating rules with predicates, terms and variables from the pruned neural networks (Q280332) (← links)
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- Effective feature construction by maximum common subgraph sampling (Q413859) (← links)
- ILP turns 20. Biography and future challenges (Q439010) (← links)
- Efficient parallel term matching and anti-unification (Q688582) (← links)
- Generalized subsumption and its applications to induction and redundancy (Q1110345) (← links)
- Schema induction for logic program synthesis (Q1128483) (← links)
- Inductive reasoning on recursive equations (Q1136246) (← links)
- ESBL: An integrated method for learning from partial information (Q1354091) (← links)
- Toward effective knowledge acquisition with first-order logic induction. (Q1850683) (← links)
- Formal logics of discovery and hypothesis formation by machine (Q1870530) (← links)
- Hypothesis finding based on upward refinement of residue hypotheses. (Q1874226) (← links)
- The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause (Q1959491) (← links)
- Top program construction and reduction for polynomial time meta-interpretive learning (Q2051277) (← links)
- FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data (Q2163174) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- Learning efficient logic programs (Q2425246) (← links)
- Exploiting domain knowledge to detect outliers (Q2435725) (← links)
- E-generalization using grammars (Q2457667) (← links)
- Mind change efficient learning (Q2496299) (← links)
- GENEX: a tool for testing in ILP (Q2745227) (← links)
- Total complexity and the inference of best programs (Q4133125) (← links)
- A new algorithm to automate inductive learning of default theories (Q4592724) (← links)
- (Q5020582) (← links)
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data (Q5038469) (← links)
- White-box Induction From SVM Models: Explainable AI with Logic Programming (Q5140006) (← links)
- Learning logic programs with structured background knowledge (Q5941133) (← links)
- \(\alpha\)ILP: thinking visual scenes as differentiable logic programs (Q6161205) (← links)
