Analytical inductive functional programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5438 LNCS, Issue , 2009, Pages 87-102

  Kitzelmann, Emanuel ^a  

^a UNIVERSITY OF BAMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

A-PRIORI; ANALYTICAL APPROACHES; ANALYTICAL TECHNIQUES; COMBINATORIAL EXPLOSIONS; FUNCTIONAL PROGRAMS; INDUCTION TIME; INPUT OUTPUTS; INPUT/OUTPUT; LARGE PROGRAMS; PROTOTYPICAL IMPLEMENTATIONS; RECURSIVE EQUATIONS;

FUNCTIONAL PROGRAMMING; INPUT OUTPUT PROGRAMS; LOGIC PROGRAMMING;

LISP (PROGRAMMING LANGUAGE);

EID: 63449137116     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00515-2_7     Document Type: Conference Paper

References (18)

1. Gold, E.M.: Language identification in the limit. Information and Control 10(5), 447-474 (1967)
2. Summers, P.D.: A methodology for LISP program construction from examples. Journal of the ACM 24(1), 161-175 (1977)
3. Smith, D.R.: The synthesis of LISP programs from examples: A survey. In: Bier-mann, A.W., Guiho, G., Kodratoff, Y. (eds.) Automatic Program Construction Techniques, pp. 307-324. Macmillan, Basingstoke (1984)
4. Kitzelmann, E., Schmid, U.: Inductive synthesis of functional programs: An explanation based generalization approach. Journal of Machine Learning Research 7, 429-454 (2006)
5. Katayama, S.: Systematic search for lambda expressions. In: van Eekelen, M.C.J.D. (ed.) Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Intellect, vol. 6, pp. 111-126 (2007)
6. Koopman, P.W.M., Plasmeijer, R.: Systematic synthesis of functions. In: Nilsson, H. (ed.) Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Intellect, vol. 7, pp. 35-54 (2007)
7. Olsson, J.R.: Inductive functional programming using incremental program transformation. Artificial Intelligence 74(1), 55-83 (1995)
8. Muggleton, S.H., Raedt, L.D.: Inductive logic programming: Theory and methods. Journal of Logic Programming 19-20, 629-679 (1994)
9. Muggleton, S.H., Feng, C: Efficient induction of logic programs. In: Proceedings of the First Conference on Algorithmic Learning Theory, Tokyo, Japan, Ohmsha, pp. 368-381 (1990)
10. Quinlan, J.R., Cameron-Jones, R.M.: FOIL: A midterm report. In: Brazdil, P.B. (ed.) ECML 1993. LNCS, vol. 667, pp. 3-20. Springer, Heidelberg (1993)
11. Bergadano, F., Gunetti, D.: Inductive Logic Programming: From Machine Learning to Software Engineering. MIT Press, Cambridge (1995)
12. Flener, P., Yilmaz, S.: Inductive synthesis of recursive logic programs: Achievements and prospects. The Journal of Logic Programming 41(2-3), 141-195 (1999)
13. Plotkin, G.D.: A note on inductive generalization. Machine Intelligence 5, 153-163
14. Lapointe, S., Matwin, S.: Sub-unification: a tool for efficient induction of recursive programs. In: ML 1992: Proceedings of the Ninth International Workshop on Machine Learning, pp. 273-281. Morgan Kaufmann Publishers Inc., San Francisco (1992)
15. Terese: Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science, vol. 55. Cambridge University Press, Cambridge (2003)
16. Clavel, M., Durán, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C: The maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76-87. Springer, Heidelberg (2003)
17. Mitchell, T.M.: Machine Learning. McGraw-Hill Higher Education, New York (1997)
18. Hofmann, M., Kitzelmann, E., Schmid, U.: Analysis and evaluation of inductive programming systems in a higher-order framework. In: Dengel, A.R., Berns, K., Breuel, T.M., Bomarius, F., Roth-Berghofer, T.R. (eds.) KI 2008. LNCS, vol. 5243, pp. 78-86. Springer, Heidelberg (2008)