emanuel > program_synthesis

Lesezeichen (verstecken)11
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

1Pierre Flener
http://user.it.uu.se/~pierref/
vor 18 Jahren von @emanuel
alle anzeigen
dialogs
flener
ilp
inductive_programming
program_synthesis
dialogsflenerilpinductive_programmingprogram_synthesis
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Otto-Friedrich-Universität Bamberg: Kitzelmann
emanuel's university homepage
vor 18 Jahren von @emanuel
alle anzeigen
bamberg
emanuel
ifp
igor1
igor2
inductive_programming
kitzelmann
program_synthesis
bambergemanuelifpigor1igor2inductive_programmingkitzelmannprogram_synthesis
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1The ADATE System
homepage of roland olsson's ADATE inductive programming system
vor 18 Jahren von @emanuel
alle anzeigen
adate
ifp
inductive_programming
olsson
program_synthesis
adateifpinductive_programmingolssonprogram_synthesis
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
2Ross Quinlan's personal homepage
http://www.rulequest.com/Personal/
vor 18 Jahren von @emanuel
alle anzeigen
foil
ilp
inductive_programming
machine_learning
program_synthesis
quinlan
foililpinductive_programmingmachine_learningprogram_synthesisquinlan
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Stephen Muggleton
stephen muggleton's homepage
vor 18 Jahren von @emanuel
alle anzeigen
golem
ilp
inductive_programming
machine_learning
muggleton
progol
program_synthesis
golemilpinductive_programmingmachine_learningmuggletonprogolprogram_synthesis
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1inductive-programming.org • The IP Community
inductive programming community site
vor 18 Jahren von @emanuel
alle anzeigen
community
inductive_programming
program_synthesis
communityinductive_programmingprogram_synthesis
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Otto-Friedrich-Universität Bamberg: Professur für Angewandte Informatik / Kognitive Systeme
homepage of the cognitive systems group at university of bamberg
vor 18 Jahren von @emanuel
alle anzeigen
cognition
cognitive_systems
cogsys
inductive_programming
program_synthesis
cognitioncognitive_systemscogsysinductive_programmingprogram_synthesis
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
2DBLP: Emanuel Kitzelmann
emanuel's list of publications from dblp
vor 18 Jahren von @emanuel
alle anzeigen
dblp
emanuel
igor1
igor2
inductive_programming
kitzelmann
program_synthesis
dblpemanueligor1igor2inductive_programmingkitzelmannprogram_synthesis
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Kestrel Institute
kids, specware, planware
vor 17 Jahren von @emanuel
alle anzeigen
applications
ase
deductive_program_synthesis
institute
program_synthesis
smith
software_engineering
applicationsasedeductive_program_synthesisinstituteprogram_synthesissmithsoftware_engineering
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1The F L I P System
http://www.dsic.upv.es/~flip/flip/
vor 17 Jahren von @emanuel
alle anzeigen
analytical_ip
experiment
flip
iflp
induction
inductive_programming
ip-system
machine_learning
program_synthesis
analytical_ipexperimentflipiflpinductioninductive_programmingip-systemmachine_learningprogram_synthesis
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
2MagicHaskeller: A Search-based Inductive Functional Programming System
http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html
vor 17 Jahren von @emanuel
alle anzeigen
MagicHaskeller
enumerative_ip
higher-order_functions
ifp
induction
inductive_programming
ip-system
program_synthesis
MagicHaskellerenumerative_iphigher-order_functionsifpinductioninductive_programmingip-systemprogram_synthesis
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags

⟨⟨
⟨
1
⟩
⟩⟩

Publikationen (verstecken)128
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

2Inductive Program Synthesis: From Theory to Application
U. Schmid, E. Kitzelmann, und F. Wysotzki. Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen (FGML 2002), Seite 135--141. (2002)
vor 16 Jahren von @emanuel
alle anzeigen
ifp
induction
inductive_programming
inproceedings
machine_learning
program_synthesis
recursive_program_schemes
ifpinductioninductive_programminginproceedingsmachine_learningprogram_synthesisrecursive_program_schemes
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
E. Kitzelmann, und U. Schmid. Electronic Notes in Theoretical Computer Science, 174 (1): 49--63 (2007)
vor 16 Jahren von @emanuel
alle anzeigen
analytical_ip
article
constructor_systems
igor2
induction
inductive_programming
program_synthesis
rule-based_programming
analytical_iparticleconstructor_systemsigor2inductioninductive_programmingprogram_synthesisrule-based_programming
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Learning Recursive Control Programs from Problem Solving
P. Langley, und D. Choi. Journal of Machine Learning Research, (2006)Special Topic on Inductive Programming.
vor 15 Jahren von @emanuel
alle anzeigen
inductive_programming
learning-and-planning
planning
program_synthesis
read
inductive_programminglearning-and-planningplanningprogram_synthesisread
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Synthesis of LISP Functions from Examples
S. Hardy. International Joint Conference on Artificial Intelligence (IJCAI'75), Seite 240--245. (1975)
vor 15 Jahren von @emanuel
alle anzeigen
ifp
induction
inductive_programming
lisp
pre-summers
program_synthesis
ifpinductioninductive_programminglisppre-summersprogram_synthesis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Inferring LISP Programs from Examples
D. Shaw, W. Swartout, und C. Green. International Joint Conference on Artificial Intelligence (IJCAI'75), Seite 260--267. (1975)
vor 15 Jahren von @emanuel
alle anzeigen
ifp
induction
inductive_programming
lisp
pre-summers
program_synthesis
ifpinductioninductive_programminglisppre-summersprogram_synthesis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Automatic Program Synthesis from Example Problems
L. Siklossy, und D. Sykes. International Joint Conference on Artificial Intelligence (IJCAI'75), Seite 268--273. (1975)
vor 15 Jahren von @emanuel
alle anzeigen
ifp
induction
inductive_programming
lisp
pre-summers
program_synthesis
ifpinductioninductive_programminglisppre-summersprogram_synthesis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1The Appropriateness of Predicate Invention as Bias Shift Operation in ILP
I. Stahl. Machine Learning, 20 (1): 95--117 (1995)
vor 15 Jahren von @emanuel
alle anzeigen
bias_shift
decidability
ilp
induction
inductive_programming
predicate_invention
program_synthesis
bias_shiftdecidabilityilpinductioninductive_programmingpredicate_inventionprogram_synthesis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1A Production Rule Mechanism for Generating LISP Code
A. Biermann, und D. Smith. IEEE Transactions on Systems, Man, and Cybernetics, 9 (5): 260--276 (1979)
vor 15 Jahren von @emanuel
alle anzeigen
analytical_ip
ifp
induction
inductive_programming
program_synthesis
analytical_ipifpinductioninductive_programmingprogram_synthesis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2The Hierarchical Synthesis of LISP Scanning Programs
A. Biermann, und D. Smith. Information Processing 77, Seite 41--45. Amsterdam, North-Holland Publishing, (1977)
vor 15 Jahren von @emanuel
alle anzeigen
analytical_ip
ifp
induction
inductive_programming
program_synthesis
analytical_ipifpinductioninductive_programmingprogram_synthesis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Constructing Programs from Example Computations
A. Biermann, und R. Krishnaswamy. IEEE Transactions on Software Engineering, 2 (3): 141--153 (1976)
vor 15 Jahren von @emanuel
alle anzeigen
ase
induction
inductive_programming
pre-summers
program_synthesis
synthesis_from_traces
aseinductioninductive_programmingpre-summersprogram_synthesissynthesis_from_traces
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Software Development by Refinement
D. Pavlovic, und D. Smith. Formal Methods at the Crossroads: From Panacea to Foundational Support, Volume 2757 von LNCS, Seite 267--286. (2003)
vor 15 Jahren von @emanuel
alle anzeigen
ase
deductive_program_synthesis
inproceedings
kestrel
overview
program_synthesis
software_engineering
asedeductive_program_synthesisinproceedingskestreloverviewprogram_synthesissoftware_engineering
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Speeding up the Synthesis of Programs from Traces
A. Biermann, R. Baum, und F. Petry. IEEE Transactions on Computers, 24 (2): 122--136 (1975)
vor 15 Jahren von @emanuel
alle anzeigen
analytical_ip
enumerative_ip
induction
inductive_programming
program_synthesis
synthesis_from_traces
analytical_ipenumerative_ipinductioninductive_programmingprogram_synthesissynthesis_from_traces
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
3Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
E. Kitzelmann, und U. Schmid. Journal of Machine Learning Research, (2006)Revised version of~KiSc05.
vor 15 Jahren von @emanuel
alle anzeigen
analytical_ip
article
ebg
ifp
igor1
induction
inductive_programming
program_synthesis
recursive_program_schemes
analytical_iparticleebgifpigor1inductioninductive_programmingprogram_synthesisrecursive_program_schemes
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Induction of Functional Programs based on Relations between I/O Examples
E. Kitzelmann, und U. Schmid. (2006)Poster abstract at the German Conference on Artificial Intelligence.
vor 15 Jahren von @emanuel
alle anzeigen
analytical_ip
constructor_systems
extended_abstract
ifp
igor2
induction
inductive_programming
program_synthesis
analytical_ipconstructor_systemsextended_abstractifpigor2inductioninductive_programmingprogram_synthesis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Inductive Functional Program Synthesis -- A Term-Construction and Folding Approach
E. Kitzelmann. Technische Universität Berlin, Diplomarbeit, (2003)Unpublished.
vor 15 Jahren von @emanuel
alle anzeigen
analytical_ip
ifp
igor1
induction
inductive_programming
mastersthesis
program_synthesis
recursive_program_schemes
analytical_ipifpigor1inductioninductive_programmingmastersthesisprogram_synthesisrecursive_program_schemes
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Avoiding Pitfalls When Learning Recursive Theories
R. Cameron-Jones, und J. Quinlan. Proceedings of the 13th International Joint Conference on Artificial Intelligence, Seite 1050--1057. Morgan Kaufmann, (1993)
vor 15 Jahren von @emanuel
alle anzeigen
enumerative_ip
foil
ilp
induction
inductive_programming
inproceedings
machine_learning
program_synthesis
enumerative_ipfoililpinductioninductive_programminginproceedingsmachine_learningprogram_synthesis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
4FOIL: A Midterm Report
J. Quinlan, und R. Cameron-Jones. Proceedings of the 6th European Conference on Machine Learning, Seite 3--20. London, UK, Springer-Verlag, (1993)
vor 15 Jahren von @emanuel
alle anzeigen
applications
enumerative_ip
experiment
foil
ilp
induction
inductive_programming
inproceedings
machine_learning
program_synthesis
applicationsenumerative_ipexperimentfoililpinductioninductive_programminginproceedingsmachine_learningprogram_synthesis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Logic Program Synthesis from Incomplete Information
P. Flener. Kluwer Academic Publishers, (1995)
vor 15 Jahren von @emanuel
alle anzeigen
ilp
inductive_programming
program_synthesis
ilpinductive_programmingprogram_synthesis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1On Correct Program Schemas
P. Flener, K. Lau, und M. Ornaghi. Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings, Volume 1463 von LNCS, Seite 128--147. Springer-Verlag, (1998)
vor 15 Jahren von @emanuel
alle anzeigen
program_synthesis
schemas
program_synthesisschemas
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2A Deductive Approach to Program Synthesis
Z. Manna, und R. Waldinger. ACM Transactions on Programming Languages and Systems, 2 (1): 90--121 (1980)
vor 15 Jahren von @emanuel
alle anzeigen
article
ase
deductive_program_synthesis
program_synthesis
articleasedeductive_program_synthesisprogram_synthesis
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen

⟨⟨
⟨
1
2
3
⟩
⟩⟩

BibSonomy

Lesezeichen (verstecken)11
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

1Pierre Flener

1Otto-Friedrich-Universität Bamberg: Kitzelmann

1The ADATE System

2Ross Quinlan's personal homepage

1Stephen Muggleton

1inductive-programming.org • The IP Community

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

2DBLP: Emanuel Kitzelmann

1Kestrel Institute

1The F L I P System

2MagicHaskeller: A Search-based Inductive Functional Programming System

Publikationen (verstecken)128
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

2Inductive Program Synthesis: From Theory to Application

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

2Learning Recursive Control Programs from Problem Solving

2Synthesis of LISP Functions from Examples

1Inferring LISP Programs from Examples

1Automatic Program Synthesis from Example Problems

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

1A Production Rule Mechanism for Generating LISP Code

2The Hierarchical Synthesis of LISP Scanning Programs

1Constructing Programs from Example Computations

1Software Development by Refinement

1Speeding up the Synthesis of Programs from Traces

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

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

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

2Avoiding Pitfalls When Learning Recursive Theories

4FOIL: A Midterm Report

1Logic Program Synthesis from Incomplete Information

1On Correct Program Schemas

2A Deductive Approach to Program Synthesis

Stöbern

Verwandte Tags

Konzepte

Tags

Lesezeichen (verstecken)11 Anzeigeallesnur LesezeichenLesezeichen pro Seite5102050100 sortieren nachhinzugefügt amTitel RSSBibTeXXML

Publikationen (verstecken)128 Anzeigeallesnur PublikationenPublikationen pro Seite5102050100 sortieren nachhinzugefügt amTitelAutorErscheinungsdatumEintragstypHilfe für erweiterte Sortierung... RSSBibTeXRDFmehr...

Stöbern

Verwandte Tags

Tags

Lesezeichen (verstecken)11
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

Publikationen (verstecken)128
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...