A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality.

Published in: Int. J. Found. Comput. Sci. (1995)

Keyphrases

expected values
higher order
natural language
function symbols
social bookmarking
probability distribution
high order
conditional probabilities
worst case
asymptotically optimal
large deviations
onset detection
logical formulas
sentence level
text summarization
query answering
information extraction