Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection.

Ulrich Furbach Teresa Krämer Claudia Schon

Published in: CADE (2019)

Keyphrases

keywords
dimensionality reduction
n gram
co occurrence
neural network
vector space
inference rules
computer vision
information retrieval systems
low dimensional
high dimensional data
manifold learning
word sense disambiguation
person names