Emanuel Kitzelmann

34 papers A 1B 1C 3Misc 4Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Mitigating Hallucination by Integrating Knowledge Graphs into LLM Inference - a Systematic Literature Review.
ACL (4)
Robin Wagner, Emanuel Kitzelmann, Ingo Boersch
2024 — book
Künstliche Intelligenz für Lehrkräfte: Eine fachliche Einführung mit didaktischen Hinweisen
Künstliche Intelligenz für Lehrkräfte
Ulrich Furbach, Emanuel Kitzelmann, Tilman Michaeli, Ute Schmid
2024 — ch.
Lernen aus Daten.
Künstliche Intelligenz für Lehrkräfte
Tilman Michaeli, Emanuel Kitzelmann, Stefan Seegerer, Ralf Romeike
2024 — ch.
Lernen mit Neuronalen Netzen.
Künstliche Intelligenz für Lehrkräfte
Emanuel Kitzelmann
2015 J jnl
Inductive programming meets the real world.
Commun. ACM
Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Benjamin G. Zorn
2014 Misc conf
Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2.
KI
Jacqueline Hofmann, Emanuel Kitzelmann, Ute Schmid
2013 J jnl
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502).
Dagstuhl Reports
Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid
2011 J jnl
A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs.
Künstliche Intell.
Emanuel Kitzelmann
2011 — conf
From Sensorimotor Graphs to Rules: An Agent Learns from a Stream of Experience.
AGI
Marius Raab, Mark Wernsdorfer, Emanuel Kitzelmann, Ute Schmid
2011 J jnl
Inductive rule learning on the knowledge level.
Cogn. Syst. Res.
Ute Schmid, Emanuel Kitzelmann
2011 — ed.
Proceedings of AAIP 2011 - 4th International Workshop on Approaches and Applications of Inductive Programming, Odense, Denmark, July 19, 2011
AAIP
Emanuel Kitzelmann, Ute Schmid
2011 — conf
Two New Operators for IGOR2 to Increase Synthesis Efficiency.
AAIP
Emanuel Kitzelmann
2010 — —
A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional Programs.
Emanuel Kitzelmann
2010 — ed.
Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
AAIP
Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer
2010 — ch.
Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler Programme.
Ausgezeichnete Informatikdissertationen
Emanuel Kitzelmann
2010 C conf
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP.
PEPM
Martin Hofmann, Emanuel Kitzelmann
2009 C conf
Evolutionary Programming Guided by Analytically Generated Seeds.
IJCCI
Neil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid
2009 J jnl
Inductive Programming.
Künstliche Intell.
Ute Schmid, Martin Hofmann, Emanuel Kitzelmann
2009 — conf
Inductive Programming: A Survey of Program Synthesis Techniques.
AAIP
Emanuel Kitzelmann
2009 — conf
Porting IgorII from Maude to Haskell.
AAIP
Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
2008 Misc conf
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework.
KI
Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
2008 C conf
Analytical Inductive Functional Programming.
LOPSTR
Emanuel Kitzelmann
2008 A conf
Data-driven Induction of Functional Programs.
ECAI
Emanuel Kitzelmann
2007 — conf
Data-Driven Induction of Recursive Functions from Input/Output-Examples.
AAIP
Emanuel Kitzelmann
2007 Misc conf
Inductive Synthesis of Recursive Functional Programs.
KI
Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid
2007 — ed.
Proceedings of the Workshop on Approaches and Applications of Inductive Programming, AAIP'07, September 17, 2007, Warsaw, Poland
AAIP
Emanuel Kitzelmann, Ute Schmid
2006 — conf
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities.
RULE@FLoC
Emanuel Kitzelmann, Ute Schmid
2006 J jnl
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach.
J. Mach. Learn. Res.
Emanuel Kitzelmann, Ute Schmid
2005 — conf
An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs.
AAIP
Emanuel Kitzelmann, Ute Schmid
2005 — ed.
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.
AAIP
Emanuel Kitzelmann, Roland Olsson, Ute Schmid
2003 J jnl
Cost Optimality And Predictability Of Parallel Programming With Skeletons.
Parallel Process. Lett.
Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann
2003 — conf
Cost Optimality and Predictability of Parallel Programming with Skeletons.
Euro-Par
Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann
2003 B conf
Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons.
PaCT
Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann
2002 Misc conf
Inductive Synthesis of Functional Programs.
AISC
Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki