A unifying framework for analysis and evaluation of inductive programming systems

Proceedings of the 2nd Conference on Artificial General Intelligence, AGI 2009

Volumn , Issue , 2009, Pages 55-60

  Hofmann, Martin ^a   Kitzelmann, Emanuel ^a   Schmid, Ute ^a  

^a UNIVERSITY OF BAMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS AND EVALUATION; FUNCTIONAL PROGRAMS; FUNCTIONAL SYSTEMS; HIGHER ORDER TERMS; INDUCTIVE LOGIC; INPUT/OUTPUT; IP ADDRESSS; PROGRAMMING SYSTEM;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 77950900012     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2991/agi.2009.16     Document Type: Conference Paper

References (19)

1. Baader, F., and Nipkow, T. 1998. Term Rewriting and All That. United Kingdom: Cambridge University Press.
2. Biermann, A. W.; Kodratoff, Y.; and Guiho, G. 1984. Automatic Program Construction Techniques. NY, Free Press.
3. Flener, P., and Yilmaz, S. 1999. Inductive synthesis of recursive logic programs: Achievements and prospects. J. Log. Program. 41(2-3): 141-195.
4. Flener, P. 1996. Inductive logic program synthesis with Dialogs. In Muggleton, S., ed., Proc. of the 6th International Workshop on ILP, 28-51. Stockholm University
5. Hernández-Orallo, J., and Ramírez-Quintana, M. J. 1998. Inverse narrowing for the induction of functional logic programs. In Freire-Nistal, et al., eds., Joint Conference on Declarative Programming, 379-392.
6. Hofmann, M.; Kitzelmann, E.; and Schmid, U. 2008. Analysis and evaluation of inductive programming systems in a higher-order framework. In 31st German Conference on Artificial Intelligence, LNAI. Springer-Verlag.
7. Hofmann, M. 2007. Automatic Construction of XSL Templates - An Inductive Programming Approach. VDM Verlag, Saarbrücken.
8. Katayama, S. 2005. Systematic search for lambda expressions. In Trends in Functional Programming, 111-126.
9. Kitzelmann, E., and Schmid, U. 2006. Inductive synthesis of functional programs: An explanation based generalization approach. J. of ML Research 7:429-454. (Pubitemid 43668119)
10. Kitzelmann, E. 2007. Data-driven induction of recursive functions from input/output-examples. In Kitzelmann, E., and Schmid, U., eds., Proc. of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming, 15-26.
11. Mitchell, T. M. 1997. Machine Learning. McGraw-Hill Higher Education.
12. Muggleton, S., and Feng, C. 1990. Efficient induction of logic programs. In Proc. of the 1st Conference on Algorithmic Learning Theory, 368-381. Ohmsma Tokyo, Japan.
13. Muggleton, S. 1995. Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming 13(3-4):245-286.
14. Olsson, R. J. 1995. Inductive functional programming using incremental program transformation. Artificial Intelligence 74(1):55-83.
15. Plotkin, G. 1971. A further note on inductive generalization. In Machine Intelligence, vol. 6. Edinb. Univ. Press.
16. Quinlan, J. R., and Cameron-Jones, R. M. 1993. FOIL: A midterm report. In Machine Learning: ECML-93, Proc., vol. 667, 3-20. Springer-Verlag.
17. Quinlan, J. R. 1996. Learning first-order definitions of functions. Journal of AI Research 5:139-161.
18. Summers, P. D. 1977. A methodology for LISP program construction from examples. Journal ACM 24:162-175.
19. Terese. 2003. Term Rewriting Systems, vol. 55 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.