2 citations · 2 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
A Scheme-Driven Approach to Learning Programs from Input/Output Equations
Jochen Burghardt
We describe an approach to learn, in a term-rewriting setting, function definitions from input/output equations. By confining ourselves to structurally recursive definitions we obt…
cs.LO2017★ 2 cited
An Improved Algorithm for E-Generalization
Jochen Burghardt
E-generalization computes common generalizations of given ground terms w.r.t. a given equational background theory E. In 2005 [arXiv:1403.8118], we had presented a computation appr…