Efficient tests for top-down termination of logical rules.

Jeffrey D. Ullman Allen Van Gelder

Published in: J. ACM (1988)

Keyphrases

logical rules
wide range
machine learning
computationally efficient
computationally expensive
web services
database
decision trees
database systems
multi agent systems
multiresolution
hidden markov models
high efficiency