Integrating deep learning with first order logic for solving kinematic problems

Jiarong Zhang, Jinsha Yuan, Hongyu Guo, Xinyu Zan. Integrating deep learning with first order logic for solving kinematic problems. Appl. Intell., 52(10):11808-11826, 2022. [doi]

Abstract

Abstract is missing.