scientific article; zbMATH DE number 3412190
From MaRDI portal
Publication:5677085
Cited in
(30)- 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
- Top program construction and reduction for polynomial time meta-interpretive learning
- FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data
- On the generation of quantified lemmas
- Learning efficient logic programs
- Exploiting domain knowledge to detect outliers
- E-generalization using grammars
- Mind change efficient learning
- GENEX: A tool for testing in ILP
- Generating rules with predicates, terms and variables from the pruned neural networks
- Total complexity and the inference of best programs
- Inductive equivalence in clausal logic and nonmonotonic logic programming
- Effective feature construction by maximum common subgraph sampling
- ILP turns 20. Biography and future challenges
- A new algorithm to automate inductive learning of default theories
- scientific article; zbMATH DE number 7453141 (Why is no real title available?)
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
- White-box induction from SVM models: explainable AI with logic programming
- Learning logic programs with structured background knowledge
- \(\alpha\)ILP: thinking visual scenes as differentiable logic programs
- Learning Proof Transformations and Its Applications in Interactive Theorem Proving
- Efficient parallel term matching and anti-unification
- Learning differentiable logic programs for abstract visual reasoning
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5677085)
