Neural (aka subsymbolic) AI methods, in particular, those based on deep learning, recently
achieved great successes in various application domains, eg,[10, 19]. However, they are …

Abstract Deep Deductive Reasoning refers to the training and then executing of deep
learning systems to perform deductive reasoning in the sense of formal, mathematical logic …

Reason-able embeddings are recently proposed embeddings for knowledge bases (KBs) in
the description logic 𝒜ℒ𝒞 capable of casting multiple KBs into a single latent space using a …