<rdf:RDF xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:cc="http://web.resource.org/cc/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="http://www.bibsonomy.org/user/mh/ebg+inductive_programming"><title>BibSonomy publications for /user/mh/ebg+inductive_programming</title><link>http://www.bibsonomy.org/publrss/user/mh/ebg+inductive_programming</link><description>BibSonomy RSS Feed for /user/mh/ebg+inductive_programming</description><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/233baefe4d9d0bc4d9ebb09d64428a99e/mh"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/233baefe4d9d0bc4d9ebb09d64428a99e/mh"><title>An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs</title><link>http://www.bibsonomy.org/bibtex/233baefe4d9d0bc4d9ebb09d64428a99e/mh</link><dc:creator>mh</dc:creator><dc:date>2007-10-17T15:28:39+02:00</dc:date><dc:subject>inductive_programming inductive inproceedings inductive_program_synthesis induction myown functional_programming 2005 recursive_program_schemes programming automatic_programming inductive_inference igor1 inductive_functional_programming machine_learning ebg inductive_learning </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Emanuel &lt;a href=&#034;http://www.bibsonomy.org/author/Kitzelmann&#034;&gt;Kitzelmann&lt;/a&gt;  and Ute &lt;a href=&#034;http://www.bibsonomy.org/author/Schmid&#034;&gt;Schmid&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming, &lt;/em&gt;&lt;em&gt;page15--27. &lt;/em&gt;(&lt;em&gt;2005&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inproceedings"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_program_synthesis"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/induction"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/myown"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/functional_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/2005"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/recursive_program_schemes"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/automatic_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_inference"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/igor1"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_functional_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/machine_learning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ebg"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_learning"/></rdf:Bag></taxo:topics></item></rdf:RDF>