Kaile Su - RankMe

166 papers A* 30A 10B 15C 3Misc 6Journal 74Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	HGS-3DSeg: Identity-Encoding Half-Gaussian Splatting for Memory-Efficient 3D Reconstruction and Segmentation. IEEE Trans Autom. Sci. Eng. Weiqing Yan, Jiahao Li, Liang Liao, Kaile Su, Chang Tang
2026	J	`jnl`	Hybrid explicit and implicit encoding for multi-view representation learning. Pattern Recognit. Shuochen Yao, Yusheng Zhang, Weiqing Yan, Chang Tang, Guanghui Yue, Kaile Su, Jian Jin
2025	J	`jnl`	AECT-GAN: reconstructing CT from biplane radiographs using auto-encoding generative adversarial networks. Neural Comput. Appl. Shuangqin Cheng, Qingliang Chen, Qiyi Zhang, Ming Li, Yamuhanmode Alike, Kaile Su, Pengcheng Wen
2025	A	`conf`	Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF. AAMAS Liangda Fang, Shikang Chen, Xiaoman Wang, Xiaoyou Lin, Chenyi Zhang, Qingliang Chen, Quanlong Guan, Kaile Su
2025	J	`jnl`	DDP-Unet: A mapping neural network for single-channel speech enhancement. Comput. Speech Lang. Haoxiang Chen, Yanyan Xu, Dengfeng Ke, Kaile Su
2025	J	`jnl`	Multi-agent neighborhood coordinated and holistic optimized actor-critic framework for adaptive traffic signal control. Appl. Intell. Qi Deng, Lijun Wu, Zhiyuan Li, Kaile Su, Wei Wu, Weiwei Duan
2025	J	`jnl`	Synergistic integration of metaheuristics and machine learning: latest advances and emerging trends. Artif. Intell. Rev. Ruining Zhang, Jian Wang, Chanjuan Liu, Kaile Su, Hisao Ishibuchi, Yaochu Jin
2024	J	`jnl`	Call-Graph-Based Context-Sensitive Points-to Analysis for Java. IEEE Trans. Reliab. Yulin Bao, Chenyi Zhang, Kaile Su
2024	J	`jnl`	Coordination as inference in multi-agent reinforcement learning. Neural Networks Zhiyuan Li, Lijun Wu, Kaile Su, Wei Wu, Yulin Jing, Tong Wu, Weiwei Duan, Xiaofeng Yue, Xiyi Tong, Yizhou Han
2024	B	`conf`	Hierarchical Fusion Framework for Multimodal Dialogue Response Generation. IJCNN Qi Deng, Lijun Wu, Kaile Su, Wei Wu, Zhiyuan Li, Weiwei Duan
2024	J	`jnl`	PLDE: A lightweight pooling layer for spoken language recognition. Speech Commun. Zimu Li, Yanyan Xu, Dengfeng Ke, Kaile Su
2023	J	`jnl`	A lattice-transformer-graph deep learning model for Chinese named entity recognition. J. Intell. Syst. Min Lin, Yanyan Xu, Chenghao Cai, Dengfeng Ke, Kaile Su
2023	J	`jnl`	Iterated Clique Reductions in Vertex Weighted Coloring for Large Sparse Graphs. Entropy Yi Fan, Zaijun Zhang, Quan Yu, Yongxuan Lai, Kaile Su, Yiyuan Wang, Shiwei Pan, Longin Jan Latecki
2023	J	`jnl`	Multi-domain Attention Fusion Network For Language Recognition. SN Comput. Sci. Minghang Ju, Yanyan Xu, Dengfeng Ke, Kaile Su
2023	J	`jnl`	Online Coordinated NFV Resource Allocation via Novel Machine Learning Techniques. IEEE Trans. Netw. Serv. Manag. Zhiyuan Li, Lijun Wu, Xiangyun Zeng, Xiaofeng Yue, Yulin Jing, Wei Wu, Kaile Su
2023	J	`jnl`	SdCT-GAN: Reconstructing CT from Biplanar X-Rays with Self-driven Generative Adversarial Networks. CoRR Shuangqin Cheng, Qingliang Chen, Qiyi Zhang, Ming Li, Yamuhanmode Alike, Kaile Su, Pengcheng Wen
2023	J	`jnl`	Three-stage training and orthogonality regularization for spoken language recognition. EURASIP J. Audio Speech Music. Process. Zimu Li, Yanyan Xu, Dengfeng Ke, Kaile Su
2022	—	`conf`	CM-CIF: Cross-Modal for Unaligned Modality Fusion with Continuous Integrate-and-Fire. ICCCS Zheng Jiang, Yang Xu, Yanyan Xu, Dengfeng Ke, Kaile Su
2022	A*	`conf`	Generalized Linear Integer Numeric Planning. ICAPS Xiaoyou Lin, Qingliang Chen, Liangda Fang, Quanlong Guan, Weiqi Luo, Kaile Su
2022	J	`jnl`	Hippocampus-heuristic character recognition network for zero-shot learning in Chinese character recognition. Pattern Recognit. Guanjie Huang, Xiangyu Luo, Shaowei Wang, Tianlong Gu, Kaile Su
2022	J	`jnl`	Masked multi-center angular margin loss for language recognition. EURASIP J. Audio Speech Music. Process. Minghang Ju, Yanyan Xu, Dengfeng Ke, Kaile Su
2022	—	`conf`	Research on Multi-round Dialogue Tasks Based on Sequicity. ICCCS Yingrui Pang, Zhenni Gong, Zixuan Zhao, Yanyan Xu, Dengfeng Ke, Kaile Su
2021	J	`jnl`	Anomaly Detection With Kernel Preserving Embedding. ACM Trans. Knowl. Discov. Data Huawen Liu, Enhui Li, Xinwang Liu, Kaile Su, Shichao Zhang
2021	J	`jnl`	Evaluating logic gate constraints in local search for structured satisfiability problems. Artif. Intell. Rev. M. A. Hakim Newton, Md. Masbaul Alam, Duc Nghia Pham, John Thornton, Kaile Su, Abdul Sattar
2021	J	`jnl`	μ-law SGAN for generating spectra with more details in speech enhancement. Neural Networks Hongfeng Li, Yanyan Xu, Dengfeng Ke, Kaile Su
2020	—	`conf`	A Generalized Denoising Method with an Optimized Loss Function for Automated Bird Sound Recognition. ICCCS Huangqiang Fang, Yulin He, Wanyang Xu, Yanyan Xu, Dengfeng Ke, Kaile Su
2020	J	`jnl`	Dropout with Tabu Strategy for Regularizing Deep Neural Networks. Comput. J. Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su
2020	A	`conf`	Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. ICCAD Xuanxiang Huang, Haipeng Che, Liangda Fang, Qingliang Chen, Quanlong Guan, Yuhui Deng, Kaile Su
2020	J	`jnl`	Improving speech enhancement by focusing on smaller values using relative loss. IET Signal Process. Hongfeng Li, Yanyan Xu, Dengfeng Ke, Kaile Su
2020	—	`conf`	Outlier Detection via Kernel Preserving Embedding and Random Walk. ICKG Enhui Li, Huawen Liu, Kaile Su, Shichao Zhang
2019	—	`conf`	Common Object Discovery as Local Search for Maximum Weight Cliques in a Global Object Similarity Graph. DGCI Cong Rao, Yi Fan, Kaile Su, Longin Jan Latecki
2019	J	`jnl`	Constraint guided accelerated search for mixed blocking permutation flowshop scheduling. Comput. Oper. Res. Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar
2019	J	`jnl`	Constraint guided search for aircraft sequencing. Expert Syst. Appl. Vahid Riahi, M. A. Hakim Newton, Md. Masbaul Alam, Kaile Su, Abdul Sattar
2019	—	`conf`	Efficient Local Search for Minimum Dominating Sets in Large Graphs. DASFAA (2) Yi Fan, Yongxuan Lai, Chengqian Li, Nan Li, Zongjie Ma, Jun Zhou, Longin Jan Latecki, Kaile Su
2019	J	`jnl`	Scheduling blocking flowshops with setup times via constraint guided and accelerated local search. Comput. Oper. Res. M. A. Hakim Newton, Vahid Riahi, Kaile Su, Abdul Sattar
2019	J	`jnl`	Trainable back-propagated functional transfer matrices. Appl. Intell. Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun
2018	J	`jnl`	A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games. Fundam. Informaticae Chanjuan Liu, Fenrong Liu, Kaile Su
2018	J	`jnl`	Advancing Tabu and Restart in Local Search for Maximum Weight Cliques. CoRR Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su
2018	J	`jnl`	Dropout with Tabu Strategy for Regularizing Deep Neural Networks. CoRR Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su
2018	B	`conf`	Fine-Grained Air Quality Prediction using Attention Based Neural Network. IJCNN Tianyu Liu, Yongzhi Ying, Yanyan Xu, Dengfeng Ke, Kaile Su
2018	A*	`conf`	Local Search for Flowshops with Setup Times and Blocking Constraints. ICAPS Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar
2018	B	`conf`	Mutual-optimization Towards Generative Adversarial Networks For Robust Speech Recognition. ICPR Ke Ding, Ne Luo, Yanyan Xu, Dengfeng Ke, Kaile Su
2018	J	`jnl`	Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. J. Log. Comput. Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
2017	A*	`conf`	A Reduction based Method for Coloring Very Large Graphs. IJCAI Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su
2017	A*	`conf`	CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). IJCAI Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
2017	J	`jnl`	CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability. Artif. Intell. Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
2017	J	`jnl`	Contextualized Latent Semantic Indexing: A New Approach to Automated Chinese Essay Scoring. J. Intell. Syst. Yanyan Xu, Dengfeng Ke, Kaile Su
2017	B	`conf`	Deep neural network bottleneck features for bird species verification. IJCNN Jinming Zhao, Yanyan Xu, Dengfeng Ke, Kaile Su
2017	—	`conf`	Deterministic Tournament Selection in Local Search for Maximum Edge Weight Clique on Large Sparse Graphs. Australasian Conference on Artificial Intelligence Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar
2017	B	`conf`	Efficient Local Search for Maximum Weight Cliques in Large Graphs. ICTAI Yi Fan, Zongjie Ma, Kaile Su, Chengqian Li, Cong Rao, Ren-Hau Liu, Longin Jan Latecki
2017	J	`jnl`	Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks. CoRR Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su
2017	J	`jnl`	Long Short-Term Memory Projection Recurrent Neural Network Architectures for Piano's Continuous Note Recognition. J. Robotics Yukang Jia, Zhicheng Wu, Yanyan Xu, Dengfeng Ke, Kaile Su
2017	—	`conf`	Quantified Coalition Logic of Knowledge, Belief and Certainty. Canadian AI Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar
2017	J	`jnl`	Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems. Frontiers Comput. Sci. Lijun Wu, Kaile Su, Yabiao Han, Jingyu Chen, Xiangyu Lu
2017	A*	`conf`	Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation. IJCAI Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su
2017	B	`conf`	Symbolic manipulation based on deep neural networks and its application to axiom discovery. IJCNN Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su
2017	J	`jnl`	Trainable back-propagated functional transfer matrices. CoRR Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun
2016	J	`jnl`	A first-order coalition logic for BDI-agents. Frontiers Comput. Sci. Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen
2016	J	`jnl`	A logical characterization of extensive games with short sight. Theor. Comput. Sci. Chanjuan Liu, Fenrong Liu, Kaile Su, Enqiang Zhu
2016	J	`jnl`	Formal Security Analysis of EAP-ERP Using Casper. IEEE Access Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su
2016	J	`jnl`	Functional Analysis of EAP-CRA. J. Networks Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su
2016	—	`conf`	Local Search for Maximum Vertex Weight Clique on Large Sparse Graphs with Efficient Data Structures. Australasian Conference on Artificial Intelligence Yi Fan, Chengqian Li, Zongjie Ma, Lian Wen, Abdul Sattar, Kaile Su
2016	B	`conf`	Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs. PRICAI Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar
2016	J	`jnl`	New local search methods for partial MaxSAT. Artif. Intell. Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su
2016	J	`jnl`	Normative Multiagent Systems: A Dynamic Generalization. CoRR Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su
2016	A*	`conf`	Normative Multiagent Systems: The Dynamic Generalization. IJCAI Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su
2016	B	`conf`	Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover. ICTAI Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar
2016	A*	`conf`	Reconfigurability in Reactive Multiagent Systems. IJCAI Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su
2016	—	`conf`	Robust Object Tracking Based on Collaborative Model via L2-Norm Minimization. CCPR (1) Xiaokang Qiao, Kaile Su, Zhonglong Zheng, Huawen Liu, Xiaowei He
2016	J	`jnl`	SCESS: a WFSA-based automated simplified chinese essay scoring system with incremental latent semantic analysis. Nat. Lang. Eng. Shudong Hao, Yanyan Xu, Dengfeng Ke, Kaile Su, Hengli Peng
2016	A*	`conf`	Strengthening Agents Strategic Ability with Communication. AAAI Xiaowei Huang, Qingliang Chen, Kaile Su
2015	B	`conf`	A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks. IJCNN Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su
2015	B	`conf`	A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games. PRIMA Chanjuan Liu, Fenrong Liu, Kaile Su
2015	J	`jnl`	A Fast Learning Method for Multilayer Perceptrons in Automatic Speech Recognition Systems. J. Robotics Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su
2015	J	`jnl`	A complete coalition logic of temporal knowledge for multi-agent systems. Frontiers Comput. Sci. Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu
2015	J	`jnl`	An I/O Efficient Approach for Detecting All Accepting Cycles. IEEE Trans. Software Eng. Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang
2015	J	`jnl`	An I/O Efficient Model Checking Algorithm for Large-Scale Systems. IEEE Trans. Very Large Scale Integr. Syst. Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang
2015	J	`jnl`	An effective variable selection heuristic in SLS for weighted Max-2-SAT. J. Heuristics Shaowei Cai, Zhong Jie, Kaile Su
2015	A	`conf`	CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. SAT Shaowei Cai, Chuan Luo, Kaile Su
2015	J	`jnl`	CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. IEEE Trans. Computers Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su
2015	J	`jnl`	Clause States Based Configuration Checking in Local Search for Satisfiability. IEEE Trans. Cybern. Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu
2015	J	`jnl`	Deep Neural Networks with Multistate Activation Functions. Comput. Intell. Neurosci. Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su
2015	J	`jnl`	Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation. Comput. J. Shaowei Cai, Chuan Luo, Kaile Su
2015	Misc	`conf`	Lower and Upper Bounds for Random Mimimum Satisfiability Problem. FAW Ping Huang, Kaile Su
2015	A	`conf`	Multi-task learning deep neural networks for speech feature denoising. INTERSPEECH Bin Huang, Dengfeng Ke, Hao Zheng, Bo Xu, Yanyan Xu, Kaile Su
2015	—	`conf`	Symbolic Model Checking for Dynamic Epistemic Logic. LORI Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
2015	A*	`conf`	TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). ASE Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang
2015	A*	`conf`	The Complexity of Model Checking Succinct Multiagent Systems. IJCAI Xiaowei Huang, Qingliang Chen, Kaile Su
2015	A*	`conf`	Two Weighting Local Search for Minimum Vertex Cover. AAAI Shaowei Cai, Jinkun Lin, Kaile Su
2014	B	`conf`	Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing. ICPR Shudong Hao, Yanyan Xu, Hengli Peng, Kaile Su, Dengfeng Ke
2014	—	`conf`	Beam-Width Adaptation for Hierarchical Phrase-Based Translation. CICLing (2) Fei Su, Gang Chen, Xinyan Xiao, Kaile Su
2014	—	`conf`	Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems. Canadian AI Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu
2014	A*	`conf`	Double Configuration Checking in Stochastic Local Search for Satisfiability. AAAI Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
2014	B	`conf`	Fast Learning of Deep Neural Networks via Singular Value Decomposition. PRICAI Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su
2014	J	`jnl`	More efficient two-mode stochastic local search for random 3-satisfiability. Appl. Intell. Chuan Luo, Kaile Su, Shaowei Cai
2014	J	`jnl`	NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. CoRR Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
2014	—	`conf`	PPML: Penalized Partial Least Squares Discriminant Analysis for Multi-Label Learning. WAIM Zongjie Ma, Huawen Liu, Kaile Su, Zhonglong Zheng
2014	J	`jnl`	Preference dynamics in games with short sight. Appl. Math. Comput. Chanjuan Liu, Enqiang Zhu, Fenrong Liu, Kaile Su
2014	B	`conf`	Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. PRICAI Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo
2014	J	`jnl`	Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. J. Artif. Intell. Res. Shaowei Cai, Chuan Luo, Kaile Su
2014	A*	`conf`	Tailoring Local Search for Partial MaxSAT. AAAI Shaowei Cai, Chuan Luo, John Thornton, Kaile Su
2014	J	`jnl`	Variable Forgetting in Reasoning about Knowledge. CoRR Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
2013	—	`conf`	A Customized Lexicalized Reordering Model for Machine Translation between Chinese and English. CLSW Fei Su, Jin Huang, Kaile Su
2013	—	`conf`	A Logic for Extensive Games with Short Sight. LORI Chanjuan Liu, Fenrong Liu, Kaile Su
2013	A	`conf`	Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer. ICDAR Shudong Hao, Zongtian Gao, Mingqing Zhang, Yanyan Xu, Hengli Peng, Kaile Su, Dengfeng Ke
2013	A*	`conf`	CacBDD: A BDD Package with Dynamic Cache Management. CAV Guanfeng Lv, Kaile Su, Yanyan Xu
2013	A*	`conf`	Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. IJCAI Shaowei Cai, Kaile Su
2013	—	`conf`	FWLS: A Local Search for Graph Coloring. FAW-AAIM Wei Wu, Chuan Luo, Kaile Su
2013	A	`conf`	Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. CP Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
2013	A*	`conf`	Improving WalkSAT for Random k-Satisfiability Problem with k > 3. AAAI Shaowei Cai, Kaile Su, Chuan Luo
2013	J	`jnl`	Local search for Boolean Satisfiability with configuration checking and subscore. Artif. Intell. Shaowei Cai, Kaile Su
2013	J	`jnl`	Logic and AI in China: An Introduction. Minds Mach. Fenrong Liu, Kaile Su
2013	J	`jnl`	NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. J. Artif. Intell. Res. Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
2012	Misc	`conf`	A Succinct and Efficient Implementation of a 2^32 BDD Package. TASE Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su
2012	J	`jnl`	A complete first-order temporal BDI logic for forest multi-agent systems. Knowl. Based Syst. Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu
2012	A*	`conf`	Configuration Checking with Aspiration in Local Search for SAT. AAAI Shaowei Cai, Kaile Su
2012	—	`ed.`	Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings FAW-AAIM Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang
2012	A	`conf`	Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. ECAI Chuan Luo, Kaile Su, Shaowei Cai
2012	A*	`conf`	Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. AAAI Xiaowei Huang, Kaile Su, Chenyi Zhang
2012	—	`conf`	Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. FAW-AAIM Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang
2012	A*	`conf`	Two New Local Search Strategies for Minimum Vertex Cover. AAAI Shaowei Cai, Kaile Su, Abdul Sattar
2011	A*	`conf`	Large Hinge Width on Sparse Random Hypergraphs. IJCAI Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu
2011	B	`conf`	Local Search with Configuration Checking for SAT. ICTAI Shaowei Cai, Kaile Su
2011	J	`jnl`	Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artif. Intell. Shaowei Cai, Kaile Su, Abdul Sattar
2010	J	`jnl`	A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems. Knowl. Based Syst. Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang
2010	—	`conf`	Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model. ICSS Qingliang Chen, Kaile Su, Chanjuan Liu, Yinyin Xiao
2010	A*	`conf`	EWLS: A New Local Search for Minimum Vertex Cover. AAAI Shaowei Cai, Kaile Su, Qingliang Chen
2010	—	`conf`	Symbolic Model Checking the Knowledge in Herbivore Protocol. MoChArt Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang
2009	C	`conf`	Knowware: The Third Star after Hardware and Software. KSEM David A. Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang
2009	Misc	`conf`	The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. FAW Yanyan Xu, Weiya Yue, Kaile Su
2009	J	`jnl`	Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
2008	A*	`conf`	An Extended Interpreted System Model for Epistemic Logics. AAAI Kaile Su, Abdul Sattar
2008	Misc	`conf`	Improving Encoding Efficiency for Bounded Model Checking. TASE Jinji Yang, Kaile Su, Qingliang Chen
2008	—	`conf`	Solving Sum and Product Riddle via BDD-Based Model Checking. Web Intelligence/IAT Workshops Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen
2008	A*	`conf`	Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. AAAI Han Lin, Kaile Su, Chu Min Li
2007	A*	`conf`	A Modal Logic for Beliefs and Pro Attitudes. AAAI Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds
2007	A*	`conf`	Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. IJCAI Han Lin, Kaile Su
2007	J	`jnl`	Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. Kaile Su, Abdul Sattar, Xiangyu Luo
2007	J	`jnl`	Primitive recursive real numbers. Math. Log. Q. Qingliang Chen, Kaile Su, Xizhong Zheng
2007	J	`jnl`	Semantic interpretation of compositional logic in instantiation space. Frontiers Comput. Sci. China Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin
2006	J	`jnl`	A logical framework for identifying quality knowledge from different data sources. Decis. Support Syst. Kaile Su, Huijing Huang, Xindong Wu, Shichao Zhang
2006	—	`conf`	BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning. Australian Conference on Artificial Intelligence Weiya Yue, Yanyan Xu, Kaile Su
2006	C	`conf`	Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo
2006	C	`conf`	Primitive Recursiveness of Real Numbers under Different Representations. CCA Qingliang Chen, Kaile Su, Xizhong Zheng
2006	A	`conf`	The interpreted system model of knowledge, belief, desire and intention. AAMAS Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun
2006	J	`jnl`	Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. J. Comput. Sci. Technol. Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng
2006	—	`conf`	Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
2005	A*	`conf`	A Theory of Forgetting in Logic Programming. AAAI Kewen Wang, Abdul Sattar, Kaile Su
2005	A	`conf`	A computationally grounded logic of knowledge, belief and certainty. AAMAS Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen
2005	A	`conf`	Bounded model checking knowledge and branching time in synchronous multi-agent systems. AAMAS Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
2005	A*	`conf`	Computationally Grounded Model of BDI-Agents. IJCAI Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori
2005	—	`conf`	Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. WINE Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen
2005	J	`jnl`	Knowledge structure approach to verification of authentication protocols. Sci. China Ser. F Inf. Sci. Kaile Su, Guanfeng Lv, Qingliang Chen
2005	—	`conf`	Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. CIS (1) Lijun Wu, Kaile Su, Qingliang Chen
2005	A*	`conf`	Observation-based Model for BDI-Agents. AAAI Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan
2004	A*	`conf`	Model Checking Temporal Logics of Knowledge in Distributed Systems. AAAI Kaile Su
2004	A*	`conf`	Reasoning about Knowledge by Variable Forgetting. KR Kaile Su, Guanfeng Lv, Yan Zhang
2004	—	`conf`	Symbolic Model Checking the Knowledge of the Dining Cryptographers. CSFW Ron van der Meyden, Kaile Su
2002	—	`conf`	Intelligent Student Profiling with Fuzzy Models. HICSS Dongming Xu, Huaiqing Wang, Kaile Su
2002	B	`conf`	Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. Advances in Modal Logic Kai Engelhardt, Ron van der Meyden, Kaile Su
2001	Misc	`conf`	A Logical Framework for Knowledge Sharing in Multi-agent Systems. COCOON Kaile Su, Xudong Luo, Huaiqing Wang, Chengqi Zhang, Shichao Zhang, Qingfeng Chen
2001	J	`jnl`	Constraints on Extensions of a Default Theory. J. Comput. Sci. Technol. Kaile Su
2001	J	`jnl`	More on Representation Theory for Default Logic. Inf. Comput. Kaile Su
2000	J	`jnl`	Two alternative notions of 'possibility' satisfying Halpern's conditions. J. Log. Comput. Kaile Su, Huowang Chen, Decheng Ding
1999	J	`jnl`	Computation of Extensions of Seminormal Default Theories. Fundam. Informaticae Kaile Su, Wei Li
1997	Misc	`conf`	A Three-Valued Quantificational Logic of Context. COCOON Kaile Su, Decheng Ding, Huowang Chen