| 2026 | ICDE | Semantic Compression for Sound and Complete Query Answering Over Knowledge Graphs. | Junhua Ma, Jianfeng Du, Hai Wan, Yue Yu, Kunxun Qi, Weilin Luo, Yanan Liu |
| 2026 | ICDE | Reconstructing TensorLog for Scalable End-to-End Rule Learning. | Kunxun Qi, Jianfeng Du, Hai Wan, Wei Wang |
| 2026 | KSEM | Chain-Aware Vectorized Datalog Reasoning over Large Knowledge Graphs. | Jianfeng Du, Xiangtong Lin, Wenhui Ma |
| 2025 | SecureComm | SG-SCA: An Interpretable Side-Channel Analysis Model Based on Shapelet and Graph Attention Network. | Yaxing Guo, Shilong You, Tingting Peng, Jianfeng Du, Zhu Wang, Aimin Yu |
| 2024 | AAAI | End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. | Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng |
| 2024 | ACL | End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction. | Kunxun Qi, Jianfeng Du, Hai Wan |
| 2024 | CIKM | Bi-directional Learning of Logical Rules with Type Constraints for Knowledge Graph Completion. | Kunxun Qi, Jianfeng Du, Hai Wan |
| 2024 | ISSTA | Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. | Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang |
| 2023 | AAAI | A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. | Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang |
| 2022 | AAAI | Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. | Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang |
| 2022 | ACL | Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. | Kunxun Qi, Hai Wan, Jianfeng Du, Haolan Chen |
| 2022 | IJCAI | Teaching LTLf Satisfiability Checking to Neural Networks. | Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang |
| 2021 | AAAI | FL-MSRE: A Few-Shot Learning based Approach to Multimodal Social Relation Extraction. | Hai Wan, Manrong Zhang, Jianfeng Du, Ziling Huang, Yufei Yang, Jeff Z. Pan |
| 2021 | ACL | A DQN-based Approach to Finding Precise Evidences for Fact Verification. | Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye |
| 2021 | ACL | Enhancing Metaphor Detection by Gloss-based Interpretations. | Hai Wan, Jinxia Lin, Jianfeng Du, Dawei Shen, Manrong Zhang |
| 2020 | AAAI | Translation-Based Matching Adversarial Network for Cross-Lingual Natural Language Inference. | Kunxun Qi, Jianfeng Du |
| 2020 | AAAI | Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis. | Hai Wan, Yufei Yang, Jianfeng Du, Yanan Liu, Kunxun Qi, Jeff Z. Pan |
| 2019 | AAAI | Validation of Growing Knowledge Graphs by Abductive Text Evidences. | Jianfeng Du, Jeff Z. Pan, Sylvia Wang, Kunxun Qi, Yuming Shen, Yu Deng |
| 2017 | AAAI | Practical TBox Abduction Based on Justification Patterns. | Jianfeng Du, Hai Wan, Huaguan Ma |
| 2016 | APWEB | A System for Searching Renting Houses Based on Relaxed Query Answering. | Jianfeng Du, Kunxun Qi, Can Lin |
| 2015 | AAAI | Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. | Jianfeng Du, Kewen Wang, Yi-Dong Shen |
| 2015 | APWEB | ONCAPS: An Ontology-Based Car Purchase Guiding System. | Jianfeng Du, Jun Zhao, Jiayi Cheng, Qingchao Su, Jiacheng Liang |
| 2015 | CIKM | Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies. | Zhe Wang, Mahsa Chitsaz, Kewen Wang, Jianfeng Du |
| 2015 | KSEM | Tractable Computation of Representative ABox Repairs in Description Logic Ontologies. | Jianfeng Du, Guilin Qi |
| 2014 | AAAI | A Tractable Approach to ABox Abduction over Description Logic Ontologies. | Jianfeng Du, Kewen Wang, Yi-Dong Shen |
| 2014 | CIKM | A Practical Fine-grained Approach to Resolving Incoherent OWL 2 DL Terminologies. | Jianfeng Du, Guilin Qi, Xuefeng Fu |
| 2011 | AAAI | Towards Practical ABox Abduction in Large OWL DL Ontologies. | Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan |
| 2011 | CIKM | Finding all justifications of OWL entailments using TMS and MapReduce. | Gang Wu, Guilin Qi, Jianfeng Du |
| 2011 | ICTAI | A Decomposition-Based Approach to OWL DL Ontology Diagnosis. | Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen |
| 2010 | KSEM | Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies. | Jianfeng Du, Guilin Qi |
| 2010 | UAI | Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation. | Guilin Qi, Jianfeng Du, Weiru Liu, David A. Bell |
| 2009 | IJCAI | Model-based Revision Operators for Terminologies in Description Logics. | Guilin Qi, Jianfeng Du |
| 2008 | WWW | Computing minimum cost diagnoses to repair populated DL-based ontologies. | Jianfeng Du, Yi-Dong Shen |