A Three-Valued Quantificational Logic of Context. - Kaile Su; Decheng Ding; Huowang Chen (COCOON, 1997)

Computation of Extensions of Seminormal Default Theories. - Kaile Su; Wei Li 022 (Fundam. Informaticae, 1999)

Two alternative notions of 'possibility' satisfying Halpern's conditions. - Kaile Su; Huowang Chen; Decheng Ding (J. Log. Comput., 2000)

A Logical Framework for Knowledge Sharing in Multi-agent Systems. - Kaile Su; Xudong Luo; Huaiqing Wang; Chengqi Zhang; Shichao Zhang 001; Qingfeng Chen (COCOON, 2001)

More on Representation Theory for Default Logic. - Kaile Su (Inf. Comput., 2001)

Constraints on Extensions of a Default Theory. - Kaile Su (J. Comput. Sci. Technol., 2001)

Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. - Kai Engelhardt; Ron van der Meyden; Kaile Su (Advances in Modal Logic, 2002)

Intelligent Student Profiling with Fuzzy Models. - Dongming Xu; Huaiqing Wang; Kaile Su (HICSS, 2002)

Model Checking Temporal Logics of Knowledge in Distributed Systems. - Kaile Su (AAAI, 2004)

Symbolic Model Checking the Knowledge of the Dining Cryptographers. - Ron van der Meyden; Kaile Su (CSFW, 2004)

Reasoning about Knowledge by Variable Forgetting. - Kaile Su; Guanfeng Lv; Yan Zhang 003 (KR, 2004)

Observation-based Model for BDI-Agents. - Kaile Su; Abdul Sattar 001; Kewen Wang 001; Xiangyu Luo; Guido Governatori; Vineet Padmanabhan (AAAI, 2005)

A Theory of Forgetting in Logic Programming. - Kewen Wang 001; Abdul Sattar 001; Kaile Su (AAAI, 2005)

Bounded model checking knowledge and branching time in synchronous multi-agent systems. - Xiangyu Luo; Kaile Su; Abdul Sattar 001; Qingliang Chen; Guanfeng Lv (AAMAS, 2005)

A computationally grounded logic of knowledge, belief and certainty. - Kaile Su; Abdul Sattar 001; Guido Governatori; Qingliang Chen (AAMAS, 2005)

Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. - Lijun Wu 001; Kaile Su; Qingliang Chen (CIS (1), 2005)

Computationally Grounded Model of BDI-Agents. - Kaile Su; Abdul Sattar 001; Kewen Wang 001; Guido Governatori (IJCAI, 2005)

Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. - Kaile Su; Congxin Zhao; Guanfeng Lv; Han Lin; Qingliang Chen (WINE, 2005)

Knowledge structure approach to verification of authentication protocols. - Kaile Su; Guanfeng Lv; Qingliang Chen (Sci. China Ser. F Inf. Sci., 2005)

The interpreted system model of knowledge, belief, desire and intention. - Kaile Su; Xiangyu Luo; Abdul Sattar 001; Mehmet A. Orgun (AAMAS, 2006)

Verification of Multi-agent Systems Via Bounded Model Checking. - Xiangyu Luo; Kaile Su; Abdul Sattar 001; Mark Reynolds 001 (Australian Conference on Artificial Intelligence, 2006)

BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning. - Weiya Yue; Yanyan Xu 001; Kaile Su (Australian Conference on Artificial Intelligence, 2006)

Observation-Based Logic of Knowledge, Belief, Desire and Intention. - Kaile Su; Weiya Yue; Abdul Sattar 001; Mehmet A. Orgun; Xiangyu Luo (KSEM, 2006)

A logical framework for identifying quality knowledge from different data sources. - Kaile Su; Huijing Huang; Xindong Wu 001; Shichao Zhang 001 (Decis. Support Syst., 2006)

Primitive Recursiveness of Real Numbers under Different Representations. - Qingliang Chen; Kaile Su; Xizhong Zheng (CCA, 2006)

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. - Kaile Su; Qingliang Chen; Abdul Sattar 001; Weiya Yue; Guanfeng Lv; Xizhong Zheng (J. Comput. Sci. Technol., 2006)

A Modal Logic for Beliefs and Pro Attitudes. - Kaile Su; Abdul Sattar 001; Han Lin; Mark Reynolds 001 (AAAI, 2007)

Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. - Han Lin; Kaile Su (IJCAI, 2007)

Model Checking Temporal Logics of Knowledge Via OBDDs. - Kaile Su; Abdul Sattar 001; Xiangyu Luo (Comput. J., 2007)

Semantic interpretation of compositional logic in instantiation space. - Kaile Su; Yinyin Xiao; Qingliang Chen; Han Lin (Frontiers Comput. Sci. China, 2007)

Primitive recursive real numbers. - Qingliang Chen; Kaile Su; Xizhong Zheng (Math. Log. Q., 2007)

Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. - Han Lin; Kaile Su; Chu Min Li 001 (AAAI, 2008)

An Extended Interpreted System Model for Epistemic Logics. - Kaile Su; Abdul Sattar 001 (AAAI, 2008)

Solving Sum and Product Riddle via BDD-Based Model Checking. - Xiangyu Luo; Kaile Su; Abdul Sattar 001; Yan Chen (Web Intelligence/IAT Workshops, 2008)

Improving Encoding Efficiency for Bounded Model Checking. - Jinji Yang; Kaile Su; Qingliang Chen (TASE, 2008)

The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. - Yanyan Xu 001; Weiya Yue; Kaile Su (FAW, 2009)

Knowware: The Third Star after Hardware and Software. - David A. Bell; Ying Jiang; Ruqian Lu; Kaile Su; Songmao Zhang (KSEM, 2009)

Variable Forgetting in Reasoning about Knowledge. - Kaile Su; Abdul Sattar 001; Guanfeng Lv; Yan Zhang 003 (J. Artif. Intell. Res., 2009)

EWLS: A New Local Search for Minimum Vertex Cover. - Shaowei Cai 001; Kaile Su; Qingliang Chen (AAAI, 2010)

Symbolic Model Checking the Knowledge in Herbivore Protocol. - Xiangyu Luo; Kaile Su; Ming Gu; Lijun Wu 001; Jinji Yang (MoChArt, 2010)

Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model. - Qingliang Chen; Kaile Su; Chanjuan Liu; Yinyin Xiao (ICSS, 2010)

A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems. - Lijun Wu 001; Jinshu Su; Kaile Su; Xiangyu Luo; Zhihua Yang (Knowl. Based Syst., 2010)

Local Search with Configuration Checking for SAT. - Shaowei Cai 001; Kaile Su (ICTAI, 2011)

Large Hinge Width on Sparse Random Hypergraphs. - Tian Liu 001; Xiaxiang Lin; Chaoyi Wang; Kaile Su; Ke Xu 001 (IJCAI, 2011)

Local search with edge weighting and configuration checking heuristics for minimum vertex cover. - Shaowei Cai 001; Kaile Su; Abdul Sattar 001 (Artif. Intell., 2011)

Configuration Checking with Aspiration in Local Search for SAT. - Shaowei Cai 001; Kaile Su (AAAI, 2012)

Two New Local Search Strategies for Minimum Vertex Cover. - Shaowei Cai 001; Kaile Su; Abdul Sattar 001 (AAAI, 2012)

Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. - Xiaowei Huang 001; Kaile Su; Chenyi Zhang 001 (AAAI, 2012)

Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. - Yanyan Xu 001; Wei Chen 018; Kaile Su; Wenhui Zhang (FAW-AAIM, 2012)

Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. - Chuan Luo 002; Kaile Su; Shaowei Cai 001 (ECAI, 2012)

A Succinct and Efficient Implementation of a 2^32 BDD Package. - Guanfeng Lv; Yao Chen; Yachao Feng; Qingliang Chen; Kaile Su (TASE, 2012)

A complete first-order temporal BDI logic for forest multi-agent systems. - Lijun Wu 001; Kaile Su; Abdul Sattar 001; Qingliang Chen; Jinshu Su; Wei Wu 042 (Knowl. Based Syst., 2012)

Improving WalkSAT for Random k-Satisfiability Problem with k > 3. - Shaowei Cai 001; Kaile Su; Chuan Luo 002 (AAAI, 2013)

FWLS: A Local Search for Graph Coloring. - Wei Wu 042; Chuan Luo 002; Kaile Su (FAW-AAIM, 2013)

CacBDD: A BDD Package with Dynamic Cache Management. - Guanfeng Lv; Kaile Su; Yanyan Xu 001 (CAV, 2013)

A Customized Lexicalized Reordering Model for Machine Translation between Chinese and English. - Fei Su; Jin Huang; Kaile Su (CLSW, 2013)

Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Kaile Su (CP, 2013)

Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer. - Shudong Hao; Zongtian Gao; Mingqing Zhang; Yanyan Xu 001; Hengli Peng; Kaile Su; Dengfeng Ke (ICDAR, 2013)

Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. - Shaowei Cai 001; Kaile Su (IJCAI, 2013)

A Logic for Extensive Games with Short Sight. - Chanjuan Liu; Fenrong Liu; Kaile Su (LORI, 2013)

Local search for Boolean Satisfiability with configuration checking and subscore. - Shaowei Cai 001; Kaile Su (Artif. Intell., 2013)

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. - Shaowei Cai 001; Kaile Su; Chuan Luo 002; Abdul Sattar 001 (J. Artif. Intell. Res., 2013)

Logic and AI in China: An Introduction. - Fenrong Liu; Kaile Su (Minds Mach., 2013)

Tailoring Local Search for Partial MaxSAT. - Shaowei Cai 001; Chuan Luo 002; John Thornton 001; Kaile Su (AAAI, 2014)

Double Configuration Checking in Stochastic Local Search for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Kaile Su (AAAI, 2014)

Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems. - Qingliang Chen; Kaile Su; Yong Hu; Guiwu Hu (Canadian AI, 2014)

Beam-Width Adaptation for Hierarchical Phrase-Based Translation. - Fei Su; Gang Chen; Xinyan Xiao; Kaile Su (CICLing (2), 2014)

Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing. - Shudong Hao; Yanyan Xu 001; Hengli Peng; Kaile Su; Dengfeng Ke (ICPR, 2014)

Fast Learning of Deep Neural Networks via Singular Value Decomposition. - Chenghao Cai; Dengfeng Ke; Yanyan Xu 001; Kaile Su (PRICAI, 2014)

Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. - Qingliang Chen; Qun Li; Kaile Su; Xiangyu Luo (PRICAI, 2014)

PPML: Penalized Partial Least Squares Discriminant Analysis for Multi-Label Learning. - Zongjie Ma; Huawen Liu; Kaile Su; Zhonglong Zheng (WAIM, 2014)

Preference dynamics in games with short sight. - Chanjuan Liu; Enqiang Zhu; Fenrong Liu; Kaile Su (Appl. Math. Comput., 2014)

More efficient two-mode stochastic local search for random 3-satisfiability. - Chuan Luo 002; Kaile Su; Shaowei Cai 001 (Appl. Intell., 2014)

Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. - Shaowei Cai 001; Chuan Luo 002; Kaile Su (J. Artif. Intell. Res., 2014)

Two Weighting Local Search for Minimum Vertex Cover. - Shaowei Cai 001; Jinkun Lin; Kaile Su (AAAI, 2015)

Lower and Upper Bounds for Random Mimimum Satisfiability Problem. - Ping Huang; Kaile Su (FAW, 2015)

The Complexity of Model Checking Succinct Multiagent Systems. - Xiaowei Huang 001; Qingliang Chen; Kaile Su (IJCAI, 2015)

A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks. - Chenghao Cai; Dengfeng Ke; Yanyan Xu 001; Kaile Su (IJCNN, 2015)

Multi-task learning deep neural networks for speech feature denoising. - Bin Huang; Dengfeng Ke; Hao Zheng 009; Bo Xu 002; Yanyan Xu 001; Kaile Su (INTERSPEECH, 2015)

TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). - Jinkun Lin; Chuan Luo 002; Shaowei Cai 001; Kaile Su; Dan Hao 001; Lu Zhang 023 (ASE, 2015)

Symbolic Model Checking for Dynamic Epistemic Logic. - Johan van Benthem; Jan van Eijck; Malvin Gattinger; Kaile Su (LORI, 2015)

A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games. - Chanjuan Liu; Fenrong Liu; Kaile Su (PRIMA, 2015)

CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. - Shaowei Cai 001; Chuan Luo 002; Kaile Su (SAT, 2015)

Deep Neural Networks with Multistate Activation Functions. - Chenghao Cai; Yanyan Xu 001; Dengfeng Ke; Kaile Su (Comput. Intell. Neurosci., 2015)

Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation. - Shaowei Cai 001; Chuan Luo 002; Kaile Su (Comput. J., 2015)

A complete coalition logic of temporal knowledge for multi-agent systems. - Qingliang Chen; Kaile Su; Yong Hu; Guiwu Hu (Frontiers Comput. Sci., 2015)

An effective variable selection heuristic in SLS for weighted Max-2-SAT. - Shaowei Cai 001; Zhong Jie; Kaile Su (J. Heuristics, 2015)

A Fast Learning Method for Multilayer Perceptrons in Automatic Speech Recognition Systems. - Chenghao Cai; Yanyan Xu 001; Dengfeng Ke; Kaile Su (J. Robotics, 2015)

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Zhong Jie; Kaile Su (IEEE Trans. Computers, 2015)

Clause States Based Configuration Checking in Local Search for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Kaile Su; Wei Wu 042 (IEEE Trans. Cybern., 2015)

An I/O Efficient Approach for Detecting All Accepting Cycles. - Lijun Wu 001; Kaile Su; Shaowei Cai 001; Xiaosong Zhang 001; Chenyi Zhang 001; Shupeng Wang (IEEE Trans. Software Eng., 2015)

An I/O Efficient Model Checking Algorithm for Large-Scale Systems. - Lijun Wu 001; Huijia Huang; Kaile Su; Shaowei Cai 001; Xiaosong Zhang 001 (IEEE Trans. Very Large Scale Integr. Syst., 2015)

Strengthening Agents Strategic Ability with Communication. - Xiaowei Huang 001; Qingliang Chen; Kaile Su (AAAI, 2016)

Local Search for Maximum Vertex Weight Clique on Large Sparse Graphs with Efficient Data Structures. - Yi Fan; Chengqian Li; Zongjie Ma; Lian Wen; Abdul Sattar 001; Kaile Su (Australasian Conference on Artificial Intelligence, 2016)

Robust Object Tracking Based on Collaborative Model via L2-Norm Minimization. - Xiaokang Qiao; Kaile Su; Zhonglong Zheng; Huawen Liu; Xiaowei He (CCPR (1), 2016)

Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover. - Zongjie Ma; Yi Fan; Kaile Su; Chengqian Li; Abdul Sattar 001 (ICTAI, 2016)

Reconfigurability in Reactive Multiagent Systems. - Xiaowei Huang 001; Qingliang Chen; Jie Meng; Kaile Su (IJCAI, 2016)

Normative Multiagent Systems: The Dynamic Generalization. - Xiaowei Huang 001; Ji Ruan; Qingliang Chen; Kaile Su (IJCAI, 2016)

Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs. - Zongjie Ma; Yi Fan; Kaile Su; Chengqian Li; Abdul Sattar 001 (PRICAI, 2016)

Formal Security Analysis of EAP-ERP Using Casper. - Khosrow Ramezani; Elankayer Sithirasenan; Kaile Su (IEEE Access, 2016)

New local search methods for partial MaxSAT. - Shaowei Cai 001; Chuan Luo 002; Jinkun Lin; Kaile Su (Artif. Intell., 2016)

A first-order coalition logic for BDI-agents. - Qingliang Chen; Kaile Su; Abdul Sattar 001; Xiangyu Luo; Aixiang Chen (Frontiers Comput. Sci., 2016)

Functional Analysis of EAP-CRA. - Khosrow Ramezani; Elankayer Sithirasenan; Kaile Su (J. Networks, 2016)

SCESS: a WFSA-based automated simplified chinese essay scoring system with incremental latent semantic analysis. - Shudong Hao; Yanyan Xu 001; Dengfeng Ke; Kaile Su; Hengli Peng (Nat. Lang. Eng., 2016)

A logical characterization of extensive games with short sight. - Chanjuan Liu; Fenrong Liu; Kaile Su; Enqiang Zhu (Theor. Comput. Sci., 2016)

Quantified Coalition Logic of Knowledge, Belief and Certainty. - Qingliang Chen; Xiaowei Huang 001; Kaile Su; Abdul Sattar 001 (Canadian AI, 2017)

Deterministic Tournament Selection in Local Search for Maximum Edge Weight Clique on Large Sparse Graphs. - Zongjie Ma; Yi Fan; Kaile Su; Chengqian Li; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2017)

Efficient Local Search for Maximum Weight Cliques in Large Graphs. - Yi Fan; Zongjie Ma; Kaile Su; Chengqian Li; Cong Rao; Ren-Hau Liu; Longin Jan Latecki (ICTAI, 2017)

Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation. - Yi Fan; Nan Li 021; Chengqian Li; Zongjie Ma; Longin Jan Latecki; Kaile Su (IJCAI, 2017)

A Reduction based Method for Coloring Very Large Graphs. - Jinkun Lin; Shaowei Cai 001; Chuan Luo 002; Kaile Su (IJCAI, 2017)

CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). - Chuan Luo 002; Shaowei Cai 001; Kaile Su; Wenxuan Huang (IJCAI, 2017)

Symbolic manipulation based on deep neural networks and its application to axiom discovery. - Chenghao Cai; Dengfeng Ke; Yanyan Xu 001; Kaile Su (IJCNN, 2017)

Deep neural network bottleneck features for bird species verification. - Jinming Zhao; Yanyan Xu 001; Dengfeng Ke; Kaile Su (IJCNN, 2017)

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability. - Chuan Luo 002; Shaowei Cai 001; Kaile Su; Wenxuan Huang (Artif. Intell., 2017)

Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks. - Chenghao Cai; Dengfeng Ke; Yanyan Xu 001; Kaile Su (CoRR, 2017)

Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems. - Lijun Wu 001; Kaile Su; Yabiao Han; Jingyu Chen; Xiangyu Lu (Frontiers Comput. Sci., 2017)

Contextualized Latent Semantic Indexing: A New Approach to Automated Chinese Essay Scoring. - Yanyan Xu 001; Dengfeng Ke; Kaile Su (J. Intell. Syst., 2017)

Long Short-Term Memory Projection Recurrent Neural Network Architectures for Piano's Continuous Note Recognition. - YuKang Jia; Zhicheng Wu; Yanyan Xu 001; Dengfeng Ke; Kaile Su (J. Robotics, 2017)

Local Search for Flowshops with Setup Times and Blocking Constraints. - Vahid Riahi; M. A. Hakim Newton; Kaile Su; Abdul Sattar 001 (ICAPS, 2018)

Mutual-optimization Towards Generative Adversarial Networks For Robust Speech Recognition. - Ke Ding; Ne Luo; Yanyan Xu 001; Dengfeng Ke; Kaile Su (ICPR, 2018)

Fine-Grained Air Quality Prediction using Attention Based Neural Network. - Tianyu Liu; Yongzhi Ying; Yanyan Xu 001; Dengfeng Ke; Kaile Su (IJCNN, 2018)

Advancing Tabu and Restart in Local Search for Maximum Weight Cliques. - Yi Fan; Nan Li 021; Chengqian Li; Zongjie Ma; Longin Jan Latecki; Kaile Su (CoRR, 2018)

A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games. - Chanjuan Liu; Fenrong Liu; Kaile Su (Fundam. Informaticae, 2018)

Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. - Johan van Benthem; Jan van Eijck; Malvin Gattinger; Kaile Su (J. Log. Comput., 2018)

Efficient Local Search for Minimum Dominating Sets in Large Graphs. - Yi Fan; Yongxuan Lai; Chengqian Li; Nan Li 021; Zongjie Ma; Jun Zhou 001; Longin Jan Latecki; Kaile Su (DASFAA (2), 2019)

Common Object Discovery as Local Search for Maximum Weight Cliques in a Global Object Similarity Graph. - Cong Rao; Yi Fan; Kaile Su; Longin Jan Latecki (DGCI, 2019)

Trainable back-propagated functional transfer matrices. - Chenghao Cai; Yanyan Xu 001; Dengfeng Ke; Kaile Su; Jing Sun 002 (Appl. Intell., 2019)

Scheduling blocking flowshops with setup times via constraint guided and accelerated local search. - M. A. Hakim Newton; Vahid Riahi; Kaile Su; Abdul Sattar 001 (Comput. Oper. Res., 2019)

Constraint guided accelerated search for mixed blocking permutation flowshop scheduling. - Vahid Riahi; M. A. Hakim Newton; Kaile Su; Abdul Sattar 001 (Comput. Oper. Res., 2019)

Constraint guided search for aircraft sequencing. - Vahid Riahi; M. A. Hakim Newton; Md. Masbaul Alam; Kaile Su; Abdul Sattar 001 (Expert Syst. Appl., 2019)

A Generalized Denoising Method with an Optimized Loss Function for Automated Bird Sound Recognition. - Huangqiang Fang; Yulin He; Wanyang Xu; Yanyan Xu 001; Dengfeng Ke; Kaile Su (ICCCS, 2020)

Outlier Detection via Kernel Preserving Embedding and Random Walk. - Enhui Li; Huawen Liu; Kaile Su; Shichao Zhang 001 (ICKG, 2020)

Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. - Xuanxiang Huang; Haipeng Che; Liangda Fang; Qingliang Chen; Quanlong Guan; Yuhui Deng; Kaile Su (ICCAD, 2020)

Dropout with Tabu Strategy for Regularizing Deep Neural Networks. - Zongjie Ma; Abdul Sattar 001; Jun Zhou 001; Qingliang Chen; Kaile Su (Comput. J., 2020)

Improving speech enhancement by focusing on smaller values using relative loss. - Hongfeng Li; Yanyan Xu 001; Dengfeng Ke; Kaile Su (IET Signal Process., 2020)

Evaluating logic gate constraints in local search for structured satisfiability problems. - M. A. Hakim Newton; Md. Masbaul Alam; Duc Nghia Pham; John Thornton 001; Kaile Su; Abdul Sattar 001 (Artif. Intell. Rev., 2021)

μ-law SGAN for generating spectra with more details in speech enhancement. - Hongfeng Li; Yanyan Xu 001; Dengfeng Ke; Kaile Su (Neural Networks, 2021)

Anomaly Detection With Kernel Preserving Embedding. - Huawen Liu; Enhui Li; Xinwang Liu 002; Kaile Su; Shichao Zhang 001 (ACM Trans. Knowl. Discov. Data, 2021)

Generalized Linear Integer Numeric Planning. - Xiaoyou Lin; Qingliang Chen; Liangda Fang; Quanlong Guan; Weiqi Luo 002; Kaile Su (ICAPS, 2022)

CM-CIF: Cross-Modal for Unaligned Modality Fusion with Continuous Integrate-and-Fire. - Zheng Jiang; Yang Xu; Yanyan Xu 001; Dengfeng Ke; Kaile Su (ICCCS, 2022)

Research on Multi-round Dialogue Tasks Based on Sequicity. - Yingrui Pang; Zhenni Gong; Zixuan Zhao; Yanyan Xu 001; Dengfeng Ke; Kaile Su (ICCCS, 2022)

Masked multi-center angular margin loss for language recognition. - Minghang Ju; Yanyan Xu 001; Dengfeng Ke; Kaile Su (EURASIP J. Audio Speech Music. Process., 2022)

Hippocampus-heuristic character recognition network for zero-shot learning in Chinese character recognition. - Guanjie Huang; Xiangyu Luo; Shaowei Wang; Tianlong Gu; Kaile Su (Pattern Recognit., 2022)

SdCT-GAN: Reconstructing CT from Biplanar X-Rays with Self-driven Generative Adversarial Networks. - Shuangqin Cheng; Qingliang Chen; Qiyi Zhang; Ming Li; Yamuhanmode Alike; Kaile Su; Pengcheng Wen (CoRR, 2023)

A lattice-transformer-graph deep learning model for Chinese named entity recognition. - Min Lin; Yanyan Xu 001; Chenghao Cai; Dengfeng Ke; Kaile Su (J. Intell. Syst., 2023)

Multi-domain Attention Fusion Network For Language Recognition. - Minghang Ju; Yanyan Xu 001; Dengfeng Ke; Kaile Su (SN Comput. Sci., 2023)

Online Coordinated NFV Resource Allocation via Novel Machine Learning Techniques. - Zhiyuan Li; Lijun Wu 001; Xiangyun Zeng; Xiaofeng Yue; Yulin Jing; Wei Wu 011; Kaile Su (IEEE Trans. Netw. Serv. Manag., 2023)

Iterated Clique Reductions in Vertex Weighted Coloring for Large Sparse Graphs. - Yi Fan; Zaijun Zhang; Quan Yu; Yongxuan Lai; Kaile Su; Yiyuan Wang; Shiwei Pan; Longin Jan Latecki (Entropy, 2023)

Three-stage training and orthogonality regularization for spoken language recognition. - Zimu Li; Yanyan Xu 001; Dengfeng Ke; Kaile Su (EURASIP J. Audio Speech Music. Process., 2023)

Hierarchical Fusion Framework for Multimodal Dialogue Response Generation. - Qi Deng; Lijun Wu 001; Kaile Su; Wei Wu; Zhiyuan Li; Weiwei Duan (IJCNN, 2024)

Coordination as inference in multi-agent reinforcement learning. - Zhiyuan Li; Lijun Wu 001; Kaile Su; Wei Wu; Yulin Jing; Tong Wu; Weiwei Duan; Xiaofeng Yue; Xiyi Tong; Yizhou Han (Neural Networks, 2024)

PLDE: A lightweight pooling layer for spoken language recognition. - Zimu Li; Yanyan Xu 001; Dengfeng Ke; Kaile Su (Speech Commun., 2024)

Call-Graph-Based Context-Sensitive Points-to Analysis for Java. - Yulin Bao; Chenyi Zhang 001; Kaile Su (IEEE Trans. Reliab., 2024)

Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF. - Liangda Fang; Shikang Chen; Xiaoman Wang; Xiaoyou Lin; Chenyi Zhang 001; Qingliang Chen; Quanlong Guan; Kaile Su (AAMAS, 2025)

DDP-Unet: A mapping neural network for single-channel speech enhancement. - Haoxiang Chen 009; Yanyan Xu 001; Dengfeng Ke; Kaile Su (Comput. Speech Lang., 2025)

Multi-agent neighborhood coordinated and holistic optimized actor-critic framework for adaptive traffic signal control. - Qi Deng; Lijun Wu 001; Zhiyuan Li; Kaile Su; Wei Wu; Weiwei Duan (Appl. Intell., 2025)

Synergistic integration of metaheuristics and machine learning: latest advances and emerging trends. - Ruining Zhang; Jian Wang 010; Chanjuan Liu; Kaile Su; Hisao Ishibuchi; Yaochu Jin (Artif. Intell. Rev., 2025)