RT DF A1 Hu, Ziniu.Computer Science 0201. T1 Make Knowledge Computable: Towards Differentiable Neural-Symbolic AI- [electronic resource]