This page is outdated. Please visit me at emanuel.kitzelmann.org.

Dipl. Inf. Emanuel Kitzelmann

Büro / Office

Photo: Emanuel Kitzelmann Photo
Feldkirchenstr. 21, Room 124
phone: ++49-951-863 2863
fax: ++49-951-863 2862
e-mail: emanuel.kitzelmann(at)wiai.uni-bamberg.de
Office
Thu, 2-3pm (please make an appointment by e-mail) Consultation-hour

Lehre / Teaching

SS 06
  • Übung zur Vorlesung KogSys I: Intelligente Agenten [WS 04/05] [WS 05/06]
  • Übung zur Vorlesung KogSys II: Lernende Systeme [WS 04/05] [SS 05] [WS 05/06]
  • Übung zur Vorlesung KogSys III: Mensch-Computer Interaktion [SS 05]
  • Hauptseminar Philosophische Grundlagen der Kognitionswissenschaft [SS 05]
vergangene Semester

Forschung / Research

My research is mostly about inductive synthesis of functional programs from I/O-examples. I will soon describe my research at this place. Until then have a look at the research pages of our group, particularly at the Inductive Program Synthesis page.

Publikationen / Publications

  • Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach (Emanuel Kitzelmann, Ute Schmid), Journal of Machine Learning Research, 7, 2006 (Special Topic on Inductive Programming) [PDF]
2006
  • An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs (Emanuel Kitzelmann, Ute Schmid) [Workshop on Approaches and Applications of Inductive Programming (AAIP 2005)] [PDF]
2005
  • Cost Optimality and Predictability of Parallel Programming with Skeletons (Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann) [Euro-Par 2003] [BibTex-Entry]
  • Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons (Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann) [Parallel Computing Technologies (PaCT 2003)] [BibTex-Entry]
2003
  • The Double-Scan Skeleton and its Parallelization (Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann) [Technical Report] [BibTex-Entry]
  • Schmid, U., Kitzelmann, E., and Wysotzki, F. (2002). Inductive Program Synthesis: From Theory to Application. In G. Kókai and J. Zeidler (Eds.), Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen, FGML 2002 (7.-9.10.2002, Hannover), pp. 135-141. [PDF, 7 pages]
  • Kitzelmann, E., Schmid, U., Mühlpfordt, M., and Wysotzki, F. (2002). Folding of finite program terms to recursive program schemes. IEEE International Symposium 'Intelligent Systems', Bulgaria, September 10-12, 2002 (Proceedings Volume 1, pp. 144-149), IEEE Press. [PS, 6 pages]
  • Kitzelmann, E., Schmid, U., Mühlpfordt, M., and Wysotzki, F. (2002). Inductive synthesis of functional programs. In J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, V. Sorge (Eds.), Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conference, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002, pp. 26-37, Springer, LNAI 2385. [PS, 12 pages]
2002