Towards efficient inductive synthesis from input/output examples
Invited Talks zdt]Analogical and Inductive Inference
First Online:
Keywords
Exhaustive Search Formal Language Late Computer Efficient Implementation Algebraic Expression
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
- 1.J.M. Barzdins and G. Barzdins: Rapid construction of algebraic axioms from samples. Theoretical Computer Science 90 (1991), pp. 199–208Google Scholar
- 2.J. Barzdins, G. Barzdins, K. Apsitis, and U. Sarkans: Towards efficient inductive synthesis of expressions form input/output examples. Lecture Notes in Artificial Intelligence, 744 (1993), pp. 59–72.Google Scholar
- 3.G. Barzdins: Inductive synthesis of term rewriting systems. Lecture Notes in Computer Science, 502 (1991), pp. 253–285.Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 1994