Hongming Cai — accepted AI-conference papers

2025

Goal-Driven Reasoning in DatalogMTL with Magic Sets

Shaoyu Wang, Kaiyue Zhao, Dongliang Wei, Przemysław Andrzej Wałęga, Dingmin Wang, Hongming Cai +1

AAAI 2025technical

DatalogMTL is a powerful rule-based language for temporal reasoning. Due to its high expressive power and flexible modeling capabilities, it is suitable for a wide range of applications, including tasks from industrial and financial sectors. However, due its high computational complexity, practical…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗

2025

KaeDe: Progressive Generation of Logical Forms via Knowledge-Aware Question Decomposition for Improved KBQA

Ranran Bu, Jian Cao, Jianqi Gao, Shiyou Qian, Hongming Cai

EMNLP 2025

Knowledge base question answering (KBQA) refers to the task of answering natural language questions using large-scale structured knowledge bases (KBs). Existing semantic parsing-based (SP-based) methods achieve superior performance by directly converting questions into structured logical form (LF) q

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗