Du, Jianfeng

15 publications

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

AAAI 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

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

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

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

AAAI 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

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 Translation-Based Matching Adversarial Network for Cross-Lingual Natural Language Inference Kunxun Qi, Jianfeng Du

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

AAAI 2017 Practical TBox Abduction Based on Justification Patterns Jianfeng Du, Hai Wan, Huaguan Ma

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

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

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

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

IJCAI 2009 Model-Based Revision Operators for Terminologies in Description Logics Guilin Qi, Jianfeng Du