sign in · help · news · about ·

BibSonomy :: user :: emanuel ::

tag user group author concept BibTeX key search:all search:emanuel

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

(2)

<< < 1 > >>

MagicHaskeller: A Search-based Inductive Functional Programming System
to MagicHaskeller enumerative_ip higher-order_functions ifp induction inductive_programming ip-system program_synthesis by emanuel and 1 other user on Apr 21, 2008, 7:51 PM
(0)
The F L I P System
to analytical_ip experiment flip iflp induction inductive_programming ip-system machine_learning program_synthesis by emanuel on Apr 21, 2008, 7:32 PM
(0)

<< < 1 > >>bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(101)

<< < 1 | 2 | 3 > >>

FOIL: A Midterm Report
J. R. Quinlan, and R. M. Cameron-Jones Proceedings of the 6th European Conference on Machine Learning, page 3--20. London, UK, Springer-Verlag, (1993)
to applications enumerative_ip experiment foil ilp induction inductive_programming inproceedings machine_learning program_synthesis by emanuel and 3 other users on Apr 22, 2010, 10:05 PM
URL | BibTeX (0)
Avoiding Pitfalls When Learning Recursive Theories
R. M. Cameron-Jones, and J. R. Quinlan Proceedings of the 13th International Joint Conference on Artificial Intelligence, page 1050--1057. Morgan Kaufmann, (1993)
to enumerative_ip foil ilp induction inductive_programming inproceedings machine_learning program_synthesis by emanuel and 1 other user on Apr 22, 2010, 10:04 PM
URL | BibTeX (0)
Inductive Logic Programming
Stephen Muggleton New Generation Computing 8(4):295--318 (1991)
to article ilp induction machine_learning by emanuel and 4 other users on Apr 22, 2010, 5:14 PM
BibTeX (0)
Inductive Functional Program Synthesis -- A Term-Construction and Folding Approach
Emanuel Kitzelmann Technische Universität Berlin, Diplomarbeit, (2003)Unpublished .
to analytical_ip ifp igor1 induction inductive_programming mastersthesis program_synthesis recursive_program_schemes by emanuel and 1 other user on Apr 21, 2010, 10:36 PM
URL | BibTeX (0)
Induction of Functional Programs based on Relations between I/O Examples
Emanuel Kitzelmann, and Ute Schmid (2006)Poster abstract at the German Conference on Artificial Intelligence .
to analytical_ip constructor_systems extended_abstract ifp igor2 induction inductive_programming program_synthesis by emanuel and 1 other user on Apr 21, 2010, 10:14 PM
BibTeX (0)
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
Emanuel Kitzelmann, and Ute Schmid Journal of Machine Learning Research (2006)Revised version of~KiSc05 .
to analytical_ip article ebg ifp igor1 induction inductive_programming program_synthesis recursive_program_schemes by emanuel and 2 other users on Apr 21, 2010, 10:13 PM
URL | BibTeX (0)
Speeding up the Synthesis of Programs from Traces
A.W. Biermann, R.I. Baum, and F.E. Petry IEEE Transactions on Computers 24(2):122--136 (1975)
to analytical_ip enumerative_ip induction inductive_programming program_synthesis synthesis_from_traces by emanuel and 1 other user on Apr 21, 2010, 10:07 PM
URL | BibTeX (0)
Constructing Programs from Example Computations
A.W. Biermann, and R. Krishnaswamy IEEE Transactions on Software Engineering 2(3):141--153 (1976)
to ase induction inductive_programming pre-summers program_synthesis synthesis_from_traces by emanuel and 1 other user on Apr 21, 2010, 10:05 PM
DOI | BibTeX (0)
The Hierarchical Synthesis of LISP Scanning Programs
A. W. Biermann, and D. R. Smith Information Processing 77, page 41--45. Amsterdam, North-Holland Publishing, (1977)
to analytical_ip ifp induction inductive_programming program_synthesis by emanuel and 1 other user on Apr 21, 2010, 10:04 PM
BibTeX (0)
A Production Rule Mechanism for Generating LISP Code
Alan W. Biermann, and Douglas R. Smith IEEE Transactions on Systems, Man, and Cybernetics 9(5):260--276 (1979)
to analytical_ip ifp induction inductive_programming program_synthesis by emanuel on Apr 21, 2010, 10:03 PM
URL | BibTeX (0)
The Appropriateness of Predicate Invention as Bias Shift Operation in ILP
Irene Stahl Machine Learning 20(1):95--117 (1995)
to bias_shift decidability ilp induction inductive_programming predicate_invention program_synthesis by emanuel and 1 other user on Apr 21, 2010, 9:56 PM
URL | BibTeX (0)
Language Identification in the Limit
E. Mark Gold Information and Control 10(5):447--474 (1967)
to article identification_in_the_limit induction machine_learning seminal_paper by emanuel and 8 other users on Apr 21, 2010, 9:55 PM
URL | BibTeX (0)
Automatic Program Synthesis from Example Problems
L. Siklossy, and D. A. Sykes International Joint Conference on Artificial Intelligence IJCAI'75, page 268--273. (1975)
to ifp induction inductive_programming lisp pre-summers program_synthesis by emanuel on Apr 21, 2010, 9:55 PM
URL | BibTeX (0)
Inferring LISP Programs from Examples
D. Shaw, W. Swartout, and C. Green International Joint Conference on Artificial Intelligence IJCAI'75, page 260--267. (1975)
to ifp induction inductive_programming lisp pre-summers program_synthesis by emanuel on Apr 21, 2010, 9:54 PM
URL | BibTeX (0)
Synthesis of LISP Functions from Examples
S. Hardy International Joint Conference on Artificial Intelligence IJCAI'75, page 240--245. (1975)
to ifp induction inductive_programming lisp pre-summers program_synthesis by emanuel and 1 other user on Apr 21, 2010, 9:54 PM
URL | BibTeX (0)
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
Emanuel Kitzelmann, and Ute Schmid Electronic Notes in Theoretical Computer Science 174(1):49--63 (2007)
to analytical_ip article constructor_systems igor2 induction inductive_programming program_synthesis rule-based_programming by emanuel and 2 other users on Jun 21, 2009, 3:29 PM
URL | BibTeX (0)
Inductive Program Synthesis: From Theory to Application
Ute Schmid, Emanuel Kitzelmann, and Fritz Wysotzki Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen FGML 2002, page 135--141. (2002)
to ifp induction inductive_programming inproceedings machine_learning program_synthesis recursive_program_schemes by emanuel and 1 other user on Jun 21, 2009, 3:27 PM
BibTeX (0)
Folding of Finite Program Terms to Recursive Program Schemes
Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, and Fritz Wysotzki First International IEEE Symposium on Intelligent Systems IS 2002, 1, page 144--149. IEEE, (2002)
to analytical_ip ifp igor1 induction inductive_programming inproceedings program_synthesis recursive_program_schemes by emanuel and 1 other user on Jun 21, 2009, 3:26 PM
URL | BibTeX (0)
An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs
Emanuel Kitzelmann, and Ute Schmid ICML-2005 Workshop on Approaches and Applications of Inductive Programming, page 15--27. (2005)
to analytical_ip ebg ifp igor1 induction inductive_programming inproceedings machine_learning program_synthesis recursive_program_schemes by emanuel and 1 other user on Jun 21, 2009, 3:19 PM
URL | BibTeX (0)
Proceedings of the ICML-2005 Workshop on Approaches and Applications of Inductive Programming
Emanuel Kitzelmann, Roland Olsson, and Ute Schmid (Eds.). (2005)
to ifp ilp induction inductive_programming machine_learning proceedings program_synthesis by emanuel on Jun 21, 2009, 3:17 PM
URL | BibTeX (0)

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

a gripper