| Inductive programming meets the real world S Gulwani, J Hernández-Orallo, E Kitzelmann, SH Muggleton, U Schmid, ... Communications of the ACM 58 (11), 90-99, 2015 | 222 | 2015 |
| Inductive programming: A survey of program synthesis techniques E Kitzelmann International workshop on approaches and applications of inductive …, 2009 | 154 | 2009 |
| Inductive synthesis of functional programs: An explanation based generalization approach. E Kitzelmann, U Schmid, R Olsson, LP Kaelbling Journal of Machine Learning Research 7 (2), 2006 | 131 | 2006 |
| Inductive rule learning on the knowledge level U Schmid, E Kitzelmann Cognitive Systems Research 12 (3-4), 237-248, 2011 | 73 | 2011 |
| Analytical inductive functional programming E Kitzelmann International symposium on logic-based program synthesis and transformation …, 2008 | 45 | 2008 |
| A unifying framework for analysis and evaluation of inductive programming systems M Hofmann, E Kitzelmann, U Schmid 2nd Conference on Artificial General Intelligence (2009), 74-79, 2009 | 36 | 2009 |
| A combined analytical and search-based approach for the inductive synthesis of functional programs E Kitzelmann KI-Künstliche Intelligenz 25, 179-182, 2011 | 32 | 2011 |
| Data-Driven Induction of Recursive Functions from Input/Output-Examples. E Kitzelmann AAIP 7, 15-26, 2007 | 32 | 2007 |
| Analysis and evaluation of inductive programming systems in a higher-order framework M Hofmann, E Kitzelmann, U Schmid Annual Conference on Artificial Intelligence, 78-86, 2008 | 21 | 2008 |
| I/O guided detection of list catamorphisms: towards problem specific use of program templates in ip M Hofmann, E Kitzelmann Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010 | 20 | 2010 |
| Applying inductive program synthesis to induction of number series a case study with IGOR2 J Hofmann, E Kitzelmann, U Schmid KI 2014: Advances in Artificial Intelligence: 37th Annual German Conference …, 2014 | 17 | 2014 |
| Cost optimality and predictability of parallel programming with skeletons H Bischof, S Gorlatch, E Kitzelmann Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference …, 2003 | 15 | 2003 |
| Inductive synthesis of functional programs E Kitzelmann, U Schmid, M Mühlpfordt, F Wysotzki International Conference on Artificial Intelligence and Symbolic Computation …, 2002 | 10 | 2002 |
| Analytical inductive programming as a cognitive rule acquisition devise U Schmid, M Hofmann, E Kitzelmann 2nd Conference on Artificial General Intelligence (2009), 164-169, 2009 | 8 | 2009 |
| Combining analytical and evolutionary inductive programming N Crossley, E Kitzelmann, M Hofmann, U Schmid 2nd Conference on Artificial General Intelligence (2009), 1-6, 2009 | 8 | 2009 |
| Artificial general intelligence E Baum, M Hutter, E Kitzelmann Proceedings of the Third Conference on Artificial General Intelligence, 2010 | 6 | 2010 |
| Igor2–an inductive functional programming prototype E Kitzelmann, M Hofmann Proceedings of the System Demonstrations of the 18th European Conference on …, 2008 | 6 | 2008 |
| Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers U Schmid, E Kitzelmann Springer, 2010 | 5* | 2010 |
| Porting IgorII from Maude to Haskell M Hofmann, E Kitzelmann, U Schmid Approaches and Applications of Inductive Programming: Third International …, 2010 | 5 | 2010 |
| Data-driven induction of functional programs E Kitzelmann ECAI 2008, 781-782, 2008 | 5 | 2008 |
