Autor der Publikation

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

, und . (2006)Poster abstract at the German Conference on Artificial Intelligence.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Porting Igor2 from MAUDE to HASKELL − Introducing a System's Design, , und . ACM SIGPLAN Workshop on Approaches and Applications of Inductive Programming, Seite 65--74. University of Bamberg, (2009)A revised version will appear in ScKiPl10.A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems, , und . Second Conference on Artificial General Intelligence, Seite 55--60. Atlantis Press, (2009)Two New Operators for IGOR2 to Increase Synthesis Efficiency.. AAIP, Seite 33-48. (2011)Analytical Inductive Programming as a Cognitive Rule Acquisition Device, , und . Second Conference on Artificial General Intelligence, Seite 162--167. Atlantis Press, (2009)Analytical Inductive Functional Programming. 18th International Symposium on Logic-Based Program Synthesis and Transformation, Revised Selected Papers, Volume 5438 von LNCS, Seite 87--102. Springer-Verlag, (2009)Inductive Program Synthesis: From Theory to Application, , und . Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen (FGML 2002), Seite 135--141. (2002)Inductive Programming: A Survey of Program Synthesis Techniques. Approaches and Applications of Inductive Programming, 3rd Workshop AAIP, Revised Papers, Volume 5812 von LNCS, Seite 50--73. Springer-Verlag, (2010)Data-driven Learning of Functions over Algebraic Datatypes from Input/Output-Examples. KI-2007 Workshop on Learning from Non-Vectorial Data, Volume 6 von Publications of the Institute of Cognitive Science, Seite 36--45. Institute of Cognitive Science, Universität Osnabrück, (2007)Data-Driven Induction of Recursive Functions from Input/Output-Examples.. AAIP, Seite 15-26. (2007)Inductive Functional Program Synthesis -- A Term-Construction and Folding Approach. Technische Universität Berlin, Diplomarbeit, (2003)Unpublished.