Towards efficient inductive synthesis from input/output examples

  • Jānis Barzdinš
Invited Talks zdt]Analogical and Inductive Inference
Part of the Lecture Notes in Computer Science book series (LNCS, volume 872)

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. 1.
    J.M. Barzdins and G. Barzdins: Rapid construction of algebraic axioms from samples. Theoretical Computer Science 90 (1991), pp. 199–208Google Scholar
  2. 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. 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

Authors and Affiliations

  • Jānis Barzdinš
    • 1
  1. 1.Institute of Mathematics and Computer ScienceUniversity of LatviaRigaLatvia

Personalised recommendations