Part of the Lecture Notes in Computer Science book series (LNCS, volume 872)
Towards efficient inductive synthesis from input/output examples
KeywordsExhaustive 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.
- 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
© Springer-Verlag Berlin Heidelberg 1994