Ensuring termination by typability.

Yuxin Deng Davide Sangiorgi

Published in: Inf. Comput. (2006)

Keyphrases

active rules
training data
database
data sets
artificial intelligence
search engine
information systems
knowledge base
database systems
multi agent systems
rewrite systems