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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Trainable back-propagated functional transfer matrices. - Cai, Chenghao; Xu, Yanyan; Ke, Dengfeng; Su, Kaile; Sun, Jing (CoRR, 2017)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Variable Forgetting in Reasoning about Knowledge. - Su, Kaile; Sattar, Abdul; Lv, Guanfeng; Zhang, Yan (CoRR, 2014)

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. - Cai, Shaowei; Su, Kaile; Luo, Chuan; Sattar, Abdul (CoRR, 2014)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings (Springer, 2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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