Some results on quantifiers.

Dag Westerståhl

Published in: Notre Dame J. Formal Log. (1984)

Keyphrases

first order logic
natural language
data mining
inference rules
training data
probabilistic model
supervised learning