A Maximal Bounded Forcing Axiom.

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

Keyphrases

inference rules
database
multiscale
object recognition
modal logic
asymptotically optimal
neural network
machine learning
computer vision
preprocessing
mobile robot
mining maximal