*-Continuity vs. Induction: Divide and Conquer.

Stepan L. Kuznetsov

Published in: Advances in Modal Logic (2018)

Keyphrases

inductive learning
rule induction
constructive induction
proof planning
real time
neural network
image processing
inductive logic programming
explanation based learning
program synthesis
data mining
multimedia
multiresolution
inductive inference
concept formation
functional programs