Jianfeng Du

According to our database, Jianfeng Du authored at least 65 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Bi-directional Learning of Logical Rules with Type Constraints for Knowledge Graph Completion.

Kunxun Qi, Jianfeng Du, Hai Wan

Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024

End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction.

Kunxun Qi, Jianfeng Du, Hai Wan

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding.

Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion.

Kunxun Qi, Jianfeng Du, Hai Wan

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning.

Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

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

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Checking LTL Satisfiability via End-to-end Learning.

Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Teaching LTLf Satisfiability Checking to Neural Networks.

Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates.

Kunxun Qi, Hai Wan, Jianfeng Du, Haolan Chen

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae.

Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

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

Enhancing Metaphor Detection by Gloss-based Interpretations.

Hai Wan, Jinxia Lin, Jianfeng Du, Dawei Shen, Manrong Zhang

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

A DQN-based Approach to Finding Precise Evidences for Fact Verification.

Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye

Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

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

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis.

Hai Wan, Yufei Yang, Jianfeng Du, Yanan Liu, Kunxun Qi, Jeff Z. Pan

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Translation-Based Matching Adversarial Network for Cross-Lingual Natural Language Inference.

Kunxun Qi, Jianfeng Du

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Automated Reasoning.

Jeff Z. Pan, Jianfeng Du

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Iterative Visual Relationship Detection via Commonsense Knowledge Graph.

Hai Wan, Jialing Ou, Baoyi Wang, Jianfeng Du, Jeff Z. Pan, Juan Zeng

Proceedings of the Semantic Technology - 9th Joint International Conference, 2019

Validation of Growing Knowledge Graphs by Abductive Text Evidences.

Jianfeng Du, Jeff Z. Pan, Sylvia Wang, Kunxun Qi, Yuming Shen, Yu Deng

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Ranking Diagnoses for Inconsistent Knowledge Graphs by Representation Learning.

Jianfeng Du

Proceedings of the Semantic Technology - 8th Joint International Conference, 2018

An Ultra-Low-Power Third-Order Frequency-to-Digital Converter for FM MEMS Gyroscope.

Yang Zhao, Zhiqiang Wu, Guo Ming Xia, Qin Shi, Yu Wang, An Ping Qiu, Haiying Wang, Jianfeng Du

Proceedings of the 2018 IEEE SENSORS, New Delhi, India, October 28-31, 2018, 2018

Knowledge Graph Embedding with Logical Consistency.

Jianfeng Du, Kunxun Qi, Yuming Shen

Proceedings of the Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data, 2018

Bidirectional Semantic Matching with Deep Contextualized Word Embedding for Chinese Sentence Matching.

Kunxun Qi, Jianfeng Du, Qiqi Ou, Linxi Jin, Jinglan Zhong

Proceedings of the Evaluation Tasks at the China Conference on Knowledge Graph and Semantic Computing (CCKS 2018), 2018

2017

Enhancing Knowledge Graph Embedding from a Logical Perspective.

Jianfeng Du, Kunxun Qi, Hai Wan, Bo Peng, Shengbin Lu, Yuming Shen

Proceedings of the Semantic Technology - 7th Joint International Conference, 2017

Practical TBox Abduction Based on Justification Patterns.

Jianfeng Du, Hai Wan, Huaguan Ma

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Non-hierarchical Relation Extraction of Chinese Text Based on Scalable Corpus.

Xiaoheng Su, Hai Wan, Ruibin Chen, Qi Liu, Wenxuan Zhang, Jianfeng Du

Proceedings of the Semantic Technology - 6th Joint International Conference, 2016

A System for Searching Renting Houses Based on Relaxed Query Answering.

Jianfeng Du, Kunxun Qi, Can Lin

Proceedings of the Web Technologies and Applications - 18th Asia-Pacific Web Conference, 2016

2015

Rewriting-Based Instance Retrieval for Negated Concepts in Description Logic Ontologies.

Jianfeng Du, Jeff Z. Pan

Proceedings of the Semantic Web - ISWC 2015, 2015

Tractable Computation of Representative ABox Repairs in Description Logic Ontologies.

Jianfeng Du, Guilin Qi

Proceedings of the Knowledge Science, Engineering and Management, 2015

Distance-Based Ranking of Negative Answers.

Jianfeng Du, Can Lin, Kunxun Qi

Proceedings of the Semantic Technology - 5th Joint International Conference, 2015

Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies.

Zhe Wang, Mahsa Chitsaz, Kewen Wang, Jianfeng Du

Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

ONCAPS: An Ontology-Based Car Purchase Guiding System.

Jianfeng Du, Jun Zhao, Jiayi Cheng, Qingchao Su, Jiacheng Liang

Proceedings of the Web Technologies and Applications - 17th Asia-PacificWeb Conference, 2015

Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies.

Jianfeng Du, Kewen Wang, Yi-Dong Shen

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

An Approach for Optimal Two-Dimensional Independent Antenna Electrical Adjustment.

Jianfeng Du, Zhiwei Li

Proceedings of the 2014 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2014

An Ontology-Based System for Generating Mathematical Test Papers.

Jianfeng Du, Xuzhi Zhou, Can Lin, Deqian Liu, Jiayi Cheng

Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014

A System for Tractable Computation of Negative Answers to Conjunctive Queries.

Jianfeng Du, Deqian Liu, Can Lin, Xuzhi Zhou, Jiaqi Liang

Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014

A Practical Fine-grained Approach to Resolving Incoherent OWL 2 DL Terminologies.

Jianfeng Du, Guilin Qi, Xuefeng Fu

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

A Tractable Approach to ABox Abduction over Description Logic Ontologies.

Jianfeng Du, Kewen Wang, Yi-Dong Shen

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Weight-based consistent query answering over inconsistent $${\mathcal {SHIQ}}$$ knowledge bases.

Jianfeng Du, Guilin Qi, Yi-Dong Shen

Knowl. Inf. Syst., 2013

An integrative framework for intelligent software project risk planning.

Yong Hu, Jianfeng Du, Xiangzhou Zhang, Xiaoling Hao, E. W. T. Ngai, Ming Fan, Mei Liu

Decis. Support Syst., 2013

Multi-criteria Axiom Ranking Based on Analytic Hierarchy Process.

Jianfeng Du, Rongfeng Jiang, Yong Hu

Proceedings of the Linked Data and Knowledge Graph, 2013

2012

Intelligent Analysis Model for Outsourced Software Project Risk Using Constraint-based Bayesian Network.

Yong Hu, Xizhu Mo, Xiangzhou Zhang, Yuran Zeng, Jianfeng Du, Kang Xie

J. Softw., 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

Approximating Linear Order Inference in OWL 2 DL by Horn Compilation.

Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen

Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Web Intelligence, 2012

Reasoning with Uncertain and Inconsistent OWL Ontologies.

Guilin Qi, Jianfeng Du

Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

Proactive Recommendation Based on \(\mathcal{E}\mathcal{L}\) Concept Learning.

Jianfeng Du, Shuai Wang, Bohong Lin, Xiaoli Yao, Yong Hu

Proceedings of the Semantic Web and Web Science, 2012

2011

Extending description logics with uncertainty reasoning in possibilistic logic.

Guilin Qi, Qiu Ji, Jeff Z. Pan, Jianfeng Du

Int. J. Intell. Syst., 2011

Efficient Action Extraction with Many-to-Many Relationship between Actions and Features.

Jianfeng Du, Yong Hu, Charles X. Ling, Ming Fan, Mei Liu

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

A Decomposition-Based Approach to OWL DL Ontology Diagnosis.

Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Finding all justifications of OWL entailments using TMS and MapReduce.

Gang Wu, Guilin Qi, Jianfeng Du

Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

An Abductive CQA Based Matchmaking System for Finding Renting Houses.

Jianfeng Du, Shuai Wang, Guilin Qi, Jeff Z. Pan, Che Qiu

Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

A New Matchmaking Approach Based on Abductive Conjunctive Query Answering.

Jianfeng Du, Shuai Wang, Guilin Qi, Jeff Z. Pan, Yong Hu

Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

Towards Practical ABox Abduction in Large OWL DL Ontologies.

Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation.

Guilin Qi, Jianfeng Du, Weiru Liu, David A. Bell

Proceedings of the UAI 2010, 2010

Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies.

Jianfeng Du, Guilin Qi

Proceedings of the Knowledge Science, 2010

PossDL - A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling.

Guilin Qi, Qiu Ji, Jeff Z. Pan, Jianfeng Du

Proceedings of the Semantic Web: Research and Applications, 2010

2009

A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL.

Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Goal-Directed Module Extraction for Explaining OWL DL Entailments.

Jianfeng Du, Guilin Qi, Qiu Ji

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Model-based Revision Operators for Terminologies in Description Logics.

Guilin Qi, Jianfeng Du

Proceedings of the IJCAI 2009, 2009

2008

Computing minimum cost diagnoses to repair populated DL-based ontologies.

Jianfeng Du, Yi-Dong Shen

Proceedings of the 17th International Conference on World Wide Web, 2008

Lexicographical Inference over Inconsistent DL-Based Ontologies.

Jianfeng Du, Guilin Qi, Yi-Dong Shen

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

2007

Partitioning ABoxes Based on Converting DL to Plain Datalog.

Jianfeng Du, Yi-Dong Shen

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2001

Implementation and Application of Fuzzy Case-Based Expert System.

Jianfeng Du, Junde Song

Proceedings of the ICEIS 2001, 2001