A narrowing-based instantiation rule for rewriting-based fold/unfold transformations.

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

rewrite rules
termination analysis
rewriting rules
rule learning
association rules
conjunctive queries
query rewriting
rule sets
rule mining
computational complexity
real time
production rules
rule induction
information systems
rule discovery
artificial intelligence
machine learning
real world
neural network