A blue social bookmark and publication sharing system.
groupsbookmarks
- to program_synthesis inductive_programming machine_learning experiment analytical_ip induction iflp ip-system flip by emanuel on Apr 21, 2008, 7:32 PM
- flip experiment as tag from all users
- flip experiment as concept from emanuel
- flip experiment as concept from all users
- related tags
- relations
- tags
- ATRE
- CLAM
- CRUSTACEAN
- FOIL-I
- FORCE2
- ICN
- MRI
- MagicHaskeller
- PolyGP
- SKILit
- SMART
- SPECTRE
- adate
- adr
- algebraic_specification
- algorithmic_debugging
- analytical_ip
- applications
- article
- ase
- atre
- automated_testing
- bamberg
- bias
- bias_shift
- bibliography
- blogs
- book
- catamorphisms
- cognition
- cognitive_systems
- cogsys
- combilog
- combinduce
- community
- comparison
- computability
- constructor_systems
- dblp
- debugging
- decidability
- declarative_bias
- deductive_program_synthesis
- dialogs
- ebg
- emanuel
- enumerative_ip
- experiment
- extended_abstract
- filp
- flener
- flip
- foil
- formal_methods
- functional_programming
- gast
- gbgp
- generic_programming
- golem
- gp
- haskell
- higher-order_functions
- horn-clauses
- identification_in_the_limit
- iflp
- ifp
- igor1
- igor2
- ilp
- induction
- inductive_programming
- inproceedings
- institute
- ip-system
- kestrel
- kitzelmann
- lambda_calculus
- latex
- learnability
- least_generalization
- lisp
- logic
- loops
- machine_learning
- mastersthesis
- maude
- metalearning
- moses
- muggleton
- nlp
- olsson
- oops
- overview
- pac-learning
- parallel_programming
- position_paper
- pre-summers
- predicate_invention
- primitive_recursion
- proceedings
- progol
- program_evolution
- program_optimisation
- program_synthesis
- program_transformation
- programming
- programming_language
- proof-planning
- quinlan
- recursion
- recursion_schemes
- recursion_theory
- recursive_program_schemes
- rewriting
- rule-based_programming
- scheme
- semantics
- seminal_paper
- skeletons
- smith
- software_engineering
- specification
- specware
- subversion
- survey
- svn
- syntax
- synthesis_from_traces
- system_f
- techreport
- term_paper
- term_rewriting
- theorem_proving
- theory_revision
- thesys
- tim
- tridiagonal_system_solver
BibSonomy is offered by the Knowledge and Data Engineering Group of the University of Kassel, Germany. Contact: