Learning Term Rewriting Systems from Entailment .

Hiroki Arimura Hiroshi Sakamoto Setsuo Arikawa

Published in: ILP Work-in-progress reports (2000)

Keyphrases

learning process
term rewriting systems
learning algorithm
reinforcement learning
prior knowledge
inductive inference
learning systems
databases
machine learning
active learning
general purpose
description logics
collaborative learning
np complete
learning tasks
object oriented programming