Soundness of Rewriting Induction Based on an Abstract Principle.

Published in: Inf. Media Technol. (2008)

Keyphrases

high level
program synthesis
machine learning
higher level
inductive learning
rule induction
concept formation
database systems
bayesian networks
support vector
logic programming
rewrite rules
rewriting systems
presburger arithmetic