On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects.

Pierre Flener, Lubos Popelnsk

Browse the full LOPSTR paper archive.