Treffer: Learning from interpretation transition using differentiable logic programming semantics

Title:
Learning from interpretation transition using differentiable logic programming semantics
Authors:
Gao, Kun, Wang, HanpinAff1, Aff2, IDs10994021060588_cor2, Cao, Yongzhi, Inoue, Katsumi
Source:
Machine Learning. 111(1):123-145
Database:
Springer Nature Journals