<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF
 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns="http://purl.org/rss/1.0/"
 xmlns:cc="http://web.resource.org/cc/"
 xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/"
 xmlns:dc="http://purl.org/dc/elements/1.1/"
 xmlns:syn="http://purl.org/rss/1.0/modules/syndication/"
 xmlns:content="http://purl.org/rss/1.0/modules/content/"
 xmlns:admin="http://webns.net/mvcb/"
>

<channel rdf:about="http://www.bibsonomy.org/bibtex/1952e3b17d93c05181e64bfc6a0a3960a">
  <title>BibSonomy publications for /bibtex/1952e3b17d93c05181e64bfc6a0a3960a</title>
  <link>http://www.bibsonomy.org/bibtex/1952e3b17d93c05181e64bfc6a0a3960a</link>
  <description>BibSonomy RSS Feed for /bibtex/1952e3b17d93c05181e64bfc6a0a3960a</description>

  <items>
    <rdf:Seq>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/241c72a03ba80767af6f77376acdbeb02/emanuel"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2599ae673b395db61f0b11e9ce5a32cf7/ip"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/241c72a03ba80767af6f77376acdbeb02/mh"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/25188b8389a66ef6766bf976728d54a07/dblp"/>
      </rdf:Seq>
  </items>
</channel>

<item rdf:about="http://www.bibsonomy.org/bibtex/241c72a03ba80767af6f77376acdbeb02/emanuel">
    <title>Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach</title>
    <description>Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach</description>
    <link>http://www.bibsonomy.org/bibtex/241c72a03ba80767af6f77376acdbeb02/emanuel</link>
    <dc:creator>emanuel</dc:creator>
    <dc:date>2008-06-14T17:41:39+02:00</dc:date>
    <dc:subject>
      analytical_ip article ebg ifp igor1 induction inductive_programming program_synthesis recursive_program_schemes </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/241c72a03ba80767af6f77376acdbeb02/emanuel">Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a>         	     	 
        	  and Ute <a href="http://www.bibsonomy.org/author/Schmid">Schmid</a>         	     	 
        	 </span> 
  <em>Journal of Machine Learning Research</em>
      <b>7</b>
      429--454
  (2006)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/emanuel/analytical_ip">analytical_ip</a>
        <a href="http://www.bibsonomy.org/user/emanuel/article">article</a>
        <a href="http://www.bibsonomy.org/user/emanuel/ebg">ebg</a>
        <a href="http://www.bibsonomy.org/user/emanuel/ifp">ifp</a>
        <a href="http://www.bibsonomy.org/user/emanuel/igor1">igor1</a>
        <a href="http://www.bibsonomy.org/user/emanuel/induction">induction</a>
        <a href="http://www.bibsonomy.org/user/emanuel/inductive_programming">inductive_programming</a>
        <a href="http://www.bibsonomy.org/user/emanuel/program_synthesis">program_synthesis</a>
        <a href="http://www.bibsonomy.org/user/emanuel/recursive_program_schemes">recursive_program_schemes</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/emanuel">emanuel</a> 
        
        
        on 2008-06-14 17:41:39 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/analytical_ip" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/article" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/ebg" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/ifp" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/igor1" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/induction" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_programming" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/program_synthesis" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/recursive_program_schemes" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/2599ae673b395db61f0b11e9ce5a32cf7/ip">
    <title>Inductive Synthesis of Functional Programs -- An Explanation Based Generalization Approach</title>
    <description></description>
    <link>http://www.bibsonomy.org/bibtex/2599ae673b395db61f0b11e9ce5a32cf7/ip</link>
    <dc:creator>ip</dc:creator>
    <dc:date>2007-11-21T11:41:08+01:00</dc:date>
    <dc:subject>
      imported </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/2599ae673b395db61f0b11e9ce5a32cf7/ip">Inductive Synthesis of Functional Programs -- An Explanation Based Generalization Approach</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a>         	     	 
        	  and Ute <a href="http://www.bibsonomy.org/author/Schmid">Schmid</a>         	     	 
        	 </span> 
  <em>Journal of Machine Learning Research</em>
      <b>7</b>
      429-454
  (2006)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/ip/imported">imported</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/ip">ip</a> 
        
        
        on 2007-11-21 11:41:08 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/imported" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/241c72a03ba80767af6f77376acdbeb02/mh">
    <title>Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach</title>
    <description>Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach</description>
    <link>http://www.bibsonomy.org/bibtex/241c72a03ba80767af6f77376acdbeb02/mh</link>
    <dc:creator>mh</dc:creator>
    <dc:date>2007-10-17T15:28:39+02:00</dc:date>
    <dc:subject>
      2006 article automatic_programming explanation-based_generalization functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_learning inductive_program_synthesis inductive_programming myown programming published recursive_program_schemes </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/241c72a03ba80767af6f77376acdbeb02/mh">Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a>         	     	 
        	  and Ute <a href="http://www.bibsonomy.org/author/Schmid">Schmid</a>         	     	 
        	 </span> 
  <em>Journal of Machine Learning Research</em>
      <b>7</b>
      429--454
  (2006)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/mh/2006">2006</a>
        <a href="http://www.bibsonomy.org/user/mh/article">article</a>
        <a href="http://www.bibsonomy.org/user/mh/automatic_programming">automatic_programming</a>
        <a href="http://www.bibsonomy.org/user/mh/explanation-based_generalization">explanation-based_generalization</a>
        <a href="http://www.bibsonomy.org/user/mh/functional_programming">functional_programming</a>
        <a href="http://www.bibsonomy.org/user/mh/igor1">igor1</a>
        <a href="http://www.bibsonomy.org/user/mh/induction">induction</a>
        <a href="http://www.bibsonomy.org/user/mh/inductive">inductive</a>
        <a href="http://www.bibsonomy.org/user/mh/inductive_functional_programming">inductive_functional_programming</a>
        <a href="http://www.bibsonomy.org/user/mh/inductive_inference">inductive_inference</a>
        <a href="http://www.bibsonomy.org/user/mh/inductive_learning">inductive_learning</a>
        <a href="http://www.bibsonomy.org/user/mh/inductive_program_synthesis">inductive_program_synthesis</a>
        <a href="http://www.bibsonomy.org/user/mh/inductive_programming">inductive_programming</a>
        <a href="http://www.bibsonomy.org/user/mh/myown">myown</a>
        <a href="http://www.bibsonomy.org/user/mh/programming">programming</a>
        <a href="http://www.bibsonomy.org/user/mh/published">published</a>
        <a href="http://www.bibsonomy.org/user/mh/recursive_program_schemes">recursive_program_schemes</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/mh">mh</a> 
        
        
        on 2007-10-17 15:28:39 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/2006" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/article" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/automatic_programming" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/explanation-based_generalization" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/functional_programming" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/igor1" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/induction" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_functional_programming" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_inference" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_learning" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_program_synthesis" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_programming" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/myown" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/programming" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/published" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/recursive_program_schemes" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/25188b8389a66ef6766bf976728d54a07/dblp">
    <title>Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/25188b8389a66ef6766bf976728d54a07/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2007-02-21T00:00:00+01:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/25188b8389a66ef6766bf976728d54a07/dblp">Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a>         	     	 
        	  and Ute <a href="http://www.bibsonomy.org/author/Schmid">Schmid</a>         	     	 
        	 </span> 
  <em>Journal of Machine Learning Research</em>
      <b>7</b>
      429-454
  (2006)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2007-02-21 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
</rdf:RDF>