Existential rigidity and many modalities in order-sorted logic.

Published in: Knowl. Based Syst. (2011)

Keyphrases

order sorted logic
query answering
point correspondences
cross modal
data sets
neural network
artificial intelligence
search engine
keywords
medical images
feature points
data exchange