| 2025 | AAAI | Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection. | Wen-Chao Hu, Wang-Zhou Dai, Yuan Jiang, Zhi-Hua Zhou |
| 2025 | IJCAI | Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection (Extended Abstract). | Wen-Chao Hu, Wang-Zhou Dai, Yuan Jiang, Zhi-Hua Zhou |
| 2025 | IJCAI | From End-to-end to Step-by-step: Learning to Abstract via Abductive Reinforcement Learning. | Zilong Wang, Jiongda Wang, Xiaoyong Chen, Meng Wang, Ming Ma, Zhipeng Wang, Zhenyu Zhou, Tianming Yang, Wang-Zhou Dai |
| 2025 | IJCAI | Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models. | Xiao-Wen Yang, Jie-Jing Shao, Lan-Zhe Guo, Bo-Wen Zhang, Zhi Zhou, Lin-Han Jia, Wang-Zhou Dai, Yufeng Li |
| 2025 | KDD | Generating by Understanding: Neural Visual Generation with Logical Symbol Groundings. | Yifei Peng, Zijie Zha, Yu Jin, Zhexu Luo, Wang-Zhou Dai, Zhong Ren, Yao-Xiang Ding, Kun Zhou |
| 2024 | AAAI | Knowledge-Enhanced Historical Document Segmentation and Recognition. | En-Hao Gao, Yu-Xuan Huang, Wen-Chao Hu, Xin-Hao Zhu, Wang-Zhou Dai |
| 2024 | AAAI | Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees. | Lue Tao, Yu-Xuan Huang, Wang-Zhou Dai, Yuan Jiang |
| 2024 | AAAI | Safe Abductive Learning in the Presence of Inaccurate Rules. | Xiaowen Yang, Jie-Jing Shao, Wei-Wei Tu, Yufeng Li, Wang-Zhou Dai, Zhi-Hua Zhou |
| 2023 | AAAI | Enabling Knowledge Refinement upon New Concepts in Abductive Learning. | Yu-Xuan Huang, Wang-Zhou Dai, Yuan Jiang, Zhi-Hua Zhou |
| 2023 | IJCAI | Enabling Abductive Learning to Exploit Knowledge Graph. | Yu-Xuan Huang, Zequn Sun, Guangyao Li, Xiaobin Tian, Wang-Zhou Dai, Wei Hu, Yuan Jiang, Zhi-Hua Zhou |
| 2021 | IJCAI | Abductive Learning with Ground Knowledge Base. | Le-Wen Cai, Wang-Zhou Dai, Yu-Xuan Huang, Yufeng Li, Stephen H. Muggleton, Yuan Jiang |
| 2021 | IJCAI | Abductive Knowledge Induction from Raw Data. | Wang-Zhou Dai, Stephen H. Muggleton |
| 2020 | ICDM | Semi-Supervised Abductive Learning and Its Application to Theft Judicial Sentencing. | Yu-Xuan Huang, Wang-Zhou Dai, Jian Yang, Le-Wen Cai, Shaofen Cheng, Ruizhang Huang, Yufeng Li, Zhi-Hua Zhou |
| 2017 | AAAI | Combining Logical Abduction and Statistical Induction: Discovering Written Primitives with Human Knowledge. | Wang-Zhou Dai, Zhi-Hua Zhou |
| 2017 | ILP | Logical Vision: One-Shot Meta-Interpretive Learning from Real Images. | Wang-Zhou Dai, Stephen H. Muggleton, Jing Wen, Alireza Tamaddoni-Nezhad, Zhi-Hua Zhou |
| 2015 | ACML | Statistical Unfolded Logic Learning. | Wang-Zhou Dai, Zhi-Hua Zhou |
| 2015 | ILP | Logical Vision: Meta-Interpretive Learning for Simple Geometrical Concepts. | Wang-Zhou Dai, Stephen H. Muggleton, Zhi-Hua Zhou |
| 2011 | ICDM | Lifted-Rollout for Approximate Policy Iteration of Markov Decision Process. | Wang-Zhou Dai, Yang Yu, Zhi-Hua Zhou |