Emanuel Kitzelmann

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 1

Top Venues

Commun. ACM

Dagstuhl Reports

University of Bamberg (PHD)

Education History

University of Bamberg

PHD

Publications

Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Benjamin G. Zorn
Inductive programming meets the real world. Commun. ACM 58 (11) (2015)
Jacqueline Hofmann, Emanuel Kitzelmann, Ute Schmid
Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2. KI (2014)
Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502). Dagstuhl Reports 3 (12) (2013)
Ute Schmid, Emanuel Kitzelmann
Inductive rule learning on the knowledge level. Cogn. Syst. Res. 12 (3-4) (2011)
Emanuel Kitzelmann
Two New Operators for IGOR2 to Increase Synthesis Efficiency. AAIP (2011)
Marius Raab, Mark Wernsdorfer, Emanuel Kitzelmann, Ute Schmid
From Sensorimotor Graphs to Rules: An Agent Learns from a Stream of Experience. AGI (2011)
Emanuel Kitzelmann
A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs. Künstliche Intell. 25 (2) (2011)
Martin Hofmann, Emanuel Kitzelmann
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. PEPM (2010)
Emanuel Kitzelmann
Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler Programme. Ausgezeichnete Informatikdissertationen (2010)
Neil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid
Evolutionary Programming Guided by Analytically Generated Seeds. IJCCI (2009)
Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
Porting IgorII from Maude to Haskell. AAIP (2009)
Emanuel Kitzelmann
Inductive Programming: A Survey of Program Synthesis Techniques. AAIP (2009)
Ute Schmid, Martin Hofmann, Emanuel Kitzelmann
Inductive Programming. Künstliche Intell. 23 (2) (2009)
Emanuel Kitzelmann
Analytical Inductive Functional Programming. LOPSTR (2008)
Emanuel Kitzelmann
Data-driven Induction of Functional Programs. ECAI (2008)
Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. KI (2008)
Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid
Inductive Synthesis of Recursive Functional Programs. KI (2007)
Emanuel Kitzelmann
Data-Driven Induction of Recursive Functions from Input/Output-Examples. AAIP (2007)
Emanuel Kitzelmann, Ute Schmid
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities. Electron. Notes Theor. Comput. Sci. 174 (1) (2007)
Emanuel Kitzelmann, Ute Schmid
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. J. Mach. Learn. Res. 7 (2006)
Emanuel Kitzelmann, Ute Schmid
An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs. AAIP (2005)
Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann
Cost Optimality And Predictability Of Parallel Programming With Skeletons. Parallel Process. Lett. 13 (4) (2003)
Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann
Cost Optimality and Predictability of Parallel Programming with Skeletons. Euro-Par (2003)
Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann
Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons. PaCT (2003)
Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki
Inductive Synthesis of Functional Programs. AISC (2002)

Emanuel Kitzelmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Emanuel Kitzelmann