Towards a Termination Ordering for Loop Programs.

Published in: ADT (1988)

Keyphrases

machine learning
search algorithm
partial order
active rules
loop formulas
neural network
real world
feature selection
image processing
learning environment
relational databases
logic programs
deductive databases
fixpoint
term rewriting
rewrite systems