Improving Rewriting Induction Approach for Proving Ground Confluence.

Takahito Aoto Yoshihito Toyama Yuta Kimura

Published in: FSCD (2017)

Keyphrases

inductive learning
machine learning
data model
subgroup discovery
rewrite rules
genetic algorithm
learning algorithm
information systems
case study
explanation based learning
constructive induction
regular path queries
definite clause