Implementation and Application of Fuzzy Case-Based Expert System. - Jianfeng Du; Junde Song (ICEIS (1), 2001)

Partitioning ABoxes Based on Converting DL to Plain Datalog. - Jianfeng Du; Yi-Dong Shen (Description Logics, 2007)

Lexicographical Inference over Inconsistent DL-Based Ontologies. - Jianfeng Du; Guilin Qi; Yi-Dong Shen (RR, 2008)

Computing minimum cost diagnoses to repair populated DL-based ontologies. - Jianfeng Du; Yi-Dong Shen (WWW, 2008)

Model-based Revision Operators for Terminologies in Description Logics. - Guilin Qi; Jianfeng Du (IJCAI, 2009)

Goal-Directed Module Extraction for Explaining OWL DL Entailments. - Jianfeng Du; Guilin Qi; Qiu Ji (ISWC, 2009)

A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL. - Jianfeng Du; Guilin Qi; Jeff Z. Pan; Yi-Dong Shen (ISWC, 2009)

PossDL - A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling. - Guilin Qi; Qiu Ji; Jeff Z. Pan; Jianfeng Du (ESWC (2), 2010)

Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies. - Jianfeng Du; Guilin Qi (KSEM, 2010)

Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation. - Guilin Qi; Jianfeng Du; Weiru Liu; David A. Bell (UAI, 2010)

Towards Practical ABox Abduction in Large OWL DL Ontologies. - Jianfeng Du; Guilin Qi; Yi-Dong Shen; Jeff Z. Pan (AAAI, 2011)

A New Matchmaking Approach Based on Abductive Conjunctive Query Answering. - Jianfeng Du; Shuai Wang; Guilin Qi; Jeff Z. Pan; Yong Hu 002 (JIST, 2011)

An Abductive CQA Based Matchmaking System for Finding Renting Houses. - Jianfeng Du; Shuai Wang; Guilin Qi; Jeff Z. Pan; Che Qiu (JIST, 2011)

Finding all justifications of OWL entailments using TMS and MapReduce. - Gang Wu 007; Guilin Qi; Jianfeng Du (CIKM, 2011)

A Decomposition-Based Approach to OWL DL Ontology Diagnosis. - Jianfeng Du; Guilin Qi; Jeff Z. Pan; Yi-Dong Shen (ICTAI, 2011)

Efficient Action Extraction with Many-to-Many Relationship between Actions and Features. - Jianfeng Du; Yong Hu 002; Charles X. Ling; Ming Fan; Mei Liu (LORI, 2011)

Extending description logics with uncertainty reasoning in possibilistic logic. - Guilin Qi; Qiu Ji; Jeff Z. Pan; Jianfeng Du (Int. J. Intell. Syst., 2011)

Proactive Recommendation Based on ( mathcal{E} mathcal{L} ) Concept Learning. - Jianfeng Du; Shuai Wang; Bohong Lin; Xiaoli Yao; Yong Hu 002 (CSWS, 2012)

Reasoning with Uncertain and Inconsistent OWL Ontologies. - Guilin Qi; Jianfeng Du (Reasoning Web, 2012)

Approximating Linear Order Inference in OWL 2 DL by Horn Compilation. - Jianfeng Du; Guilin Qi; Jeff Z. Pan; Yi-Dong Shen (Web Intelligence, 2012)

Towards Practical ABox Abduction in Large Description Logic Ontologies. - Jianfeng Du; Guilin Qi; Yi-Dong Shen; Jeff Z. Pan (Int. J. Semantic Web Inf. Syst., 2012)

Intelligent Analysis Model for Outsourced Software Project Risk Using Constraint-based Bayesian Network. - Yong Hu 002; Xizhu Mo; Xiangzhou Zhang; Yuran Zeng; Jianfeng Du; Kang Xie (J. Softw., 2012)

Multi-criteria Axiom Ranking Based on Analytic Hierarchy Process. - Jianfeng Du; Rongfeng Jiang; Yong Hu 002 (CSWS, 2013)

An integrative framework for intelligent software project risk planning. - Yong Hu 002; Jianfeng Du; Xiangzhou Zhang; Xiaoling Hao; E. W. T. Ngai; Ming Fan; Mei Liu (Decis. Support Syst., 2013)

Weight-based consistent query answering over inconsistent $${ mathcal {SHIQ}}$$ knowledge bases. - Jianfeng Du; Guilin Qi; Yi-Dong Shen (Knowl. Inf. Syst., 2013)

A Tractable Approach to ABox Abduction over Description Logic Ontologies. - Jianfeng Du; Kewen Wang 001; Yi-Dong Shen (AAAI, 2014)

A Practical Fine-grained Approach to Resolving Incoherent OWL 2 DL Terminologies. - Jianfeng Du; Guilin Qi; Xuefeng Fu (CIKM, 2014)

A System for Tractable Computation of Negative Answers to Conjunctive Queries. - Jianfeng Du; Deqian Liu; Can Lin; Xuzhi Zhou; Jiaqi Liang (CSWS, 2014)

An Ontology-Based System for Generating Mathematical Test Papers. - Jianfeng Du; Xuzhi Zhou; Can Lin; Deqian Liu; Jiayi Cheng (CSWS, 2014)

An Approach for Optimal Two-Dimensional Independent Antenna Electrical Adjustment. - Jianfeng Du; Zhiwei Li (CyberC, 2014)

Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. - Jianfeng Du; Kewen Wang 001; Yi-Dong Shen (AAAI, 2015)

ONCAPS: An Ontology-Based Car Purchase Guiding System. - Jianfeng Du; Jun Zhao 003; Jiayi Cheng; Qingchao Su; Jiacheng Liang (APWeb, 2015)

Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies. - Zhe Wang 001; Mahsa Chitsaz; Kewen Wang 001; Jianfeng Du (CIKM, 2015)

Distance-Based Ranking of Negative Answers. - Jianfeng Du; Can Lin; Kunxun Qi (JIST, 2015)

Tractable Computation of Representative ABox Repairs in Description Logic Ontologies. - Jianfeng Du; Guilin Qi (KSEM, 2015)

Rewriting-Based Instance Retrieval for Negated Concepts in Description Logic Ontologies. - Jianfeng Du; Jeff Z. Pan (ISWC (1), 2015)

A System for Searching Renting Houses Based on Relaxed Query Answering. - Jianfeng Du; Kunxun Qi; Can Lin (APWeb (2), 2016)

Non-hierarchical Relation Extraction of Chinese Text Based on Scalable Corpus. - Xiaoheng Su; Hai Wan; Ruibin Chen; Qi Liu; Wenxuan Zhang; Jianfeng Du (JIST, 2016)

Practical TBox Abduction Based on Justification Patterns. - Jianfeng Du; Hai Wan; Huaguan Ma (AAAI, 2017)

Enhancing Knowledge Graph Embedding from a Logical Perspective. - Jianfeng Du; Kunxun Qi; Hai Wan; Bo Peng; Shengbin Lu; Yuming Shen (JIST, 2017)

Bidirectional Semantic Matching with Deep Contextualized Word Embedding for Chinese Sentence Matching. - Kunxun Qi; Jianfeng Du; Qiqi Ou; Linxi Jin; Jinglan Zhong (CCKS Tasks, 2018)

Knowledge Graph Embedding with Logical Consistency. - Jianfeng Du; Kunxun Qi; Yuming Shen (CCL, 2018)

An Ultra-Low-Power Third-Order Frequency-to-Digital Converter for FM MEMS Gyroscope. - Yang Zhao 007; Zhiqiang Wu; Guo Ming Xia; Qin Shi 002; Yu Wang; An Ping Qiu; Haiying Wang; Jianfeng Du (IEEE SENSORS, 2018)

Ranking Diagnoses for Inconsistent Knowledge Graphs by Representation Learning. - Jianfeng Du (JIST, 2018)

Validation of Growing Knowledge Graphs by Abductive Text Evidences. - Jianfeng Du; Jeff Z. Pan; Sylvia Wang; Kunxun Qi; Yuming Shen; Yu Deng (AAAI, 2019)

Iterative Visual Relationship Detection via Commonsense Knowledge Graph. - Hai Wan; Jialing Ou; Baoyi Wang; Jianfeng Du; Jeff Z. Pan; Juan Zeng (JIST, 2019)

Automated Reasoning. - Jeff Z. Pan; Jianfeng Du (Encyclopedia of Big Data Technologies, 2019)

Translation-Based Matching Adversarial Network for Cross-Lingual Natural Language Inference. - Kunxun Qi; Jianfeng Du (AAAI, 2020)

Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis. - Hai Wan; Yufei Yang; Jianfeng Du; Yanan Liu; Kunxun Qi; Jeff Z. Pan (AAAI, 2020)

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 (AAAI, 2021)

A DQN-based Approach to Finding Precise Evidences for Fact Verification. - Hai Wan; Haicheng Chen; Jianfeng Du; Weilin Luo; Rongzhen Ye (ACL/IJCNLP (1), 2021)

Enhancing Metaphor Detection by Gloss-based Interpretations. - Hai Wan; Jinxia Lin; Jianfeng Du; Dawei Shen; Manrong Zhang (ACL/IJCNLP (Findings), 2021)

Iterative Visual Relationship Detection via Commonsense Knowledge Graph. - Hai Wan; Jinrui Liang; Jianfeng Du; Yanan Liu; Jialing Ou; Baoyi Wang; Jeff Z. Pan; Juan Zeng (Big Data Res., 2021)

Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. - Weilin Luo; Pingjia Liang; Jianfeng Du; Hai Wan; Bo Peng; Delong Zhang (AAAI, 2022)

Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. - Kunxun Qi; Hai Wan; Jianfeng Du; Haolan Chen (ACL (1), 2022)

Teaching LTLf Satisfiability Checking to Neural Networks. - Weilin Luo; Hai Wan; Jianfeng Du; Xiaoda Li; Yuze Fu; Rongzhen Ye; Delong Zhang (IJCAI, 2022)

Checking LTL Satisfiability via End-to-end Learning. - Weilin Luo; Hai Wan; Delong Zhang; Jianfeng Du; Hengdi Su (ASE, 2022)

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 (AAAI, 2023)

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. - Weilin Luo; Yuhang Zheng; Rongzhen Ye; Hai Wan; Jianfeng Du; Pingjia Liang; Polong Chen (ASE, 2023)

PURLTL: Mining LTL Specification from Imperfect Traces in Testing. - Bo Peng; Pingjia Liang; Tingchen Han; Weilin Luo; Jianfeng Du; Hai Wan; Rongzhen Ye; Yuhang Zheng (ASE, 2023)

Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion. - Kunxun Qi; Jianfeng Du; Hai Wan (NeurIPS, 2023)

End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. - Hai Wan; Pingjia Liang; Jianfeng Du; Weilin Luo; Rongzhen Ye; Bo Peng (AAAI, 2024)

End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction. - Kunxun Qi; Jianfeng Du; Hai Wan (ACL (1), 2024)

Bi-directional Learning of Logical Rules with Type Constraints for Knowledge Graph Completion. - Kunxun Qi; Jianfeng Du; Hai Wan (CIKM, 2024)

When Is Multi-channel Better Than Single-Channel: A Case Study of Product-Based Multi-channel Fusion Attacks. - Shilong You; Jianfeng Du; Zhu Wang 005; Aimin Yu (Inscrypt (1), 2024)

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 (ISSTA, 2024)

Learning to mine all minimal evidences for unverified claims. - Yanan Liu; Hai Wan; Jianfeng Du; Yao Wang; Kunxun Qi; Weilin Luo (Inf. Sci., 2025)

NADA: Neural Acceptance-Driven Approximate Specification Mining. - Weilin Luo; Tingchen Han; Junming Qiu; Hai Wan; Jianfeng Du; Bo Peng; Guohui Xiao 001; Yanan Liu (Proc. ACM Softw. Eng., 2025)

Revisiting the Masking Strategy: A Side-Channel Attack on CRYSTALS-Kyber. - Jianfeng Du; Zhu Wang 005; Aimin Yu (IEEE Trans. Inf. Forensics Secur., 2025)