scientific article; zbMATH DE number 3412190
From MaRDI portal
Publication:5677085
zbMath0261.68042MaRDI QIDQ5677085
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (28)
Hypothesis finding based on upward refinement of residue hypotheses. ⋮ FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data ⋮ Generating rules with predicates, terms and variables from the pruned neural networks ⋮ ESBL: An integrated method for learning from partial information ⋮ Generalized subsumption and its applications to induction and redundancy ⋮ FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data ⋮ Schema induction for logic program synthesis ⋮ Inductive reasoning on recursive equations ⋮ On the generation of quantified lemmas ⋮ A new algorithm to automate inductive learning of default theories ⋮ Inductive equivalence in clausal logic and nonmonotonic logic programming ⋮ Effective feature construction by maximum common subgraph sampling ⋮ Learning efficient logic programs ⋮ \(\alpha\)ILP: thinking visual scenes as differentiable logic programs ⋮ Exploiting domain knowledge to detect outliers ⋮ ILP turns 20. Biography and future challenges ⋮ Unnamed Item ⋮ The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause ⋮ White-box Induction From SVM Models: Explainable AI with Logic Programming ⋮ E-generalization using grammars ⋮ GENEX: a tool for testing in ILP ⋮ Efficient parallel term matching and anti-unification ⋮ Total complexity and the inference of best programs ⋮ Learning logic programs with structured background knowledge ⋮ Mind change efficient learning ⋮ Top program construction and reduction for polynomial time meta-interpretive learning ⋮ Toward effective knowledge acquisition with first-order logic induction. ⋮ Formal logics of discovery and hypothesis formation by machine
This page was built for publication:
