An Inductive Inference Bibliography

Carl H. Smith · Purdue e-Pubs (Purdue University System) · 1978

The following pages contain a bibliography of current work in inductive inference, the algorithmic synthesis of programs from examples.This bibliography was originally compiled to aid researchers interested theoretical aspects of automatic program synthesis, Although some references to papers describing software to synthesize programs can be found in the following, they are few in number and do not necessarily constitute a representative sample of applications of the theory of inductive inference.Another weakness of the bibliography is its overly brief mention of the work in inductive inference done by philosophers of science.We wish to acknowledge the assistance of D. Angluin, B. Stone, and D.

Read the paper · More papers on PaperTik