<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/Dialogs+inproceedings"><title>BibSonomy publications for /user/mh/Dialogs+inproceedings</title><link>http://www.bibsonomy.org/publrss/user/mh/Dialogs+inproceedings</link><description>BibSonomy RSS Feed for /user/mh/Dialogs+inproceedings</description><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2fe319f9988b6f492014c9e74e1c8aa59/mh"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/25a8529650ddf777e7295e8273d5ee30d/mh"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/24d4d35326995eeb6cc0c4a578d8cacec/mh"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/2fe319f9988b6f492014c9e74e1c8aa59/mh"><title>Inductive logic program synthesis with Dialogs</title><description>Inductive Logic Program Synthesis with DIALOGS - Flener (ResearchIndex)</description><link>http://www.bibsonomy.org/bibtex/2fe319f9988b6f492014c9e74e1c8aa59/mh</link><dc:creator>mh</dc:creator><dc:date>2007-10-31T11:58:46+01:00</dc:date><dc:subject>Dialogs 1996 inproceedings inductive_logic_programming inductive_programming Flener </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;P. &lt;a href=&#034;http://www.bibsonomy.org/author/Flener&#034;&gt;Flener&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Proceedings of the 6th International Workshop on Inductive Logic Programming, &lt;/em&gt;&lt;em&gt;Seite28-51. &lt;/em&gt;&lt;em&gt;Stockholm University, Royal Institute of Technology, &lt;/em&gt;(&lt;em&gt;1996&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Dialogs"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/1996"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inproceedings"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_logic_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Flener"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/25a8529650ddf777e7295e8273d5ee30d/mh"><title>Logic Program Transformation through Generalization Schemata</title><description>Logic Program Transformation through Generalization Schemata - Flener, Deville (ResearchIndex)</description><link>http://www.bibsonomy.org/bibtex/25a8529650ddf777e7295e8273d5ee30d/mh</link><dc:creator>mh</dc:creator><dc:date>2007-10-31T11:57:14+01:00</dc:date><dc:subject>logic_programming Deville 1995 Flener Dialogs inproceedings inductive_programming </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Pierre &lt;a href=&#034;http://www.bibsonomy.org/author/Flener&#034;&gt;Flener&lt;/a&gt;  und Yves &lt;a href=&#034;http://www.bibsonomy.org/author/Deville&#034;&gt;Deville&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Logic Program Synthesis and Transformation, &lt;/em&gt;&lt;em&gt;Seite171-173. &lt;/em&gt;(&lt;em&gt;1995&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logic_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Deville"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/1995"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Flener"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Dialogs"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inproceedings"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_programming"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/24d4d35326995eeb6cc0c4a578d8cacec/mh"><title>Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems</title><description>SpringerLink - Buchkapitel</description><link>http://www.bibsonomy.org/bibtex/24d4d35326995eeb6cc0c4a578d8cacec/mh</link><dc:creator>mh</dc:creator><dc:date>2007-10-17T15:28:39+02:00</dc:date><dc:subject>programming 2007 inductive inductive_learning inproceedings ilp dialogs inductive_inference induction adate inductive_functional_programming inductive_logic_programming inductive_program_synthesis atre published automatic_programming inductive_programming functional_programming </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Martin &lt;a href=&#034;http://www.bibsonomy.org/author/Hofmann&#034;&gt;Hofmann&lt;/a&gt;  und Andreas &lt;a href=&#034;http://www.bibsonomy.org/author/Hirschberger&#034;&gt;Hirschberger&lt;/a&gt;  und Emanuel &lt;a href=&#034;http://www.bibsonomy.org/author/Kitzelmannn&#034;&gt;Kitzelmannn&lt;/a&gt;  und Ute &lt;a href=&#034;http://www.bibsonomy.org/author/Schmid&#034;&gt;Schmid&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;KI 2007: Advances in Artificial Intelligence, &lt;/em&gt;&lt;em&gt;Volume4667vonLNCS, &lt;/em&gt;&lt;em&gt;Seite468--472. &lt;/em&gt;&lt;em&gt;Springer-Verlag, &lt;/em&gt;(&lt;em&gt;2007&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/2007"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_learning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inproceedings"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ilp"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dialogs"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_inference"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/induction"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/adate"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_functional_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_logic_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_program_synthesis"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/atre"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/published"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/automatic_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inductive_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/functional_programming"/></rdf:Bag></taxo:topics></item></rdf:RDF>