Jihao Shi, Xiao Ding, Siu Cheung Hui, Yuxiong Yan, Hengwei Zhao, Ting Liu 0001, Bing Qin 0001. Final: Combining First-Order Logic With Natural Logic for Question Answering. IEEE Trans. Knowl. Data Eng., 37(6):3103-3117, June 2025. [doi]
Abstract is missing.