Combining Norms to Prove Termination.

Samir Genaim Michael Codish John P. Gallagher Vitaly Lagoon

Published in: VMCAI (2002)

Keyphrases

decision making
expert systems
term rewriting
database
real time
data mining
multi agent systems
artificial neural networks
np complete
combining multiple