Data-driven induction of recursive functions from input/output-examples

18th European Conference on Machine Learning, ECML 2007 and the 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD 2007 - Proceedings of the Workshop on Approaches and Applications of Inductive Programming, AAIP 2007

Volumn , Issue , 2007, Pages 15-26

  Kitzelmann, Emanuel ^a  

^a UNIVERSITY OF BAMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ARTIFICIAL INTELLIGENCE; LEARNING SYSTEMS;

ALGEBRAIC DATA-TYPES; BACK-GROUND KNOWLEDGE; FUNCTIONAL PROGRAMS; REWRITE RULES; STRUCTURAL REGULARITY; SUBFUNCTIONS; TARGET FUNCTIONS; TERM REWRITING SYSTEMS;

RECURSIVE FUNCTIONS;

EID: 84937724870     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Biermann, A. W., Guiho, G., Kodratoff, Y., eds.: Automatic Program Construction Techniques. Collier Macmillan (1984)
2. Flener, P., Yilmaz, S.: Inductive synthesis of recursive logic programs: Achievements and prospects. Journal of Logic Programming 41 (2-3) (1999) 141-195
3. Kitzelmann, E., Olsson, R., Schmid, U., eds.: Proceedings of the ICML 2005 Workshop Approaches and Applications of Inductive Programming. (2005)
4. Olsson, R.: Inductive functional programming using incremental program transformation. Artificial Intelligence 74 (1) (1995) 55-83
5. Summers, P. D.: A methodology for LISP program construction from examples. Journal ACM 24 (1) (1977) 162-175
6. Kodratoff, Y., J. Fargues: A sane algorithm for the synthesis of LISP functions from example problems: The Boyer and Moore algorithm. In: Proc. AISE Meeting Hambourg. (1978) 169-175
7. Jouannaud, J. P., Kodratoff, Y.: Characterization of a class of functions synthesized from examples by a summers like method using a 'B. M. W.' matching technique. In: Proc. International Joint Conference on Artificial Intelligence (IJCAI-79), Morgan Kaufmann (1979) 440-447
8. Kitzelmann, E., Schmid, U.: Inductive synthesis of functional programs: An explanation based generalization approach. Journal of Machine Learning Research 7 (2006) 429-454 Special topic on Approaches and Applications of Inductive Programming.
9. Flener, P.: Inductive logic program synthesis with DIALOGS. In Muggleton, S., ed.: Proceedings of ILP'96, Springer (1997) 175-198
10. Kitzelmann, E., Schmid, U.: Inducing constructor systems from example-terms by detecting syntactical regularities. Electronical Notes in Theoretical Computer Science 174 (1) (2007) 49-63
11. Malerba, D.: Learning recursive theories in the normal ILP setting. Fundamenta Informaticae 57 (1) (2003) 39-77
12. Plotkin, G. D.: A note on inductive generalization. In: Machine Intelligence. Volume 5. Edinburgh University Press (1969) 153-163
13. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: The maude 2.0 system. In Nieuwenhuis, R., ed.: Rewriting Techniques and Applications (RTA 2003). Number 2706 in Lecture Notes in Computer Science, Springer-Verlag (June 2003) 76-87
14. Mitchell, T. M.: Machine Learning. McGraw-Hill Higher Education (1997)