The Diversity of Quantifier Prefixes.

H. Jerome Keisler Wilbur Walkoe Jr.

Published in: J. Symb. Log. (1973)

Keyphrases

machine learning
learning algorithm
cooperative
quantifier elimination
databases
neural network
artificial intelligence
special case
variable length
finite automata
search result diversification