default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKaile Su
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j60]Zhiyuan Li
, Lijun Wu, Kaile Su, Wei Wu, Yulin Jing, Tong Wu, Weiwei Duan, Xiaofeng Yue, Xiyi Tong, Yizhou Han:
Coordination as inference in multi-agent reinforcement learning. Neural Networks 172: 106101 (2024)- [j59]Zimu Li, Yanyan Xu, Dengfeng Ke, Kaile Su:
PLDE: A lightweight pooling layer for spoken language recognition. Speech Commun. 158: 103055 (2024) - [j58]Yulin Bao, Chenyi Zhang, Kaile Su:
Call-Graph-Based Context-Sensitive Points-to Analysis for Java. IEEE Trans. Reliab. 73(2): 851-860 (2024) - [c90]Qi Deng, Lijun Wu, Kaile Su, Wei Wu, Zhiyuan Li, Weiwei Duan:
Hierarchical Fusion Framework for Multimodal Dialogue Response Generation. IJCNN 2024: 1-8 - 2023
- [j57]Zimu Li, Yanyan Xu, Dengfeng Ke, Kaile Su:
Three-stage training and orthogonality regularization for spoken language recognition. EURASIP J. Audio Speech Music. Process. 2023(1): 14 (2023) - [j56]Yi Fan, Zaijun Zhang, Quan Yu, Yongxuan Lai, Kaile Su, Yiyuan Wang, Shiwei Pan, Longin Jan Latecki:
Iterated Clique Reductions in Vertex Weighted Coloring for Large Sparse Graphs. Entropy 25(10): 1376 (2023) - [j55]Min Lin, Yanyan Xu, Chenghao Cai, Dengfeng Ke, Kaile Su:
A lattice-transformer-graph deep learning model for Chinese named entity recognition. J. Intell. Syst. 32(1) (2023) - [j54]Minghang Ju, Yanyan Xu, Dengfeng Ke, Kaile Su:
Multi-domain Attention Fusion Network For Language Recognition. SN Comput. Sci. 4(1): 39 (2023) - [j53]Zhiyuan Li, Lijun Wu, Xiangyun Zeng, Xiaofeng Yue, Yulin Jing, Wei Wu, Kaile Su:
Online Coordinated NFV Resource Allocation via Novel Machine Learning Techniques. IEEE Trans. Netw. Serv. Manag. 20(1): 563-577 (2023) - [i8]Shuangqin Cheng, Qingliang Chen, Qiyi Zhang, Ming Li, Yamuhanmode Alike, Kaile Su, Pengcheng Wen:
SdCT-GAN: Reconstructing CT from Biplanar X-Rays with Self-driven Generative Adversarial Networks. CoRR abs/2309.04960 (2023) - 2022
- [j52]Minghang Ju, Yanyan Xu, Dengfeng Ke, Kaile Su:
Masked multi-center angular margin loss for language recognition. EURASIP J. Audio Speech Music. Process. 2022(1): 17 (2022) - [j51]Guanjie Huang, Xiangyu Luo, Shaowei Wang, Tianlong Gu, Kaile Su:
Hippocampus-heuristic character recognition network for zero-shot learning in Chinese character recognition. Pattern Recognit. 130: 108818 (2022) - [c89]Xiaoyou Lin, Qingliang Chen, Liangda Fang, Quanlong Guan, Weiqi Luo, Kaile Su:
Generalized Linear Integer Numeric Planning. ICAPS 2022: 241-251 - [c88]Yingrui Pang, Zhenni Gong, Zixuan Zhao, Yanyan Xu, Dengfeng Ke, Kaile Su:
Research on Multi-round Dialogue Tasks Based on Sequicity. ICCCS 2022: 57-62 - [c87]Zheng Jiang, Yang Xu, Yanyan Xu, Dengfeng Ke, Kaile Su:
CM-CIF: Cross-Modal for Unaligned Modality Fusion with Continuous Integrate-and-Fire. ICCCS 2022: 358-361 - 2021
- [j50]M. A. Hakim Newton, Md. Masbaul Alam, Duc Nghia Pham, John Thornton, Kaile Su, Abdul Sattar:
Evaluating logic gate constraints in local search for structured satisfiability problems. Artif. Intell. Rev. 54(7): 5347-5411 (2021) - [j49]Hongfeng Li, Yanyan Xu, Dengfeng Ke, Kaile Su:
μ-law SGAN for generating spectra with more details in speech enhancement. Neural Networks 136: 17-27 (2021) - [j48]Huawen Liu, Enhui Li, Xinwang Liu, Kaile Su, Shichao Zhang:
Anomaly Detection With Kernel Preserving Embedding. ACM Trans. Knowl. Discov. Data 15(5): 91:1-91:18 (2021) - 2020
- [j47]Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su:
Dropout with Tabu Strategy for Regularizing Deep Neural Networks. Comput. J. 63(7): 1031-1038 (2020) - [j46]Hongfeng Li, Yanyan Xu, Dengfeng Ke, Kaile Su:
Improving speech enhancement by focusing on smaller values using relative loss. IET Signal Process. 14(6): 374-384 (2020) - [c86]Huangqiang Fang, Yulin He, Wanyang Xu, Yanyan Xu, Dengfeng Ke, Kaile Su:
A Generalized Denoising Method with an Optimized Loss Function for Automated Bird Sound Recognition. ICCCS 2020: 240-245 - [c85]Enhui Li, Huawen Liu, Kaile Su, Shichao Zhang:
Outlier Detection via Kernel Preserving Embedding and Random Walk. ICKG 2020: 20-25 - [c84]Xuanxiang Huang, Haipeng Che, Liangda Fang, Qingliang Chen, Quanlong Guan, Yuhui Deng, Kaile Su:
Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. ICCAD 2020: 131:1-131:9
2010 – 2019
- 2019
- [j45]Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun:
Trainable back-propagated functional transfer matrices. Appl. Intell. 49(2): 376-395 (2019) - [j44]Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar:
Constraint guided accelerated search for mixed blocking permutation flowshop scheduling. Comput. Oper. Res. 102: 102-120 (2019) - [j43]M. A. Hakim Newton, Vahid Riahi, Kaile Su, Abdul Sattar:
Scheduling blocking flowshops with setup times via constraint guided and accelerated local search. Comput. Oper. Res. 109: 64-76 (2019) - [j42]Vahid Riahi, M. A. Hakim Newton, Md. Masbaul Alam, Kaile Su, Abdul Sattar:
Constraint guided search for aircraft sequencing. Expert Syst. Appl. 118: 440-458 (2019) - [c83]Yi Fan, Yongxuan Lai, Chengqian Li, Nan Li, Zongjie Ma, Jun Zhou, Longin Jan Latecki, Kaile Su:
Efficient Local Search for Minimum Dominating Sets in Large Graphs. DASFAA (2) 2019: 211-228 - [c82]Cong Rao, Yi Fan, Kaile Su, Longin Jan Latecki:
Common Object Discovery as Local Search for Maximum Weight Cliques in a Global Object Similarity Graph. DGCI 2019: 219-233 - 2018
- [j41]Chanjuan Liu, Fenrong Liu, Kaile Su:
A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games. Fundam. Informaticae 158(1-3): 149-169 (2018) - [j40]Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su:
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. J. Log. Comput. 28(2): 367-402 (2018) - [c81]Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar:
Local Search for Flowshops with Setup Times and Blocking Constraints. ICAPS 2018: 199-207 - [c80]Ke Ding, Ne Luo, Yanyan Xu, Dengfeng Ke, Kaile Su:
Mutual-optimization Towards Generative Adversarial Networks For Robust Speech Recognition. ICPR 2018: 2699-2704 - [c79]Tianyu Liu, Yongzhi Ying, Yanyan Xu, Dengfeng Ke, Kaile Su:
Fine-Grained Air Quality Prediction using Attention Based Neural Network. IJCNN 2018: 1-6 - [i7]Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su:
Advancing Tabu and Restart in Local Search for Maximum Weight Cliques. CoRR abs/1804.08187 (2018) - [i6]Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su:
Dropout with Tabu Strategy for Regularizing Deep Neural Networks. CoRR abs/1808.09907 (2018) - 2017
- [j39]Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang:
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability. Artif. Intell. 243: 26-44 (2017) - [j38]Lijun Wu, Kaile Su, Yabiao Han, Jingyu Chen, Xiangyu Lu:
Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems. Frontiers Comput. Sci. 11(3): 499-510 (2017) - [j37]Yanyan Xu, Dengfeng Ke, Kaile Su:
Contextualized Latent Semantic Indexing: A New Approach to Automated Chinese Essay Scoring. J. Intell. Syst. 26(2): 263 (2017) - [j36]YuKang Jia, Zhicheng Wu, Yanyan Xu, Dengfeng Ke, Kaile Su:
Long Short-Term Memory Projection Recurrent Neural Network Architectures for Piano's Continuous Note Recognition. J. Robotics 2017: 2061827:1-2061827:7 (2017) - [c78]Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar:
Quantified Coalition Logic of Knowledge, Belief and Certainty. Canadian AI 2017: 351-360 - [c77]Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar:
Deterministic Tournament Selection in Local Search for Maximum Edge Weight Clique on Large Sparse Graphs. Australasian Conference on Artificial Intelligence 2017: 353-364 - [c76]Yi Fan, Zongjie Ma, Kaile Su, Chengqian Li, Cong Rao, Ren-Hau Liu, Longin Jan Latecki:
Efficient Local Search for Maximum Weight Cliques in Large Graphs. ICTAI 2017: 1099-1104 - [c75]Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su:
A Reduction based Method for Coloring Very Large Graphs. IJCAI 2017: 517-523 - [c74]Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su:
Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation. IJCAI 2017: 622-630 - [c73]Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang:
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). IJCAI 2017: 5030-5034 - [c72]Jinming Zhao, Yanyan Xu, Dengfeng Ke, Kaile Su:
Deep neural network bottleneck features for bird species verification. IJCNN 2017: 927-933 - [c71]Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su:
Symbolic manipulation based on deep neural networks and its application to axiom discovery. IJCNN 2017: 2136-2143 - [i5]Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su:
Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks. CoRR abs/1704.07503 (2017) - [i4]Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun:
Trainable back-propagated functional transfer matrices. CoRR abs/1710.10403 (2017) - 2016
- [j35]Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su:
Formal Security Analysis of EAP-ERP Using Casper. IEEE Access 4: 383-396 (2016) - [j34]Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su:
New local search methods for partial MaxSAT. Artif. Intell. 240: 1-18 (2016) - [j33]Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen:
A first-order coalition logic for BDI-agents. Frontiers Comput. Sci. 10(2): 233-245 (2016) - [j32]Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su:
Functional Analysis of EAP-CRA. J. Networks 11(01): 28-38 (2016) - [j31]Shudong Hao, Yanyan Xu, Dengfeng Ke, Kaile Su, Hengli Peng:
SCESS: a WFSA-based automated simplified chinese essay scoring system with incremental latent semantic analysis. Nat. Lang. Eng. 22(2): 291-319 (2016) - [j30]Chanjuan Liu, Fenrong Liu, Kaile Su, Enqiang Zhu:
A logical characterization of extensive games with short sight. Theor. Comput. Sci. 612: 63-82 (2016) - [c70]Xiaowei Huang, Qingliang Chen, Kaile Su:
Strengthening Agents Strategic Ability with Communication. AAAI 2016: 2509-2515 - [c69]Yi Fan, Chengqian Li, Zongjie Ma, Lian Wen, Abdul Sattar, Kaile Su:
Local Search for Maximum Vertex Weight Clique on Large Sparse Graphs with Efficient Data Structures. Australasian Conference on Artificial Intelligence 2016: 255-267 - [c68]Xiaokang Qiao, Kaile Su, Zhonglong Zheng, Huawen Liu, Xiaowei He:
Robust Object Tracking Based on Collaborative Model via L2-Norm Minimization. CCPR (1) 2016: 486-500 - [c67]Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar:
Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover. ICTAI 2016: 686-690 - [c66]Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su:
Reconfigurability in Reactive Multiagent Systems. IJCAI 2016: 315-321 - [c65]Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su:
Normative Multiagent Systems: The Dynamic Generalization. IJCAI 2016: 1123-1129 - [c64]Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar:
Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs. PRICAI 2016: 283-294 - [i3]Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su:
Normative Multiagent Systems: A Dynamic Generalization. CoRR abs/1604.05086 (2016) - 2015
- [j29]Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su:
Deep Neural Networks with Multistate Activation Functions. Comput. Intell. Neurosci. 2015: 721367:1-721367:10 (2015) - [j28]Shaowei Cai, Chuan Luo, Kaile Su:
Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation. Comput. J. 58(11): 2864-2875 (2015) - [j27]Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu:
A complete coalition logic of temporal knowledge for multi-agent systems. Frontiers Comput. Sci. 9(1): 75-86 (2015) - [j26]Shaowei Cai, Zhong Jie, Kaile Su:
An effective variable selection heuristic in SLS for weighted Max-2-SAT. J. Heuristics 21(3): 433-456 (2015) - [j25]Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su:
A Fast Learning Method for Multilayer Perceptrons in Automatic Speech Recognition Systems. J. Robotics 2015: 797083:1-797083:7 (2015) - [j24]Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su:
CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. IEEE Trans. Computers 64(7): 1830-1843 (2015) - [j23]Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu:
Clause States Based Configuration Checking in Local Search for Satisfiability. IEEE Trans. Cybern. 45(5): 1014-1027 (2015) - [j22]Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang:
An I/O Efficient Approach for Detecting All Accepting Cycles. IEEE Trans. Software Eng. 41(8): 730-744 (2015) - [j21]Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang:
An I/O Efficient Model Checking Algorithm for Large-Scale Systems. IEEE Trans. Very Large Scale Integr. Syst. 23(5): 905-915 (2015) - [c63]Shaowei Cai, Jinkun Lin, Kaile Su:
Two Weighting Local Search for Minimum Vertex Cover. AAAI 2015: 1107-1113 - [c62]Ping Huang, Kaile Su:
Lower and Upper Bounds for Random Mimimum Satisfiability Problem. FAW 2015: 115-124 - [c61]Xiaowei Huang, Qingliang Chen, Kaile Su:
The Complexity of Model Checking Succinct Multiagent Systems. IJCAI 2015: 1076-1082 - [c60]Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su:
A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks. IJCNN 2015: 1-8 - [c59]Bin Huang, Dengfeng Ke, Hao Zheng, Bo Xu, Yanyan Xu, Kaile Su:
Multi-task learning deep neural networks for speech feature denoising. INTERSPEECH 2015: 2464-2468 - [c58]Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang:
TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). ASE 2015: 494-505 - [c57]Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su:
Symbolic Model Checking for Dynamic Epistemic Logic. LORI 2015: 366-378 - [c56]Chanjuan Liu, Fenrong Liu, Kaile Su:
A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games. PRIMA 2015: 467-480 - [c55]Shaowei Cai, Chuan Luo, Kaile Su:
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. SAT 2015: 1-8 - 2014
- [j20]Chanjuan Liu, Enqiang Zhu, Fenrong Liu, Kaile Su:
Preference dynamics in games with short sight. Appl. Math. Comput. 244: 493-501 (2014) - [j19]Chuan Luo, Kaile Su, Shaowei Cai:
More efficient two-mode stochastic local search for random 3-satisfiability. Appl. Intell. 41(3): 665-680 (2014) - [j18]Shaowei Cai, Chuan Luo, Kaile Su:
Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. J. Artif. Intell. Res. 51: 413-441 (2014) - [c54]Shaowei Cai, Chuan Luo, John Thornton, Kaile Su:
Tailoring Local Search for Partial MaxSAT. AAAI 2014: 2623-2629 - [c53]Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su:
Double Configuration Checking in Stochastic Local Search for Satisfiability. AAAI 2014: 2703-2709 - [c52]Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu:
Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems. Canadian AI 2014: 269-274 - [c51]Fei Su, Gang Chen, Xinyan Xiao, Kaile Su:
Beam-Width Adaptation for Hierarchical Phrase-Based Translation. CICLing (2) 2014: 224-232 - [c50]Shudong Hao, Yanyan Xu, Hengli Peng, Kaile Su, Dengfeng Ke:
Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing. ICPR 2014: 3092-3097 - [c49]Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su:
Fast Learning of Deep Neural Networks via Singular Value Decomposition. PRICAI 2014: 820-826 - [c48]Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo:
Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. PRICAI 2014: 871-876 - [c47]Zongjie Ma, Huawen Liu, Kaile Su, Zhonglong Zheng:
PPML: Penalized Partial Least Squares Discriminant Analysis for Multi-Label Learning. WAIM 2014: 645-656 - [i2]Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang:
Variable Forgetting in Reasoning about Knowledge. CoRR abs/1401.3472 (2014) - [i1]Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar:
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. CoRR abs/1402.0584 (2014) - 2013
- [j17]Shaowei Cai, Kaile Su:
Local search for Boolean Satisfiability with configuration checking and subscore. Artif. Intell. 204: 75-98 (2013) - [j16]Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar:
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. J. Artif. Intell. Res. 46: 687-716 (2013) - [j15]Fenrong Liu, Kaile Su:
Logic and AI in China: An Introduction. Minds Mach. 23(1): 1-4 (2013) - [c46]Shaowei Cai, Kaile Su, Chuan Luo:
Improving WalkSAT for Random k-Satisfiability Problem with k > 3. AAAI 2013: 145-151 - [c45]Wei Wu, Chuan Luo, Kaile Su:
FWLS: A Local Search for Graph Coloring. FAW-AAIM 2013: 84-93 - [c44]Guanfeng Lv, Kaile Su, Yanyan Xu:
CacBDD: A BDD Package with Dynamic Cache Management. CAV 2013: 229-234 - [c43]Fei Su, Jin Huang, Kaile Su:
A Customized Lexicalized Reordering Model for Machine Translation between Chinese and English. CLSW 2013: 359-367 - [c42]Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su:
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. CP 2013: 481-496 - [c41]Shudong Hao, Zongtian Gao, Mingqing Zhang, Yanyan Xu, Hengli Peng, Kaile Su, Dengfeng Ke:
Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer. ICDAR 2013: 763-767 - [c40]Shaowei Cai, Kaile Su:
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. IJCAI 2013: 489-495 - [c39]Chanjuan Liu, Fenrong Liu, Kaile Su:
A Logic for Extensive Games with Short Sight. LORI 2013: 332-336 - 2012
- [j14]Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu:
A complete first-order temporal BDI logic for forest multi-agent systems. Knowl. Based Syst. 27: 343-351 (2012) - [c38]Shaowei Cai, Kaile Su:
Configuration Checking with Aspiration in Local Search for SAT. AAAI 2012: 434-440 - [c37]Shaowei Cai, Kaile Su, Abdul Sattar:
Two New Local Search Strategies for Minimum Vertex Cover. AAAI 2012: 441-447 - [c36]Xiaowei Huang, Kaile Su, Chenyi Zhang:
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. AAAI 2012: 765-771 - [c35]Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang:
Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. FAW-AAIM 2012: 259-268 - [c34]Chuan Luo, Kaile Su, Shaowei Cai:
Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. ECAI 2012: 570-575 - [c33]Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su:
A Succinct and Efficient Implementation of a 2^32 BDD Package. TASE 2012: 241-244 - [e1]Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang:
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings. Lecture Notes in Computer Science 7285, Springer 2012, ISBN 978-3-642-29699-4 [contents] - 2011
- [j13]Shaowei Cai, Kaile Su, Abdul Sattar:
Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artif. Intell. 175(9-10): 1672-1696 (2011) - [c32]Shaowei Cai, Kaile Su:
Local Search with Configuration Checking for SAT. ICTAI 2011: 59-66 - [c31]Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu:
Large Hinge Width on Sparse Random Hypergraphs. IJCAI 2011: 611-616 - 2010
- [j12]Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang:
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems. Knowl. Based Syst. 23(2): 162-168 (2010) - [c30]Shaowei Cai, Kaile Su, Qingliang Chen:
EWLS: A New Local Search for Minimum Vertex Cover. AAAI 2010: 45-50 - [c29]Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang:
Symbolic Model Checking the Knowledge in Herbivore Protocol. MoChArt 2010: 112-129 - [c28]Qingliang Chen, Kaile Su, Chanjuan Liu, Yinyin Xiao:
Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model. ICSS 2010: 49-54
2000 – 2009
- 2009
- [j11]Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang:
Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. 35: 677-716 (2009) - [c27]Yanyan Xu, Weiya Yue, Kaile Su:
The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. FAW 2009: 271-282 - [c26]David A. Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang:
Knowware: The Third Star after Hardware and Software. KSEM 2009: 3 - 2008
- [c25]Han Lin, Kaile Su, Chu Min Li:
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. AAAI 2008: 351-356 - [c24]Kaile Su, Abdul Sattar:
An Extended Interpreted System Model for Epistemic Logics. AAAI 2008: 554-559 - [c23]Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen:
Solving Sum and Product Riddle via BDD-Based Model Checking. Web Intelligence/IAT Workshops 2008: 630-633 - [c22]Jinji Yang, Kaile Su, Qingliang Chen:
Improving Encoding Efficiency for Bounded Model Checking. TASE 2008: 31-38 - 2007
- [j10]Kaile Su, Abdul Sattar, Xiangyu Luo:
Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. 50(4): 403-420 (2007) - [j9]Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin:
Semantic interpretation of compositional logic in instantiation space. Frontiers Comput. Sci. China 1(2): 191-199 (2007) - [j8]Qingliang Chen, Kaile Su, Xizhong Zheng:
Primitive recursive real numbers. Math. Log. Q. 53(4-5): 365-380 (2007) - [c21]Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds:
A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501 - [c20]Han Lin, Kaile Su:
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. IJCAI 2007: 2334-2339 - 2006
- [j7]Kaile Su, Huijing Huang, Xindong Wu, Shichao Zhang:
A logical framework for identifying quality knowledge from different data sources. Decis. Support Syst. 42(3): 1673-1683 (2006) - [j6]Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng:
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. J. Comput. Sci. Technol. 21(6): 932-943 (2006) - [c19]Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun:
The interpreted system model of knowledge, belief, desire and intention. AAMAS 2006: 220-222 - [c18]Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds:
Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence 2006: 69-78 - [c17]Weiya Yue, Yanyan Xu, Kaile Su:
BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning. Australian Conference on Artificial Intelligence 2006: 627-636 - [c16]Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo:
Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM 2006: 366-378 - [c15]Qingliang Chen, Kaile Su, Xizhong Zheng:
Primitive Recursiveness of Real Numbers under Different Representations. CCA 2006: 303-324 - 2005
- [j5]Kaile Su, Guanfeng Lv, Qingliang Chen:
Knowledge structure approach to verification of authentication protocols. Sci. China Ser. F Inf. Sci. 48(4): 513-532 (2005) - [c14]Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan:
Observation-based Model for BDI-Agents. AAAI 2005: 190-195 - [c13]Kewen Wang, Abdul Sattar, Kaile Su:
A Theory of Forgetting in Logic Programming. AAAI 2005: 682-688 - [c12]Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen:
A computationally grounded logic of knowledge, belief and certainty. AAMAS 2005: 149-156 - [c11]Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv:
Bounded model checking knowledge and branching time in synchronous multi-agent systems. AAMAS 2005: 1129-1130 - [c10]Lijun Wu, Kaile Su, Qingliang Chen:
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. CIS (1) 2005: 349-354 - [c9]Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori:
Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582 - [c8]Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen:
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. WINE 2005: 391-404 - 2004
- [c7]Kaile Su:
Model Checking Temporal Logics of Knowledge in Distributed Systems. AAAI 2004: 98-103 - [c6]Ron van der Meyden, Kaile Su:
Symbolic Model Checking the Knowledge of the Dining Cryptographers. CSFW 2004: 280- - [c5]Kaile Su, Guanfeng Lv, Yan Zhang:
Reasoning about Knowledge by Variable Forgetting. KR 2004: 576-586 - 2002
- [c4]Kai Engelhardt, Ron van der Meyden, Kaile Su:
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. Advances in Modal Logic 2002: 9-30 - [c3]Dongming Xu, Huaiqing Wang, Kaile Su:
Intelligent Student Profiling with Fuzzy Models. HICSS 2002: 81 - 2001
- [j4]Kaile Su:
More on Representation Theory for Default Logic. Inf. Comput. 169(1): 81-93 (2001) - [j3]Kaile Su:
Constraints on Extensions of a Default Theory. J. Comput. Sci. Technol. 16(4): 329-340 (2001) - [c2]Kaile Su, Xudong Luo, Huaiqing Wang, Chengqi Zhang, Shichao Zhang, Qingfeng Chen:
A Logical Framework for Knowledge Sharing in Multi-agent Systems. COCOON 2001: 561-570 - 2000
- [j2]Kaile Su, Huowang Chen, Decheng Ding:
Two alternative notions of 'possibility' satisfying Halpern's conditions. J. Log. Comput. 10(2): 253-269 (2000)
1990 – 1999
- 1999
- [j1]Kaile Su, Wei Li:
Computation of Extensions of Seminormal Default Theories. Fundam. Informaticae 40(1): 79-102 (1999) - 1997
- [c1]Kaile Su, Decheng Ding, Huowang Chen:
A Three-Valued Quantificational Logic of Context. COCOON 1997: 343-352
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
