Forcing axioms and the uniformization-property.

Stefan Hoffelner

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

case study
real time
knowledge base
first order logic
feature selection
multimedia
web services
high level
similarity measure
multiscale
reinforcement learning
data structure
desirable properties
axiomatic characterization