E. Kitzelmann

发表

Inductive programming meets the real world

Sumit Gulwani, Stephen Muggleton, José Hernández-Orallo, 2015, Commun. ACM.

Porting IgorII from Maude to Haskell

Ute Schmid, Martin Hofmann, Emanuel Kitzelmann, 2009, AAIP.

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

Emanuel Kitzelmann, E. Kitzelmann, 2011, KI - Künstliche Intelligenz.

An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs

Ute Schmid, E. Kitzelmann, De, 2005, AAIP.

Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach

Ute Schmid, Emanuel Kitzelmann, Ute Schmid, 2006, J. Mach. Learn. Res..

Inductive Rule Learning on the Knowledge

Ute Schmid, E. Kitzelmann, 2010 .

Workshop on Approaches and Applications of Inductive Programming, AAIP 2005, to be held in conjunction with the 22nd International Conference on Machine Learning (ICML 2005), Bonn, Germany, August 7, 2005

Ute Schmid, E. Kitzelmann, Roland Olsson, 2005, AAIP.

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

Emanuel Kitzelmann, E. Kitzelmann, 2007 .

Two New Operators for IGOR2 to Increase Synthesis Efficiency

E. Kitzelmann, 2011, AAIP.

Inductive Programming – Example-driven construction of functional programs

M. Hofmann, Ute Schmid, E. Kitzelmann, 2009 .

Data-Driven Learning of Functions over Algebraic Datatypes from Input / Output-Examples

E. Kitzelmann, 2007 .

Inductive Programming: A Survey of Program Synthesis Techniques

Emanuel Kitzelmann, E. Kitzelmann, 2009, AAIP.

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

Ute Schmid, Emanuel Kitzelmann, Jacqueline Hofmann, 2014, KI.

AAIP 2009 Proceedings of the ACM SIGPLAN Workshop on Approaches and Applications of Inductive Programming

Ute Schmid, Emanuel Kitzelmann, Bamberger Beitr, 2009 .

Analytical Inductive Functional Programming

Emanuel Kitzelmann, E. Kitzelmann, 2009, LOPSTR.

Data-driven Induction of Functional Programs

Emanuel Kitzelmann, E. Kitzelmann, 2008, ECAI.

Inductive rule learning on the knowledge level

Ute Schmid, Emanuel Kitzelmann, Ute Schmid, 2011, Cognitive Systems Research.

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

Sergei Gorlatch, Holger Bischof, Emanuel Kitzelmann, 2003, PaCT.

A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems

Ute Schmid, Martin Hofmann, Emanuel Kitzelmann, 2009 .

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

Ute Schmid, Emanuel Kitzelmann, Mark Wernsdorfer, 2011, AGI.

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

Martin Hofmann, Emanuel Kitzelmann, M. Hofmann, 2010, PEPM '10.

Analytical Inductive Programming as a Cognitive Rule Acquisition Devise

Ute Schmid, Martin Hofmann, Emanuel Kitzelmann, 2009 .

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

Ute Schmid, Martin Hofmann, Emanuel Kitzelmann, 2008, KI.

Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities

Ute Schmid, Emanuel Kitzelmann, Ute Schmid, 2007, RULE@FLoC.