Skip to main content
SpringerLink
Log in

Towards efficient inductive synthesis from input/output examples

  • Invited Talks zdt]Analogical and Inductive Inference
  • Conference paper
  • First Online:
Algorithmic Learning Theory (AII 1994, ALT 1994)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 872))

  • 131 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. J.M. Barzdins and G. Barzdins: Rapid construction of algebraic axioms from samples. Theoretical Computer Science 90 (1991), pp. 199–208

    Google 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 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics and Computer Science, University of Latvia, 29 Rainis Blvd., LV-1459, Riga, Latvia

    Jānis Barzdinš

Authors
  1. Jānis Barzdinš
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Setsuo Arikawa Klaus P. Jantke

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barzdinš, J. (1994). Towards efficient inductive synthesis from input/output examples. In: Arikawa, S., Jantke, K.P. (eds) Algorithmic Learning Theory. AII ALT 1994 1994. Lecture Notes in Computer Science, vol 872. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58520-6_46

Download citation

  • DOI: https://doi.org/10.1007/3-540-58520-6_46

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58520-6

  • Online ISBN: 978-3-540-49030-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation