tag :: Induction functional_programming inductive_programming

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

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

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

1Machine Learning of Human Language through Automatic Programming
J. Olsson, and D. Powers. Proceedings of the International Conference on Cognitive Science, page 507--512. (2003)
16 years ago by @emanuel
show all tags
adate
enumerative_ip
functional_programming
ifp
induction
inductive_programming
nlp
olsson
program_synthesis
program_transformation
adateenumerative_ipfunctional_programmingifpinductioninductive_programmingnlpolssonprogram_synthesisprogram_transformation
(0)
copydeleteadd this publication to your clipboard
2How to Invent Functions
J. Olsson. Proceedings of the European Workshop on Genetic Programming (EuroGP'99), volume 1598 of LNCS, page 232--243. Berlin, Germany, Springer-Verlag, (1999)
16 years ago by @emanuel
show all tags
adate
enumerative_ip
functional_programming
ifp
induction
inductive_programming
olsson
program_synthesis
program_transformation
adateenumerative_ipfunctional_programmingifpinductioninductive_programmingolssonprogram_synthesisprogram_transformation
(0)
copydeleteadd this publication to your clipboard
2The Art of Writing Specifications for the ADATE Automatic Programming System
J. Olsson. Proceedings of the Annual Genetic Programming Conference, page 278--283. San Francisco, CA, USA, Morgan Kaufmann, (1998)
16 years ago by @emanuel
show all tags
adate
enumerative_ip
functional_programming
ifp
induction
inductive_programming
olsson
program_synthesis
program_transformation
adateenumerative_ipfunctional_programmingifpinductioninductive_programmingolssonprogram_synthesisprogram_transformation
(0)
copydeleteadd this publication to your clipboard
1Population Management for Automatic Design of Algorithms through Evolution
J. Olsson. Proceedings of the International Conference on Evolutionary Computation, page 592--597. IEEE Press, (1998)
16 years ago by @emanuel
show all tags
adate
enumerative_ip
functional_programming
ifp
induction
inductive_programming
olsson
program_optimisation
program_synthesis
program_transformation
adateenumerative_ipfunctional_programmingifpinductioninductive_programmingolssonprogram_optimisationprogram_synthesisprogram_transformation
(0)
copydeleteadd this publication to your clipboard
1Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems
M. Hofmann, A. Hirschberger, E. Kitzelmannn, and U. Schmid. KI 2007: Advances in Artificial Intelligence, volume 4667 of LNCS, page 468--472. Springer-Verlag, (2007)
17 years ago by @mh
show all tags
2007
adate
atre
automatic_programming
dialogs
functional_programming
ilp
induction
inductive
inductive_functional_programming
inductive_inference
inductive_learning
inductive_logic_programming
inductive_program_synthesis
inductive_programming
inproceedings
programming
published
2007adateatreautomatic_programmingdialogsfunctional_programmingilpinductioninductiveinductive_functional_programminginductive_inferenceinductive_learninginductive_logic_programminginductive_program_synthesisinductive_programminginproceedingsprogrammingpublished
(0)
copydeleteadd this publication to your clipboard
3Data-Driven Induction of Recursive Functions from Input/Output-Examples
E. Kitzelmann. Proceedings of the ECML/PKDD 2007 Workshop on Approaches and Applications of Inductive Programming (AAIP'07), page 15--26. (2007)
17 years ago by @mh
show all tags
2007
automatic_programming
constructor_systems
functional_programming
igor2
induction
inductive_functional_programming
inductive_program_synthesis
inductive_programming
inproceedings
programming
2007automatic_programmingconstructor_systemsfunctional_programmingigor2inductioninductive_functional_programminginductive_program_synthesisinductive_programminginproceedingsprogramming
(0)
copydeleteadd this publication to your clipboard
4Inductive functional programming using incremental program transformation
J. Olsson. Artificial Intelligence, 74 (1): 55 -- 83 (1995)
17 years ago by @mh
show all tags
1995
ADATE
Olsson
functional_programming
induction
inductive_programming
1995ADATEOlssonfunctional_programminginductioninductive_programming
(0)
copydeleteadd this publication to your clipboard
2Inductive Synthesis of Functional Programs
E. Kitzelmann, U. Schmid, M. Mühlpfordt, and F. Wysotzki. AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume 2385 of LNCS, page 337--354. Springer-Verlag, (2002)
17 years ago by @mh
show all tags
2002
automatic_programming
functional_programming
igor1
induction
inductive
inductive_functional_programming
inductive_inference
inductive_program_synthesis
inductive_programming
inproceedings
myown
programming
published
recursive_program_schemes
2002automatic_programmingfunctional_programmingigor1inductioninductiveinductive_functional_programminginductive_inferenceinductive_program_synthesisinductive_programminginproceedingsmyownprogrammingpublishedrecursive_program_schemes
(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 (April 2007)
17 years ago by @mh
show all tags
2007
article
automatic_programming
constructor_systems
functional_programming
igor2
induction
inductive
inductive_inference
inductive_program_synthesis
inductive_programming
myown
programming
published
rule-based_programming
2007articleautomatic_programmingconstructor_systemsfunctional_programmingigor2inductioninductiveinductive_inferenceinductive_program_synthesisinductive_programmingmyownprogrammingpublishedrule-based_programming
(0)
copydeleteadd this publication to your clipboard
2Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach
E. Kitzelmann. Technische Universität Berlin, (2003)
17 years ago by @mh
show all tags
2003
automatic_programming
functional_programming
igor1
induction
inductive
inductive_functional_programming
inductive_inference
inductive_program_synthesis
inductive_programming
mastersthesis
myown
programming
recursive_program_schemes
2003automatic_programmingfunctional_programmingigor1inductioninductiveinductive_functional_programminginductive_inferenceinductive_program_synthesisinductive_programmingmastersthesismyownprogrammingrecursive_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. Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium, 1, page 144--149 vol.1. (2002)
17 years ago by @mh
show all tags
2002
automatic_programming
functional_programming
igor1
induction
inductive
inductive_functional_programming
inductive_inference
inductive_program_synthesis
inductive_programming
inproceedings
myown
programming
published
recursive_program_schemes
2002automatic_programmingfunctional_programmingigor1inductioninductiveinductive_functional_programminginductive_inferenceinductive_program_synthesisinductive_programminginproceedingsmyownprogrammingpublishedrecursive_program_schemes
(0)
copydeleteadd this publication to your clipboard
2Grundlegende Ansätze zur Induktiven Synthese Funktionaler Programme (Summers und Biermann)
E. Kitzelmann. (2001)
17 years ago by @mh
show all tags
2001
automatic_programming
functional_programming
induction
inductive
inductive_functional_programming
inductive_inference
inductive_program_synthesis
inductive_programming
myown
programming
term_paper
2001automatic_programmingfunctional_programminginductioninductiveinductive_functional_programminginductive_inferenceinductive_program_synthesisinductive_programmingmyownprogrammingterm_paper
(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.
17 years ago by @mh
show all tags
2006
automatic_programming
constructor_systems
extended_abstract
functional_programming
igor2
induction
inductive
inductive_functional_programming
inductive_inference
inductive_program_synthesis
inductive_programming
myown
programming
2006automatic_programmingconstructor_systemsextended_abstractfunctional_programmingigor2inductioninductiveinductive_functional_programminginductive_inferenceinductive_program_synthesisinductive_programmingmyownprogramming
(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)
17 years ago by @mh
show all tags
2006
article
automatic_programming
explanation-based_generalization
functional_programming
igor1
induction
inductive
inductive_functional_programming
inductive_inference
inductive_learning
inductive_program_synthesis
inductive_programming
myown
programming
published
recursive_program_schemes
2006articleautomatic_programmingexplanation-based_generalizationfunctional_programmingigor1inductioninductiveinductive_functional_programminginductive_inferenceinductive_learninginductive_program_synthesisinductive_programmingmyownprogrammingpublishedrecursive_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. Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming, page 15--27. (2005)
17 years ago by @mh
show all tags
2005
automatic_programming
ebg
functional_programming
igor1
induction
inductive
inductive_functional_programming
inductive_inference
inductive_learning
inductive_program_synthesis
inductive_programming
inproceedings
machine_learning
myown
programming
recursive_program_schemes
2005automatic_programmingebgfunctional_programmingigor1inductioninductiveinductive_functional_programminginductive_inferenceinductive_learninginductive_program_synthesisinductive_programminginproceedingsmachine_learningmyownprogrammingrecursive_program_schemes
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

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

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

1Machine Learning of Human Language through Automatic Programming

2How to Invent Functions

2The Art of Writing Specifications for the ADATE Automatic Programming System

1Population Management for Automatic Design of Algorithms through Evolution

1Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems

3Data-Driven Induction of Recursive Functions from Input/Output-Examples

4Inductive functional programming using incremental program transformation

2Inductive Synthesis of Functional Programs

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

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

2Folding of finite program terms to recursive program schemes

2Grundlegende Ansätze zur Induktiven Synthese Funktionaler Programme (Summers und Biermann)

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

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

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

browse

related tags

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

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

browse

related tags

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

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