Neural Theorem Provers Delineating Search Area Using RNN

Yu-hao Wu, Hou-biao Li

Although traditional symbolic reasoning methods are highly interpretable, their application in knowledge graphs link prediction has been limited due to their computational ineffici…