BibSonomy :: user

publications

(48)

<< < 1 | 2 | 3 > >>

Sub-unification: a Tool for Efficient Induction of Recursive Programs
St'ephane Lapointe and Stan Matwin ML92: Proceedings of the Ninth International Workshop on Machine Learning, page273--281. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (1992)
to ip-system ilp inductive_programming program_synthesis analytical_ip induction by emanuel and 2 other people on Jun 30, 2008, 5:57 PM
URL | BibTeX
Analytical Inductive Functional Programming
Emanuel Kitzelmann 18th International Symposium on Logic-Based Program Synthesis and Transformation, Springer-Verlag, (2008) to appear .
to inproceedings igor2 constructor_systems analytical_ip induction inductive_programming program_synthesis ifp by emanuel on Jun 15, 2008, 8:59 AM
BibTeX
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
Martin Hofmann and Emanuel Kitzelmann and Ute Schmid 31st German Conference on Artificial Intelligence, Springer-Verlag, (2008) to appear .
to analytical_ip higher-order_functions haskell ifp inproceedings overview ilp experiment iflp induction enumerative_ip igor2 machine_learning program_synthesis inductive_programming by emanuel on Jun 15, 2008, 8:58 AM
BibTeX
Data-driven Induction of Functional Programs
Emanuel Kitzelmann 18th European Conference on Artificial Intelligence, IOS Press, (2008) to appear .
to inductive_programming analytical_ip constructor_systems inproceedings ifp program_synthesis igor2 induction extended_abstract by emanuel on Jun 15, 2008, 8:45 AM
BibTeX
Inductive Synthesis of Functional Programs
Emanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume2385ofLNCS, page337--354. Springer-Verlag, (2002)
to inductive_programming recursive_program_schemes inproceedings igor1 ifp induction program_synthesis analytical_ip by emanuel and 1 other person on Jun 14, 2008, 5:51 PM
URL | BibTeX
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
Emanuel Kitzelmann and Ute Schmid Electronic Notes in Theoretical Computer Science174(1):49--63(2007)
to analytical_ip article inductive_programming rule-based_programming induction program_synthesis igor2 constructor_systems by emanuel and 2 other people on Jun 14, 2008, 5:50 PM
URL | BibTeX
Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach
Emanuel Kitzelmann (2003)
to analytical_ip ifp recursive_program_schemes mastersthesis induction inductive_programming igor1 program_synthesis by emanuel and 1 other person on Jun 14, 2008, 5:48 PM
URL | BibTeX
Folding of finite program terms to recursive program schemes
Emanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium, 1, page144--149 vol.1. (2002)
to ifp analytical_ip program_synthesis igor1 inproceedings recursive_program_schemes inductive_programming induction by emanuel and 1 other person on Jun 14, 2008, 5:46 PM
URL | BibTeX
Grundlegende Ansätze zur Induktiven Synthese Funktionaler Programme (Summers und Biermann)
Emanuel Kitzelmann (2001)
to inductive_programming analytical_ip ifp program_synthesis induction term_paper by emanuel and 1 other person on Jun 14, 2008, 5:42 PM
URL | BibTeX
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
Emanuel Kitzelmann and Ute Schmid Journal of Machine Learning Research(2006)
to ifp igor1 ebg program_synthesis inductive_programming recursive_program_schemes article analytical_ip induction by emanuel and 3 other people on Jun 14, 2008, 5:41 PM
URL | BibTeX
Induction of Functional Programs based on Relations between I/O Examples
Emanuel Kitzelmann and Ute Schmid (2006) poster abstract .
to induction analytical_ip constructor_systems igor2 ifp inductive_programming extended_abstract program_synthesis by emanuel and 1 other person on Jun 14, 2008, 5:41 PM
BibTeX
An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs
Emanuel Kitzelmann and Ute Schmid Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming, page15--27. (2005)
to program_synthesis analytical_ip ebg ifp recursive_program_schemes induction igor1 machine_learning inproceedings inductive_programming by emanuel and 1 other person on Jun 14, 2008, 5:38 PM
URL | BibTeX
Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming
Emanuel Kitzelmann and Roland Olsson and Ute Schmid (eds.). (2005)
to program_synthesis proceedings inductive_programming induction machine_learning ilp ifp by emanuel on Jun 14, 2008, 5:37 PM
URL | BibTeX
Inductive Program Synthesis: From Theory to Application
Ute Schmid and Emanuel Kitzelmann and Fritz Wysotzki Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen (FGML 2002), page135--141. (2002)
to inductive_programming inproceedings machine_learning recursive_program_schemes ifp induction program_synthesis by emanuel and 1 other person on Jun 14, 2008, 5:36 PM
BibTeX
Data-Driven Induction of Recursive Functions from Input/Output-Examples
Emanuel Kitzelmann Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07), page15--26. (2007)
to constructor_systems induction igor2 inproceedings inductive_programming ifp program_synthesis analytical_ip by emanuel and 1 other person on Jun 14, 2008, 5:27 PM
BibTeX
Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07)
Emanuel Kitzelmann and Ute Schmid (eds.). (2007)
to program_synthesis proceedings inductive_programming machine_learning induction by emanuel and 1 other person on Jun 14, 2008, 5:23 PM
BibTeX
Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems
Martin Hofmann and Andreas Hirschberger and Emanuel Kitzelmann and Ute Schmid KI 2007: Advances in Artificial Intelligence, volume4667ofLNCS, page468--472. Springer-Verlag, (2007)
to adate comparison atre ilp inductive_programming experiment induction dialogs inproceedings ifp program_synthesis by emanuel on Jun 13, 2008, 7:02 PM
URL | BibTeX
Automatic Program Synthesis from Example Problems
L. Siklossy and D. A. Sykes International Joint Conference on Artificial Intelligence (IJCAI'75), page268--273. (1975)
to inductive_programming ifp program_synthesis lisp induction by emanuel on May 28, 2008, 3:50 PM
URL | BibTeX
Inferring LISP Programs from Examples
D. Shaw and W. Swartout and C. Green International Joint Conference on Artificial Intelligence (IJCAI'75), page260--267. (1975)
to induction program_synthesis ifp lisp inductive_programming by emanuel on May 28, 2008, 3:45 PM
URL | BibTeX
Synthesis of LISP Functions from Examples
S. Hardy International Joint Conference on Artificial Intelligence (IJCAI'75), page240--245. (1975)
to program_synthesis inductive_programming ifp lisp induction by emanuel and 1 other person on May 28, 2008, 3:39 PM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

tags · relations · groups · popular	help · blog · about
username: password:	login · register

BibSonomy :: user :: emanuel ::

bookmarks

publications