Completeness of relevant quantification theories.

J. Michael Dunn Hugues Leblanc Robert K. Meyer

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

Keyphrases

closely related
machine learning
relational databases
data sets
higher level
theoretical framework
real world
high level
probabilistic model
web search
computational model