Termination of rewriting strategies: a generic approach

Isabelle Gnaedig Hélène Kirchner

Published in: CoRR (2005)

Keyphrases

termination analysis
domain specific
data sets
real time
machine learning
online auctions
generic model
decision making
similarity measure
bayesian networks
multiscale
expert systems
search strategies
query rewriting
active rules
selection strategies
term rewriting