Examining fragments of the quantified propositional calculus.

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

Keyphrases

propositional calculus
machine learning
hidden markov models
data sets
information retrieval
image processing
multiscale
probability distribution