2025
An Evaluation of Approaches to Train Embeddings for Logical Inference (Student Abstract)
AAAI 2025technical
Knowledge bases traditionally require manual optimization to ensure reasonable performance when answering queries. We build on previous neurosymbolic approaches by improving the training of an embedding model for logical statements that maximizes similarity between unifying atoms and minimizes simil…