<posts user="" update="2012-02-16 23:59:38"><post time="2008-04-21T19:51:40+0200" tag=" MagicHaskeller enumerative_ip higher-order_functions ifp induction inductive_programming ip-system program_synthesis" user="emanuel" hash="90324b7e35125605d2e5f4fd0b3cdd76" description="MagicHaskeller: A Search-based Inductive Functional Programming System" href="http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html"/><post time="2008-04-21T19:32:03+0200" tag=" analytical_ip experiment flip iflp induction inductive_programming ip-system machine_learning program_synthesis" user="emanuel" hash="330146e504c273f6ad3e2621aa957314" description="The F L I P System" href="http://www.dsic.upv.es/~flip/flip/"/><post time="2008-04-16T16:02:03+0200" tag=" applications ase deductive_program_synthesis institute program_synthesis smith software_engineering" user="emanuel" hash="e54c8c0d6f94d121f8782117ee963119" description="Kestrel Institute" href="http://www.kestrel.edu/"/><post time="2007-12-19T15:12:58+0100" tag=" dblp emanuel igor1 igor2 inductive_programming kitzelmann program_synthesis" user="emanuel" hash="3608bf5d61133139ff1994cb92e0484a" description="DBLP: Emanuel Kitzelmann" href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kitzelmann:Emanuel.html"/><post time="2007-12-19T15:04:34+0100" tag=" cognition cognitive_systems cogsys inductive_programming program_synthesis" user="emanuel" hash="548a3f5d255ef1df8ed8ee8997cb9f53" description="Otto-Friedrich-Universität Bamberg: Professur für Angewandte Informatik / Kognitive Systeme" href="http://www.cogsys.wiai.uni-bamberg.de"/><post time="2007-12-19T14:59:44+0100" tag=" community inductive_programming program_synthesis" user="emanuel" hash="6c28cb4fe64659a09e1c5eebaac5e042" description="inductive-programming.org • The IP Community" href="http://inductive-programming.org/"/><post time="2007-12-19T14:57:52+0100" tag=" golem ilp inductive_programming machine_learning muggleton progol program_synthesis" user="emanuel" hash="9bd83a71abcd15a3714b3c09240936ff" description="Stephen Muggleton" href="http://www.doc.ic.ac.uk/~shm/"/><post time="2007-12-19T14:57:01+0100" tag=" foil ilp inductive_programming machine_learning program_synthesis quinlan" user="emanuel" hash="493ab3f2e1392c7f5c7acaa1505727c6" description="Ross Quinlan&#039;s personal homepage" href="http://www.rulequest.com/Personal/"/><post time="2007-12-19T14:56:10+0100" tag=" adate ifp inductive_programming olsson program_synthesis" user="emanuel" hash="3b7543e2eded73264ba2489195ad4d51" description="The ADATE System" href="http://www-ia.hiof.no/~rolando/"/><post time="2007-12-19T14:54:19+0100" tag=" bamberg emanuel ifp igor1 igor2 inductive_programming kitzelmann program_synthesis" user="emanuel" hash="a1a32021255d4d12000f02e24b5a4bce" description="Otto-Friedrich-Universität Bamberg: Kitzelmann" href="http://www.uni-bamberg.de/kogsys/members/kitzelmann/"/><post time="2007-12-19T14:48:54+0100" tag=" dialogs flener ilp inductive_programming program_synthesis" user="emanuel" hash="57790497f0f5e33882102d761aa710c3" description="Pierre Flener" href="http://user.it.uu.se/~pierref/"/></posts>
