On the Equivalence of Certain Consequences of the Proper Forcing Axiom.

Peter Nyikos Leszek Piatkiewicz

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

Keyphrases

real time
inference rules
machine learning
decision trees
expert systems
negative consequences
databases
genetic algorithm
computer vision
decision making
bayesian networks
multiscale
lower bound
query processing
medical images