BibSonomy
::
user
::
mh
::
tag
user
group
author
concept
BibTeX key
search:all
search:mh
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
login
·
register
bookmarks
bookmarks per page:
5
10
20
50
100
publications
(1)
<<
< 1 >
>>
Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems
Martin
Hofmann
and Andreas
Hirschberger
and Emanuel
Kitzelmannn
and Ute
Schmid
KI 2007: Advances in Artificial Intelligence,
volume4667ofLNCS,
page468--472.
Springer-Verlag,
(
2007
)
to
inductive
inductive_programming
inductive_logic_programming
inductive_inference
adate
inductive_program_synthesis
functional_programming
programming
2007
automatic_programming
inductive_functional_programming
dialogs
published
inductive_learning
inproceedings
atre
induction
ilp
by
mh
on Oct 17, 2007, 3:28 PM
URL
|
BibTeX
<<
< 1 >
>>
publications per page:
5
10
20
50
100
dialogs published
as tag from all users
dialogs published
as concept from mh
dialogs published
as concept from all users
related tags
+
2007
+
inproceedings
+
inductive_programming
+
inductive_program_synthesis
+
inductive_logic_programming
+
inductive_learning
+
inductive_inference
+
inductive_functional_programming
+
inductive
+
induction
relations
tags
1971
1979
1980
1985
1990
1991
1993
1994
1995
1996
1998
1999
2001
2002
2003
2005
2006
2007
ADATE
Angluin
Cameron-Jones
Deville
Dialogs
Dialogs-II
Dzeroski
FFOIL
FOIL
Flener
Golem
Hernandez
ILP
IP
Induction
Lavrac
Muggleton
Nix
Olsson
PhD
Plotkin
Progol
Quinlan
Ramirez
Smith
Yilmaz
adate
applications
article
atre
automatic_programming
book
boosting
constructor_systems
dialogs
ebg
editing_by_example
empirical_learning
explanation-based_generalization
extended_abstract
filp
first_order_rules
functional_programming
gap_pattern
identification_in_the_limit
igor1
igor2
ilp
imported
induction
inductive
inductive_functional_logic_programming
inductive_functional_programming
inductive_inference
inductive_learning
inductive_logic_programming
inductive_program_synthesis
inductive_programming
inproceedings
introduction
inverse_entailment
inverse_narrowing
inverse_resolution
logic_programming
machine_learning
mastersthesis
myown
overview
parallel
parallel_programming
pattern_languages
proceedings
programming
published
recursive_program_schemes
relational_data
relative_least_general_generalisation
relative_least_general_generalization
rlgg
rule-based_programming
skeletons
software_engineering
survey
term_paper
tridiagonal_system_solver
tutorial