Login / Signup
Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting.
Keiichirou Kusakari
Masahiko Sakai
Toshiki Sakabe
Published in:
IEICE Trans. Inf. Syst. (2005)
Keyphrases
</>
higher order
inductive learning
significant improvement
machine learning
preprocessing
machine learning methods
inductive inference
inductive reasoning
inductive logic programming
concept learning
database
data mining
high level
computational cost
machine learning algorithms