BibSonomy

The blue social bookmark and publication sharing system.

( en | de | ru )

 

user
  • tag
  • user
  • group
  • author
  • concept
  • BibTeX key
  • search
@mh
  • sign in
  • register
  • groups
  • genealogy
  • popular 
    • posts
    • tags
    • authors
    • concepts
    • discussions
  • sign in
  • register

Login

Log in with your username.

@

I've lost my password.


Log in with your OpenID-Provider.

  • Other OpenID-Provider
  1. user
  2. @mh
  3. programming recursive_program_schemes inductive_functional_programming functional_programming machine_learning inductive_programming

Publication title

bookmarks  (hide)
  • display
  • all
  • bookmarks only
  • bookmarks per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • RSS
  • BibTeX
  • XML

    No matching posts.
  • ⟨⟨
  • ⟨
  • ⟩
  • ⟩⟩

publications  (hide)1  
  • display
  • all
  • publications only
  • publications per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • author
  • publication date
  • entry type
  • help for advanced sorting...
  • RSS
  • BibTeX
  • RDF
  • more...

  •  

     
    3An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs
     

    E. Kitzelmann, and U. Schmid. Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming, page 15--27. (2005)
    18 years ago by @mh
    show all tags
    • 2005
    • automatic_programming
    • ebg
    • functional_programming
    • igor1
    • induction
    • inductive
    • inductive_functional_programming
    • inductive_inference
    • inductive_learning
    • inductive_program_synthesis
    • inductive_programming
    • inproceedings
    • machine_learning
    • myown
    • programming
    • recursive_program_schemes
     
      2005automatic_programmingebgfunctional_programmingigor1inductioninductiveinductive_functional_programminginductive_inferenceinductive_learninginductive_program_synthesisinductive_programminginproceedingsmachine_learningmyownprogrammingrecursive_program_schemes
      (0)
      copydeleteadd this publication to your clipboard
      • community post
      • history of this post
      • URL
      • DOI
      • BibTeX
      • EndNote
      • APA
      • Chicago
      • DIN 1505
      • Harvard
      • MSOffice XML
       
       
    • ⟨⟨
    • ⟨
    • 1
    • ⟩
    • ⟩⟩

    browse

    • programming recursive_program_schemes inductive_functional_programming functional_programming machine_learning inductive_programming as tag from all users
    • programming as concept from all users
    • machine_learning as concept from all users
    • programming recursive_program_schemes inductive_functional_programming functional_programming machine_learning inductive_programming as concept from all users

    related tags

      concepts

      tags

      • imported
      • inductive_programming
      • induction
      • inductive_inference
      • inductive_logic_programming
      • programming
      • inproceedings
      • inductive_program_synthesis
      • ILP
      • automatic_programming
      • functional_programming
      • article
      • inductive
      • myown
      • inductive_functional_programming
      • inductive_learning
      • published
      • ilp
      • machine_learning
      • recursive_program_schemes
      • igor1
      • survey
      • 1995
      • FOIL
      • rlgg
      • 2007
      • Muggleton
      • 1994
      • 1996
      • Ramirez
      • 1999
      • Flener
      • 2002
      • Hernandez
      • 2003
      • igor2
      • constructor_systems
      • inductive_functional_logic_programming
      • Progol
      • Quinlan
      • FFOIL
      • 2001
      • Golem
      • inverse_entailment
      • relative_least_general_generalisation
      • relative_least_general_generalization
      • 2006
      • skeletons
      • ADATE
      • Angluin
      What is BibSonomy?
      Getting Started
      Browser Buttons
      Help
      Developer
      Overview
      API Documentation
      Contact & Privacy
      Contact
      Privacy & Terms of Use
      Cookies
      Report Issues
      BibSonomy Wiki
      Integration
      PUMA
      TYPO3 Extension
      WordPress Plugin
      Java REST Client
      Supported Sites
      more
      About BibSonomy
      Team
      Blog
      Mailing List
      Social Media
       Follow us on Twitter

      BibSonomy is offered by the Data Science Chair of the University of Würzburg, the Information Processing and Analytics Group of the Humboldt-Unversität zu Berlin, the KDE Group of the University of Kassel, and the L3S Research Center.