emanuel > program_synthesis

bookmarks (hide)11
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
1Kestrel Institute
kids, specware, planware
17 years ago by @emanuel
show all tags
applications
ase
deductive_program_synthesis
institute
program_synthesis
smith
software_engineering
applicationsasedeductive_program_synthesisinstituteprogram_synthesissmithsoftware_engineering
(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

⟨⟨
⟨
1
2
3
⟩
⟩⟩

publications (hide)128
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...

2A Deductive Approach to Program Synthesis
Z. Manna, and R. Waldinger. ACM Transactions on Programming Languages and Systems, 2 (1): 90--121 (1980)
15 years ago by @emanuel
show all tags
article
ase
deductive_program_synthesis
program_synthesis
articleasedeductive_program_synthesisprogram_synthesis
(0)
copydeleteadd this publication to your clipboard
1On Correct Program Schemas
P. Flener, K. Lau, and M. Ornaghi. Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings, volume 1463 of LNCS, page 128--147. Springer-Verlag, (1998)
15 years ago by @emanuel
show all tags
program_synthesis
schemas
program_synthesisschemas
(0)
copydeleteadd this publication to your clipboard
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
1Software Development by Refinement
D. Pavlovic, and D. Smith. Formal Methods at the Crossroads: From Panacea to Foundational Support, volume 2757 of LNCS, page 267--286. (2003)
15 years ago by @emanuel
show all tags
ase
deductive_program_synthesis
inproceedings
kestrel
overview
program_synthesis
software_engineering
asedeductive_program_synthesisinproceedingskestreloverviewprogram_synthesissoftware_engineering
(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

⟨⟨
⟨
1
2
3
⟩
⟩⟩

BibSonomy

bookmarks (hide)11
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

1Kestrel Institute

2DBLP: Emanuel Kitzelmann

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

publications (hide)128
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...

2A Deductive Approach to Program Synthesis

1On Correct Program Schemas

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

1Software Development by Refinement

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

browse

related tags

concepts

tags

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

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

browse

related tags

tags

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

publications (hide)128
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...