http://www.bibsonomy.org/user/mh/DialogsBibSonomy RSS Feed for /user/mh/DialogsInductive Logic Program Synthesis with DIALOGS - Flener (ResearchIndex)http://www.bibsonomy.org/bibtex/2fe319f9988b6f492014c9e74e1c8aa59/mhmh2007-10-31T11:58:46+01:00inductive_logic_programming 1996 inductive_programming Dialogs Flener inproceedings <span style="color:#555555;">P. <a href="http://www.bibsonomy.org/author/Flener">Flener</a> </span>(<em>1996</em>) <a href="http://www.bibsonomy.org/bibtex/2fe319f9988b6f492014c9e74e1c8aa59/mh"><i>Inductive logic program synthesis with Dialogs.</i></a><em>Proceedings of the 6th International Workshop on Inductive Logic Programming, </em><em>Seite28-51. </em><em>Stockholm University, Royal Institute of Technology, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/mh/inductive_logic_programming">inductive_logic_programming</a> <a href="http://www.bibsonomy.org/user/mh/1996">1996</a> <a href="http://www.bibsonomy.org/user/mh/inductive_programming">inductive_programming</a> <a href="http://www.bibsonomy.org/user/mh/Dialogs">Dialogs</a> <a href="http://www.bibsonomy.org/user/mh/Flener">Flener</a> <a href="http://www.bibsonomy.org/user/mh/inproceedings">inproceedings</a>] <a href="citeseer.ist.psu.edu/flener96inductive.html">URL</a>Logic Program Transformation through Generalization Schemata - Flener, Deville (ResearchIndex)http://www.bibsonomy.org/bibtex/25a8529650ddf777e7295e8273d5ee30d/mhmh2007-10-31T11:57:14+01:00Deville 1995 inductive_programming Dialogs Flener logic_programming inproceedings <span style="color:#555555;">Pierre <a href="http://www.bibsonomy.org/author/Flener">Flener</a> und Yves <a href="http://www.bibsonomy.org/author/Deville">Deville</a> </span>(<em>1995</em>) <a href="http://www.bibsonomy.org/bibtex/25a8529650ddf777e7295e8273d5ee30d/mh"><i>Logic Program Transformation through Generalization Schemata.</i></a><em>Logic Program Synthesis and Transformation, </em><em>Seite171-173. </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/mh/Deville">Deville</a> <a href="http://www.bibsonomy.org/user/mh/1995">1995</a> <a href="http://www.bibsonomy.org/user/mh/inductive_programming">inductive_programming</a> <a href="http://www.bibsonomy.org/user/mh/Dialogs">Dialogs</a> <a href="http://www.bibsonomy.org/user/mh/Flener">Flener</a> <a href="http://www.bibsonomy.org/user/mh/logic_programming">logic_programming</a> <a href="http://www.bibsonomy.org/user/mh/inproceedings">inproceedings</a>] <a href="citeseer.ist.psu.edu/flener96logic.html">URL</a>SpringerLink - Buchkapitelhttp://www.bibsonomy.org/bibtex/24d4d35326995eeb6cc0c4a578d8cacec/mhmh2007-10-17T15:28:39+02:00ilp inductive_programming functional_programming 2007 induction inductive_functional_programming adate inductive inductive_logic_programming programming inductive_inference inductive_learning inductive_program_synthesis atre inproceedings published dialogs automatic_programming <span style="color:#555555;">Martin <a href="http://www.bibsonomy.org/author/Hofmann">Hofmann</a> und Andreas <a href="http://www.bibsonomy.org/author/Hirschberger">Hirschberger</a> und Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmannn">Kitzelmannn</a> und Ute <a href="http://www.bibsonomy.org/author/Schmid">Schmid</a> </span>(<em>2007</em>) <a href="http://www.bibsonomy.org/bibtex/24d4d35326995eeb6cc0c4a578d8cacec/mh"><i>Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems.</i></a><em>KI 2007: Advances in Artificial Intelligence, </em><em>Seite468--472. </em><em>Springer-Verlag, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/mh/ilp">ilp</a> <a href="http://www.bibsonomy.org/user/mh/inductive_programming">inductive_programming</a> <a href="http://www.bibsonomy.org/user/mh/functional_programming">functional_programming</a> <a href="http://www.bibsonomy.org/user/mh/2007">2007</a> <a href="http://www.bibsonomy.org/user/mh/induction">induction</a> <a href="http://www.bibsonomy.org/user/mh/inductive_functional_programming">inductive_functional_programming</a> <a href="http://www.bibsonomy.org/user/mh/adate">adate</a> <a href="http://www.bibsonomy.org/user/mh/inductive">inductive</a> <a href="http://www.bibsonomy.org/user/mh/inductive_logic_programming">inductive_logic_programming</a> <a href="http://www.bibsonomy.org/user/mh/programming">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/atre">atre</a> <a href="http://www.bibsonomy.org/user/mh/inproceedings">inproceedings</a> <a href="http://www.bibsonomy.org/user/mh/published">published</a> <a href="http://www.bibsonomy.org/user/mh/dialogs">dialogs</a> <a href="http://www.bibsonomy.org/user/mh/automatic_programming">automatic_programming</a>] <a href="http://dx.doi.org/10.1007/978-3-540-74565-5_42">URL</a>