Realising Intensional S4 and GL Modalities.

Liang-Ting Chen Hsiang-Shang Ko

Published in: CSL (2022)

Keyphrases

higher order
knowledge base
feature extraction
query evaluation
image processing
feature space
query processing
probabilistic model
cross modal