Emanuel Kitzelmann

According to our database, Emanuel Kitzelmann authored at least 25 papers between 2002 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Inductive programming meets the real world.

Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Benjamin G. Zorn

Commun. ACM, 2015

2014

Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2.

Jacqueline Hofmann, Emanuel Kitzelmann, Ute Schmid

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

2013

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502).

Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid

Dagstuhl Reports, 2013

2011

A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs.

Emanuel Kitzelmann

Künstliche Intell., 2011

Inductive rule learning on the knowledge level.

Ute Schmid, Emanuel Kitzelmann

Cogn. Syst. Res., 2011

From Sensorimotor Graphs to Rules: An Agent Learns from a Stream of Experience.

Marius Raab, Mark Wernsdorfer, Emanuel Kitzelmann, Ute Schmid

Proceedings of the Artificial General Intelligence - 4th International Conference, 2011

Two New Operators for IGOR2 to Increase Synthesis Efficiency.

Emanuel Kitzelmann

Proceedings of AAIP 2011, 2011

2010

I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP.

Martin Hofmann, Emanuel Kitzelmann

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler Programme.

Emanuel Kitzelmann

Proceedings of the Ausgezeichnete Informatikdissertationen 2010, 2010

A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional Programs.

Emanuel Kitzelmann

PhD thesis, 2010

2009

Inductive Programming.

Ute Schmid, Martin Hofmann, Emanuel Kitzelmann

Künstliche Intell., 2009

Evolutionary Programming Guided by Analytically Generated Seeds.

Neil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid

Proceedings of the IJCCI 2009, 2009

Inductive Programming: A Survey of Program Synthesis Techniques.

Emanuel Kitzelmann

Proceedings of the Approaches and Applications of Inductive Programming, 2009

Porting IgorII from Maude to Haskell.

Martin Hofmann, Emanuel Kitzelmann, Ute Schmid

Proceedings of the Approaches and Applications of Inductive Programming, 2009

2008

Analytical Inductive Functional Programming.

Emanuel Kitzelmann

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework.

Martin Hofmann, Emanuel Kitzelmann, Ute Schmid

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Data-driven Induction of Functional Programs.

Emanuel Kitzelmann

Proceedings of the ECAI 2008, 2008

2007

Inductive Synthesis of Recursive Functional Programs.

Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

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

Emanuel Kitzelmann

Proceedings of the Workshop on Approaches and Applications of Inductive Programming, 2007

2006

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

Emanuel Kitzelmann, Ute Schmid

J. Mach. Learn. Res., 2006

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

Emanuel Kitzelmann, Ute Schmid

Proceedings of the 7th International Workshop on Rule Based Programming, 2006

2005

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

Emanuel Kitzelmann, Ute Schmid

Proceedings of the Workshop on Approaches and Applications of Inductive Programming, 2005

2003

Cost Optimality And Predictability Of Parallel Programming With Skeletons.

Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann

Parallel Process. Lett., 2003

Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons.

Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann

Proceedings of the Parallel Computing Technologies, 2003

2002

Inductive Synthesis of Functional Programs.

Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki

Proceedings of the Artificial Intelligence, 2002