Proving Termination by Invariance Relations.

Paolo Pilozzi Danny De Schreye

Published in: ICLP (2009)

Keyphrases

term rewrite systems
data sets
semantic relations
multiscale
computer vision
information systems
term rewriting
xml documents
wordnet
rewrite systems
invariance properties
causal relations
active rules
temporal relations
expert systems
search algorithm
genetic algorithm