Advertisement

Inductive Synthesis of Recursive Functional Programs

A Comparison of Three Systems
  • Martin Hofmann
  • Andreas Hirschberger
  • Emanuel Kitzelmannn
  • Ute Schmid
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4667)

Abstract

One of the most challenging subfields, and a still little researched niche of machine learning, is the inductive synthesis of recursive programs from incomplete specifications, such as examples for the desired input/output behavior [1,2,3,4].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Biermann, A.W., Guiho, G., Kodratoff, Y. (eds.): Automatic Program Construction Techniques. Macmillan, New York (1984)zbMATHGoogle Scholar
  2. 2.
    Flener, P., Yilmaz, S.: Inductive synthesis of recursive logic programs: Achievements and prospects. J. Log. Program. 41(2-3), 141–195 (1999)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Flener, P., Partridge, D.: Inductive programming. Automated Software Engineering 8(2), 131–137 (2001)CrossRefGoogle Scholar
  4. 4.
    Kitzelmann, E., Schmid, U.: Inductive synthesis of functional programs: An explanation based generalization approach. Journal of Machine Learning Research 7(February), 429–454 (2006)Google Scholar
  5. 5.
    Olsson, J.R.: Inductive functional programming using incremental program transformation. Artificial Intelligence 74(1), 55–83 (1995)CrossRefGoogle Scholar
  6. 6.
    Esposito, F., Malerba, D., Lisi, F.A.: Induction of recursive theories in the normal ILP setting: Issues and solutions. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol. 1866, pp. 93–111. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  7. 7.
    D. Malerba, A. Varalro, M.B.: Learning recursive theories with the separate-and-parallel conquer strategy. In: Proceedings of the Workshop on Advances in Inductive Rule Learning in conjunction with ECML/PKDD, pp. 179–193 (2004)Google Scholar
  8. 8.
    Flener, P.: Inductive logic program synthesis with Dialogs. In: Muggleton, S. (ed.) Proceedings of the 6th International Workshop on Inductive Logic Programming, pp. 28–51. Stockholm University, Royal Institute of Technology (1996)Google Scholar
  9. 9.
    Muggleton, S., Feng, C.: Efficient induction of logic programs. In: Proceedings of the 1st Conference on Algorithmic Learning Theory, pp. 368–381. Ohmsma, Tokyo, Japan (1990)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Martin Hofmann
    • 1
  • Andreas Hirschberger
    • 1
  • Emanuel Kitzelmannn
    • 1
  • Ute Schmid
    • 1
  1. 1.University of Bamberg, Faculty of Information Systems, and Applied Computer Science 

Personalised recommendations