Analysis and evaluation of inductive programming systems in a higher-order framework

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

Volumn 5243 LNAI, Issue , 2008, Pages 78-86

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

^a UNIVERSITY OF BAMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INTERNET PROTOCOLS;

ANALYSIS AND EVALUATIONS; FUNCTIONAL SYSTEMS; INDUCTIVE PROGRAM SYNTHESES; INPUT/OUTPUT; IP ADDRESSES; PROGRAMMING SYSTEMS;

INTERACTIVE COMPUTER SYSTEMS;

EID: 56549120422     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85845-4_10     Document Type: Conference Paper

References (13)

1. Biermann, A.W., et al.: Automatic Program Construction Techniques. Free Press, NY (1984)
2. Quinlan, J.R.: Learning first-order definitions of functions. Journal of Artificial Intelligence Research 5, 139-161 (1996)
3. Muggleton, S., Feng, C.: Efficient induction of logic programs. In: Proceedings of the 1st Conference on Algorithmic Learning Theory, Ohmsma, Tokyo, Japan, pp. 368-381 (1990)
4. Muggleton, S.: Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming 13(3-4), 245-286 (1995)
5. Flener, P.: Inductive logic program synthesis with Dialogs. In: Muggleton, S. (ed.) Proceedings of the 6th International Workshop on ILP, pp. 28-51. Stockholm University (1996)
6. Hernández-Orallo, J., et al.: Inverse narrowing for the induction of functional logic programs. In: Freire-Nistal, et al. (eds.) Joint Conference on Declarative Programming, pp. 379-392 (1998)
7. Kitzelmann, E., Schmid, U.: Inductive synthesis of functional programs: An explanation based generalization approach. Journal of Machine Learning Research 7, 429-454 (2006)
8. Kitzelmann, E.: Data-driven induction of recursive functions from input/output-examples. In: Kitzelmann, E., Schmid, U. (eds.) Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP 2007), pp. 15-26 (2007)
9. Olsson, R.J.: Inductive functional programming using incremental program transformation. Artificial Intelligence 74(1), 55-83 (1995)
10. Katayama, S.: Systematic search for λ-expressions. In: Trends in Functional Programming, pp. 111-126 (2005)
11. Terese,: Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science, vol. 55. Cambridge Univ. Press, Cambridge (2003)
12. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge Univ. Press, UK (1998)
13. Plotkin, G.: A further note on inductive generalization. In: Machine Intelligence, vol. 6, Edinburgh Univ. Press (1971)