Learning from interpretation transition using differentiable logic programming semantics

Kun Gao, Hanpin Wang, Yongzhi Cao, Katsumi Inoue. Learning from interpretation transition using differentiable logic programming semantics. Machine Learning, 111(1):123-145, 2022. [doi]

Abstract

Abstract is missing.