Using the IIPS framework to specify machine-discovery problems
Howard J. Hamilton, J.M. Dyck · 2003
The authors apply the IIPS (inductive inference problem specification) framework to the task of specifying machine-discovery problems. They specify the problems attempted by equation-finding programs in general, and by BACON.1 in particular.>