Counterexamples in infinitary rewriting with non-fully-extended rules.

Published in: Inf. Process. Lett. (2011)

Keyphrases

rewrite rules
rewriting rules
termination analysis
association rules
evolutionary algorithm
classification rules
human experts
rule sets
rule extraction
neural network
bayesian networks
expert systems
special case
data integration
query answering
fuzzy relations