Inverse subsumption for complete explanatory induction.

Yoshitaka Yamamoto Katsumi Inoue Koji Iwanuma

Published in: Mach. Learn. (2012)

Keyphrases

np complete
description logics
explanation based learning
transitive closure
database
real time
program synthesis
neural network
genetic algorithm
learning algorithm
case study
inductive learning
rule induction