Publication:5677085
From MaRDI portal
zbMath0261.68042MaRDI QIDQ5677085
Publication date: 1971
Related Items
Learning logic programs with structured background knowledge, Inductive equivalence in clausal logic and nonmonotonic logic programming, Effective feature construction by maximum common subgraph sampling, ILP turns 20. Biography and future challenges, Efficient parallel term matching and anti-unification, Generalized subsumption and its applications to induction and redundancy, Schema induction for logic program synthesis, Inductive reasoning on recursive equations, ESBL: An integrated method for learning from partial information, Toward effective knowledge acquisition with first-order logic induction., Formal logics of discovery and hypothesis formation by machine, Hypothesis finding based on upward refinement of residue hypotheses., The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause, E-generalization using grammars, Mind change efficient learning, GENEX: a tool for testing in ILP, Total complexity and the inference of best programs