Outermost ground termination.

Olivier Fissore Isabelle Gnaedig Hélène Kirchner

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

Keyphrases

rewrite systems
definite clause
real time
search algorithm
management system
machine learning
multi agent systems
active rules
term rewriting