BibSonomy
::
user
::
emanuel
::
tag
user
group
author
concept
BibTeX key
search:all
search:emanuel
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
login
·
register
bookmarks
(1)
<<
< 1 >
>>
Stephen Muggleton
stephen muggleton's homepage
to
inductive_programming
golem
progol
muggleton
machine_learning
program_synthesis
ilp
by
emanuel
and
1 other person
on Dec 19, 2007, 2:57 PM
<<
< 1 >
>>
bookmarks per page:
5
10
20
50
100
publications
(1)
<<
< 1 >
>>
Efficient Induction of Logic Programs
S. H.
Muggleton
and C.
Feng
Proceedings of the First Conference on Algorithmic Learning Theory,
page368--381.
Tokyo, Japan,
Ohmsha,
(
1990
)
to
induction
analytical_ip
golem
program_synthesis
machine_learning
inproceedings
ilp
inductive_programming
applications
by
emanuel
and
5 other people
on May 16, 2008, 5:55 PM
URL
|
BibTeX
<<
< 1 >
>>
publications per page:
5
10
20
50
100
golem
as tag from all users
golem
as concept from emanuel
golem
as concept from all users
related tags
+
ilp
+
program_synthesis
+
machine_learning
+
inductive_programming
+
muggleton
+
progol
+
analytical_ip
+
applications
+
induction
+
inproceedings
relations
tags
MagicHaskeller
adate
analytical_ip
applications
article
ase
atre
automated_testing
bamberg
bibliography
blogs
book
cognition
cognitive_systems
cogsys
combilog
combinduce
community
comparison
constructor_systems
dblp
decidability
deductive_program_synthesis
dialogs
ebg
emanuel
enumerative_ip
experiment
extended_abstract
filp
flener
flip
foil
formal_methods
functional_programming
generic_programming
golem
haskell
higher-order_functions
horn-clauses
identification_in_the_limit
iflp
ifp
igor1
igor2
ilp
induction
inductive_programming
inproceedings
institute
ip-system
kestrel
kitzelmann
latex
lisp
logic
machine_learning
mastersthesis
maude
muggleton
olsson
overview
pac-learning
parallel_programming
position_paper
proceedings
progol
program_optimisation
program_synthesis
program_transformation
programming
proof-planning
quinlan
recursion_schemes
recursive_program_schemes
rewriting
rule-based_programming
scheme
semantics
seminal_paper
skeletons
smith
software_engineering
specware
subversion
survey
svn
syntax
synthesis_from_traces
techreport
term_paper
term_rewriting
thesys
tridiagonal_system_solver