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

(11)

<< < 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)
Kestrel Institute
kids, specware, planware
to applications ase deductive_program_synthesis institute program_synthesis smith software_engineering by emanuel on Apr 16, 2008, 4:02 PM
(0)
DBLP: Emanuel Kitzelmann
emanuel's list of publications from dblp
to dblp emanuel igor1 igor2 inductive_programming kitzelmann program_synthesis by emanuel and 1 other user on Dec 19, 2007, 3:12 PM
(0)
Otto-Friedrich-Universität Bamberg: Professur für Angewandte Informatik / Kognitive Systeme
homepage of the cognitive systems group at university of bamberg
to cognition cognitive_systems cogsys inductive_programming program_synthesis by emanuel on Dec 19, 2007, 3:04 PM
(0)
inductive-programming.org • The IP Community
inductive programming community site
to community inductive_programming program_synthesis by emanuel on Dec 19, 2007, 2:59 PM
(0)
Stephen Muggleton
stephen muggleton's homepage
to golem ilp inductive_programming machine_learning muggleton progol program_synthesis by emanuel and 1 other user on Dec 19, 2007, 2:57 PM
(0)
Ross Quinlan's personal homepage
to foil ilp inductive_programming machine_learning program_synthesis quinlan by emanuel and 2 other users on Dec 19, 2007, 2:57 PM
(0)
The ADATE System
homepage of roland olsson's ADATE inductive programming system
to adate ifp inductive_programming olsson program_synthesis by emanuel on Dec 19, 2007, 2:56 PM
(0)
Otto-Friedrich-Universität Bamberg: Kitzelmann
emanuel's university homepage
to bamberg emanuel ifp igor1 igor2 inductive_programming kitzelmann program_synthesis by emanuel on Dec 19, 2007, 2:54 PM
(0)
Pierre Flener
to dialogs flener ilp inductive_programming program_synthesis by emanuel on Dec 19, 2007, 2:48 PM
(0)

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

RSS BibTeX RDF more

publications

(128)

<< < 1 | 2 | 3 > >>

A Deductive Approach to Program Synthesis
Zohar Manna, and Richard Waldinger ACM Transactions on Programming Languages and Systems 2(1):90--121 (1980)
to article ase deductive_program_synthesis program_synthesis by emanuel and 1 other user on May 9, 2010, 3:17 PM
URL | BibTeX (0)
On Correct Program Schemas
Pierre Flener, Kung-Kiu Lau, and Mario Ornaghi Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings, volume 1463 of LNCS, page 128--147. Springer-Verlag, (1998)
to program_synthesis schemas by emanuel on Apr 23, 2010, 11:32 AM
BibTeX (0)
Logic Program Synthesis from Incomplete Information
Pierre Flener Kluwer Academic Publishers, (1995)
to ilp inductive_programming program_synthesis by emanuel on Apr 23, 2010, 11:20 AM
BibTeX (0)
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 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)
Software Development by Refinement
Dusko Pavlovic, and Douglas R. Smith Formal Methods at the Crossroads: From Panacea to Foundational Support, volume 2757 of LNCS, page 267--286. (2003)
to ase deductive_program_synthesis inproceedings kestrel overview program_synthesis software_engineering by emanuel on Apr 21, 2010, 10:06 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)
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)
Learning Recursive Control Programs from Problem Solving
Pat Langley, and Dongkyu Choi Journal of Machine Learning Research (2006)Special Topic on Inductive Programming .
to inductive_programming learning-and-planning planning program_synthesis read by emanuel and 1 other user on Feb 23, 2010, 1:10 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)

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

a gripper