The grounded Martin's axiom.

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

Keyphrases

modal logic
inference rules
artificial intelligence
multiresolution
d objects
databases
knowledge base
high level
similarity measure
multiscale
pattern recognition
object recognition
viewpoint
user interface
low cost