scientific article
From MaRDI portal
Publication:3093353
zbMath1222.68069MaRDI QIDQ3093353
Ute Schmid, Emanuel Kitzelmann
Publication date: 12 October 2011
Full work available at URL: http://www.jmlr.org/papers/v7/kitzelmann06a.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
recursive program schemesinductive program synthesisexplanation based generalizationinductive functional programming
Related Items (8)
Ultra-strong machine learning: comprehensibility of programs learned with ILP ⋮ Counterexample-guided partial bounding for recursive function synthesis ⋮ Drill and Join: A Method for Exact Inductive Program Synthesis ⋮ A modular order-sorted equational generalization algorithm ⋮ An approach to automatic deductive synthesis of functional programs ⋮ Analytical Inductive Functional Programming ⋮ Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities ⋮ Anti-unification for unranked terms and hedges
This page was built for publication:
