An introduction to inductive programming
- 1 March 2008
- journal article
- research article
- Published by Springer Science and Business Media LLC in Artificial Intelligence Review
- Vol. 29 (1), 45-62
- https://doi.org/10.1007/s10462-009-9108-7
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Achievements and Prospects of Program SynthesisPublished by Springer Science and Business Media LLC ,2002
- Inductive ProgrammingAutomated Software Engineering, 2001
- An Abstract Formalization of Correct Schemas for Program SynthesisJournal of Symbolic Computation, 2000
- Inductive synthesis of recursive logic programs: achievements and prospectsThe Journal of Logic Programming, 1999
- Inductive logic program synthesis with DIALOGSLecture Notes in Computer Science, 1997
- Logic Program Synthesis from Incomplete InformationPublished by Springer Science and Business Media LLC ,1995
- The algebra of functional programs: Function level reasoning, linear equations, and extended definitionsLecture Notes in Computer Science, 1981
- The Inference of Regular LISP Programs from ExamplesIEEE Transactions on Systems, Man, and Cybernetics, 1978
- On the inference of Turing machines from sample computationsArtificial Intelligence, 1972
- Language identification in the limitInformation and Control, 1967