Termination of Rewriting with Right-Flat Rules.

Guillem Godoy Eduard Huntingford Ashish Tiwari

Published in: RTA (2007)

Keyphrases

termination analysis
rewrite rules
active rules
rewriting rules
active databases
association rules
rule extraction
data sets
classification rules
production rules
term rewrite systems
rule discovery
rule learning
rule sets
domain experts
case based reasoning
decision trees
machine learning