Forcing under Anti-Foundation Axiom: An expression of the stalks.

Published in: Math. Log. Q. (2006)

Keyphrases

inference rules
database
wide range
mobile robot
data mining
machine learning
artificial intelligence
image processing
multiscale
cooperative
data streams
feature vectors
evolutionary algorithm
modal logic