emanuel > program_synthesis inductive_programming

bookmarks (hide)10
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

2MagicHaskeller: A Search-based Inductive Functional Programming System
http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html
17 years ago by @emanuel
show all tags
MagicHaskeller
enumerative_ip
higher-order_functions
ifp
induction
inductive_programming
ip-system
program_synthesis
MagicHaskellerenumerative_iphigher-order_functionsifpinductioninductive_programmingip-systemprogram_synthesis
(0)
copydelete
- community post
- history of this post
1The F L I P System
http://www.dsic.upv.es/~flip/flip/
17 years ago by @emanuel
show all tags
analytical_ip
experiment
flip
iflp
induction
inductive_programming
ip-system
machine_learning
program_synthesis
analytical_ipexperimentflipiflpinductioninductive_programmingip-systemmachine_learningprogram_synthesis
(0)
copydelete
- community post
- history of this post
2DBLP: Emanuel Kitzelmann
emanuel's list of publications from dblp
18 years ago by @emanuel
show all tags
dblp
emanuel
igor1
igor2
inductive_programming
kitzelmann
program_synthesis
dblpemanueligor1igor2inductive_programmingkitzelmannprogram_synthesis
(0)
copydelete
- community post
- history of this post
1Otto-Friedrich-Universität Bamberg: Professur für Angewandte Informatik / Kognitive Systeme
homepage of the cognitive systems group at university of bamberg
18 years ago by @emanuel
show all tags
cognition
cognitive_systems
cogsys
inductive_programming
program_synthesis
cognitioncognitive_systemscogsysinductive_programmingprogram_synthesis
(0)
copydelete
- community post
- history of this post
1inductive-programming.org • The IP Community
inductive programming community site
18 years ago by @emanuel
show all tags
community
inductive_programming
program_synthesis
communityinductive_programmingprogram_synthesis
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
2
⟩
⟩⟩

publications (hide)121
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Logic Program Synthesis from Incomplete Information
P. Flener. Kluwer Academic Publishers, (1995)
15 years ago by @emanuel
show all tags
ilp
inductive_programming
program_synthesis
ilpinductive_programmingprogram_synthesis
(0)
copydeleteadd this publication to your clipboard
4FOIL: A Midterm Report
J. Quinlan, and R. Cameron-Jones. Proceedings of the 6th European Conference on Machine Learning, page 3--20. London, UK, Springer-Verlag, (1993)
15 years ago by @emanuel
show all tags
applications
enumerative_ip
experiment
foil
ilp
induction
inductive_programming
inproceedings
machine_learning
program_synthesis
applicationsenumerative_ipexperimentfoililpinductioninductive_programminginproceedingsmachine_learningprogram_synthesis
(0)
copydeleteadd this publication to your clipboard
2Avoiding Pitfalls When Learning Recursive Theories
R. Cameron-Jones, and J. Quinlan. Proceedings of the 13th International Joint Conference on Artificial Intelligence, page 1050--1057. Morgan Kaufmann, (1993)
15 years ago by @emanuel
show all tags
enumerative_ip
foil
ilp
induction
inductive_programming
inproceedings
machine_learning
program_synthesis
enumerative_ipfoililpinductioninductive_programminginproceedingsmachine_learningprogram_synthesis
(0)
copydeleteadd this publication to your clipboard
2Inductive Functional Program Synthesis -- A Term-Construction and Folding Approach
E. Kitzelmann. Technische Universität Berlin, Diplomarbeit, (2003)Unpublished.
15 years ago by @emanuel
show all tags
analytical_ip
ifp
igor1
induction
inductive_programming
mastersthesis
program_synthesis
recursive_program_schemes
analytical_ipifpigor1inductioninductive_programmingmastersthesisprogram_synthesisrecursive_program_schemes
(0)
copydeleteadd this publication to your clipboard
2Induction of Functional Programs based on Relations between I/O Examples
E. Kitzelmann, and U. Schmid. (2006)Poster abstract at the German Conference on Artificial Intelligence.
15 years ago by @emanuel
show all tags
analytical_ip
constructor_systems
extended_abstract
ifp
igor2
induction
inductive_programming
program_synthesis
analytical_ipconstructor_systemsextended_abstractifpigor2inductioninductive_programmingprogram_synthesis
(0)
copydeleteadd this publication to your clipboard
3Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
E. Kitzelmann, and U. Schmid. Journal of Machine Learning Research, (2006)Revised version of~KiSc05.
15 years ago by @emanuel
show all tags
analytical_ip
article
ebg
ifp
igor1
induction
inductive_programming
program_synthesis
recursive_program_schemes
analytical_iparticleebgifpigor1inductioninductive_programmingprogram_synthesisrecursive_program_schemes
(0)
copydeleteadd this publication to your clipboard
1Speeding up the Synthesis of Programs from Traces
A. Biermann, R. Baum, and F. Petry. IEEE Transactions on Computers, 24 (2): 122--136 (1975)
15 years ago by @emanuel
show all tags
analytical_ip
enumerative_ip
induction
inductive_programming
program_synthesis
synthesis_from_traces
analytical_ipenumerative_ipinductioninductive_programmingprogram_synthesissynthesis_from_traces
(0)
copydeleteadd this publication to your clipboard
1Constructing Programs from Example Computations
A. Biermann, and R. Krishnaswamy. IEEE Transactions on Software Engineering, 2 (3): 141--153 (1976)
15 years ago by @emanuel
show all tags
ase
induction
inductive_programming
pre-summers
program_synthesis
synthesis_from_traces
aseinductioninductive_programmingpre-summersprogram_synthesissynthesis_from_traces
(0)
copydeleteadd this publication to your clipboard
2The Hierarchical Synthesis of LISP Scanning Programs
A. Biermann, and D. Smith. Information Processing 77, page 41--45. Amsterdam, North-Holland Publishing, (1977)
15 years ago by @emanuel
show all tags
analytical_ip
ifp
induction
inductive_programming
program_synthesis
analytical_ipifpinductioninductive_programmingprogram_synthesis
(0)
copydeleteadd this publication to your clipboard
1A Production Rule Mechanism for Generating LISP Code
A. Biermann, and D. Smith. IEEE Transactions on Systems, Man, and Cybernetics, 9 (5): 260--276 (1979)
15 years ago by @emanuel
show all tags
analytical_ip
ifp
induction
inductive_programming
program_synthesis
analytical_ipifpinductioninductive_programmingprogram_synthesis
(0)
copydeleteadd this publication to your clipboard
1The Appropriateness of Predicate Invention as Bias Shift Operation in ILP
I. Stahl. Machine Learning, 20 (1): 95--117 (1995)
15 years ago by @emanuel
show all tags
bias_shift
decidability
ilp
induction
inductive_programming
predicate_invention
program_synthesis
bias_shiftdecidabilityilpinductioninductive_programmingpredicate_inventionprogram_synthesis
(0)
copydeleteadd this publication to your clipboard
1Automatic Program Synthesis from Example Problems
L. Siklossy, and D. Sykes. International Joint Conference on Artificial Intelligence (IJCAI'75), page 268--273. (1975)
15 years ago by @emanuel
show all tags
ifp
induction
inductive_programming
lisp
pre-summers
program_synthesis
ifpinductioninductive_programminglisppre-summersprogram_synthesis
(0)
copydeleteadd this publication to your clipboard
1Inferring LISP Programs from Examples
D. Shaw, W. Swartout, and C. Green. International Joint Conference on Artificial Intelligence (IJCAI'75), page 260--267. (1975)
15 years ago by @emanuel
show all tags
ifp
induction
inductive_programming
lisp
pre-summers
program_synthesis
ifpinductioninductive_programminglisppre-summersprogram_synthesis
(0)
copydeleteadd this publication to your clipboard
2Synthesis of LISP Functions from Examples
S. Hardy. International Joint Conference on Artificial Intelligence (IJCAI'75), page 240--245. (1975)
15 years ago by @emanuel
show all tags
ifp
induction
inductive_programming
lisp
pre-summers
program_synthesis
ifpinductioninductive_programminglisppre-summersprogram_synthesis
(0)
copydeleteadd this publication to your clipboard
2Learning Recursive Control Programs from Problem Solving
P. Langley, and D. Choi. Journal of Machine Learning Research, (2006)Special Topic on Inductive Programming.
15 years ago by @emanuel
show all tags
inductive_programming
learning-and-planning
planning
program_synthesis
read
inductive_programminglearning-and-planningplanningprogram_synthesisread
(0)
copydeleteadd this publication to your clipboard
2Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
E. Kitzelmann, and U. Schmid. Electronic Notes in Theoretical Computer Science, 174 (1): 49--63 (2007)
16 years ago by @emanuel
show all tags
analytical_ip
article
constructor_systems
igor2
induction
inductive_programming
program_synthesis
rule-based_programming
analytical_iparticleconstructor_systemsigor2inductioninductive_programmingprogram_synthesisrule-based_programming
(0)
copydeleteadd this publication to your clipboard
2Inductive Program Synthesis: From Theory to Application
U. Schmid, E. Kitzelmann, and F. Wysotzki. Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen (FGML 2002), page 135--141. (2002)
16 years ago by @emanuel
show all tags
ifp
induction
inductive_programming
inproceedings
machine_learning
program_synthesis
recursive_program_schemes
ifpinductioninductive_programminginproceedingsmachine_learningprogram_synthesisrecursive_program_schemes
(0)
copydeleteadd this publication to your clipboard
2Folding of Finite Program Terms to Recursive Program Schemes
E. Kitzelmann, U. Schmid, M. Mühlpfordt, and F. Wysotzki. First International IEEE Symposium on Intelligent Systems (IS 2002), 1, page 144--149. IEEE, (2002)
16 years ago by @emanuel
show all tags
analytical_ip
ifp
igor1
induction
inductive_programming
inproceedings
program_synthesis
recursive_program_schemes
analytical_ipifpigor1inductioninductive_programminginproceedingsprogram_synthesisrecursive_program_schemes
(0)
copydeleteadd this publication to your clipboard
3An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs
E. Kitzelmann, and U. Schmid. ICML-2005 Workshop on Approaches and Applications of Inductive Programming, page 15--27. (2005)
16 years ago by @emanuel
show all tags
analytical_ip
ebg
ifp
igor1
induction
inductive_programming
inproceedings
machine_learning
program_synthesis
recursive_program_schemes
analytical_ipebgifpigor1inductioninductive_programminginproceedingsmachine_learningprogram_synthesisrecursive_program_schemes
(0)
copydeleteadd this publication to your clipboard
1Proceedings of the ICML-2005 Workshop on Approaches and Applications of Inductive Programming
E. Kitzelmann, R. Olsson, and U. Schmid (Eds.) (2005)
16 years ago by @emanuel
show all tags
ifp
ilp
induction
inductive_programming
machine_learning
proceedings
program_synthesis
ifpilpinductioninductive_programmingmachine_learningproceedingsprogram_synthesis
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩

BibSonomy

bookmarks (hide)10
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

2MagicHaskeller: A Search-based Inductive Functional Programming System

1The F L I P System

2DBLP: Emanuel Kitzelmann

1Otto-Friedrich-Universität Bamberg: Professur für Angewandte Informatik / Kognitive Systeme

1inductive-programming.org • The IP Community

publications (hide)121
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Logic Program Synthesis from Incomplete Information

4FOIL: A Midterm Report

2Avoiding Pitfalls When Learning Recursive Theories

2Inductive Functional Program Synthesis -- A Term-Construction and Folding Approach

2Induction of Functional Programs based on Relations between I/O Examples

3Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach

1Speeding up the Synthesis of Programs from Traces

1Constructing Programs from Example Computations

2The Hierarchical Synthesis of LISP Scanning Programs

1A Production Rule Mechanism for Generating LISP Code

1The Appropriateness of Predicate Invention as Bias Shift Operation in ILP

1Automatic Program Synthesis from Example Problems

1Inferring LISP Programs from Examples

2Synthesis of LISP Functions from Examples

2Learning Recursive Control Programs from Problem Solving

2Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities

2Inductive Program Synthesis: From Theory to Application

2Folding of Finite Program Terms to Recursive Program Schemes

3An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs

1Proceedings of the ICML-2005 Workshop on Approaches and Applications of Inductive Programming

browse

related tags

concepts

tags

bookmarks (hide)10 displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)121 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

tags

bookmarks (hide)10
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)121
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...