Generic Large Cardinals as Axioms.

Published in: Rev. Symb. Log. (2020)

Keyphrases

knowledge base
domain specific
cooperative
computer vision
first order logic
data mining
multimedia
high level
generic model