![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Emanuel Kitzelmann
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [j6]Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid
, Benjamin G. Zorn:
Inductive programming meets the real world. Commun. ACM 58(11): 90-99 (2015) - 2014
- [c17]Jacqueline Hofmann, Emanuel Kitzelmann, Ute Schmid
:
Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2. KI 2014: 25-36 - 2013
- [i1]Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid:
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502). Dagstuhl Reports 3(12): 43-66 (2013) - 2011
- [j5]Ute Schmid
, Emanuel Kitzelmann:
Inductive rule learning on the knowledge level. Cogn. Syst. Res. 12(3-4): 237-248 (2011) - [j4]Emanuel Kitzelmann:
A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs. Künstliche Intell. 25(2): 179-182 (2011) - [c16]Emanuel Kitzelmann:
Two New Operators for IGOR2 to Increase Synthesis Efficiency. AAIP 2011: 33-48 - [c15]Marius Raab, Mark Wernsdorfer, Emanuel Kitzelmann, Ute Schmid
:
From Sensorimotor Graphs to Rules: An Agent Learns from a Stream of Experience. AGI 2011: 333-339 - [e4]Emanuel Kitzelmann, Ute Schmid:
Proceedings of AAIP 2011 - 4th International Workshop on Approaches and Applications of Inductive Programming, Odense, Denmark, July 19, 2011. 2011 [contents] - 2010
- [b1]Emanuel Kitzelmann:
A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional Programs. University of Bamberg, 2010, pp. I-XXI, 1-187 - [c14]Martin Hofmann, Emanuel Kitzelmann:
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. PEPM 2010: 93-100 - [p1]Emanuel Kitzelmann:
Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler Programme. Ausgezeichnete Informatikdissertationen 2010: 141-150 - [e3]Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer:
Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers. Lecture Notes in Computer Science 5812, Springer 2010, ISBN 978-3-642-11930-9 [contents]
2000 – 2009
- 2009
- [j3]Ute Schmid, Martin Hofmann, Emanuel Kitzelmann:
Inductive Programming. Künstliche Intell. 23(2): 38-41 (2009) - [c13]Emanuel Kitzelmann:
Inductive Programming: A Survey of Program Synthesis Techniques. AAIP 2009: 50-73 - [c12]Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
:
Porting IgorII from Maude to Haskell. AAIP 2009: 140-158 - [c11]Neil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid:
Evolutionary Programming Guided by Analytically Generated Seeds. IJCCI 2009: 198-203 - 2008
- [c10]Emanuel Kitzelmann:
Data-driven Induction of Functional Programs. ECAI 2008: 781-782 - [c9]Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
:
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. KI 2008: 78-86 - [c8]Emanuel Kitzelmann:
Analytical Inductive Functional Programming. LOPSTR 2008: 87-102 - 2007
- [c7]Emanuel Kitzelmann:
Data-Driven Induction of Recursive Functions from Input/Output-Examples. AAIP 2007: 15-26 - [c6]Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid
:
Inductive Synthesis of Recursive Functional Programs. KI 2007: 468-472 - [e2]Emanuel Kitzelmann, Ute Schmid:
Proceedings of the Workshop on Approaches and Applications of Inductive Programming, AAIP'07, September 17, 2007, Warsaw, Poland. 2007 [contents] - 2006
- [j2]Emanuel Kitzelmann, Ute Schmid:
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. J. Mach. Learn. Res. 7: 429-454 (2006) - [c5]Emanuel Kitzelmann, Ute Schmid
:
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities. RULE@FLoC 2006: 49-63 - 2005
- [c4]Emanuel Kitzelmann, Ute Schmid:
An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs. AAIP 2005: 15-26 - [e1]Emanuel Kitzelmann, Roland Olsson, Ute Schmid:
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. 2005 [contents] - 2003
- [j1]Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann:
Cost Optimality And Predictability Of Parallel Programming With Skeletons. Parallel Process. Lett. 13(4): 575-587 (2003) - [c3]Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann:
Cost Optimality and Predictability of Parallel Programming with Skeletons. Euro-Par 2003: 682-693 - [c2]Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann:
Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons. PaCT 2003: 415-428 - 2002
- [c1]Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki:
Inductive Synthesis of Functional Programs. AISC 2002: 26-37
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint