Proving Termination Assertions in Dynamic Logics.

Published in: LICS (2004)

Keyphrases

dynamically changing
databases
neural network
data mining
learning algorithm
inference rules
expressive power
artificial neural networks
image processing
term rewrite systems
modal logic
dynamic environments
multiresolution
database
information systems
computer vision
machine learning
data sets