Kaile Su

According to our database, Kaile Su authored at least 153 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Call-Graph-Based Context-Sensitive Points-to Analysis for Java.

Yulin Bao, Chenyi Zhang, Kaile Su

IEEE Trans. Reliab., June, 2024

PLDE: A lightweight pooling layer for spoken language recognition.

Zimu Li, Yanyan Xu, Dengfeng Ke, Kaile Su

Speech Commun., 2024

Coordination as inference in multi-agent reinforcement learning.

Zhiyuan Li, Lijun Wu, Kaile Su, Wei Wu, Yulin Jing, Tong Wu, Weiwei Duan, Xiaofeng Yue, Xiyi Tong, Yizhou Han

Neural Networks, 2024

Hierarchical Fusion Framework for Multimodal Dialogue Response Generation.

Qi Deng, Lijun Wu, Kaile Su, Wei Wu, Zhiyuan Li, Weiwei Duan

Proceedings of the International Joint Conference on Neural Networks, 2024

2023

Three-stage training and orthogonality regularization for spoken language recognition.

Zimu Li, Yanyan Xu, Dengfeng Ke, Kaile Su

EURASIP J. Audio Speech Music. Process., December, 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, October, 2023

Online Coordinated NFV Resource Allocation via Novel Machine Learning Techniques.

Zhiyuan Li, Lijun Wu, Xiangyun Zeng, Xiaofeng Yue, Yulin Jing, Wei Wu, Kaile Su

IEEE Trans. Netw. Serv. Manag., March, 2023

Multi-domain Attention Fusion Network For Language Recognition.

Minghang Ju, Yanyan Xu, Dengfeng Ke, Kaile Su

SN Comput. Sci., 2023

A lattice-transformer-graph deep learning model for Chinese named entity recognition.

Min Lin, Yanyan Xu, Chenghao Cai, Dengfeng Ke, Kaile Su

J. Intell. Syst., 2023

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

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

Masked multi-center angular margin loss for language recognition.

Minghang Ju, Yanyan Xu, Dengfeng Ke, Kaile Su

EURASIP J. Audio Speech Music. Process., 2022

Research on Multi-round Dialogue Tasks Based on Sequicity.

Yingrui Pang, Zhenni Gong, Zixuan Zhao, Yanyan Xu, Dengfeng Ke, Kaile Su

Proceedings of the 7th International Conference on Computer and Communication Systems, 2022

CM-CIF: Cross-Modal for Unaligned Modality Fusion with Continuous Integrate-and-Fire.

Zheng Jiang, Yang Xu, Yanyan Xu, Dengfeng Ke, Kaile Su

Proceedings of the 7th International Conference on Computer and Communication Systems, 2022

Generalized Linear Integer Numeric Planning.

Xiaoyou Lin, Qingliang Chen, Liangda Fang, Quanlong Guan, Weiqi Luo, Kaile Su

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Anomaly Detection With Kernel Preserving Embedding.

Huawen Liu, Enhui Li, Xinwang Liu, Kaile Su, Shichao Zhang

ACM Trans. Knowl. Discov. Data, 2021

μ-law SGAN for generating spectra with more details in speech enhancement.

Hongfeng Li, Yanyan Xu, Dengfeng Ke, Kaile Su

Neural Networks, 2021

Evaluating logic gate constraints in local search for structured satisfiability problems.

M. A. Hakim Newton, Md. Masbaul Alam, Duc Nghia Pham, John Thornton, Kaile Su, Abdul Sattar

Artif. Intell. Rev., 2021

2020

Improving speech enhancement by focusing on smaller values using relative loss.

Hongfeng Li, Yanyan Xu, Dengfeng Ke, Kaile Su

IET Signal Process., 2020

Dropout with Tabu Strategy for Regularizing Deep Neural Networks.

Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su

Comput. J., 2020

Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams.

Xuanxiang Huang, Haipeng Che, Liangda Fang, Qingliang Chen, Quanlong Guan, Yuhui Deng, Kaile Su

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Outlier Detection via Kernel Preserving Embedding and Random Walk.

Enhui Li, Huawen Liu, Kaile Su, Shichao Zhang

Proceedings of the 2020 IEEE International Conference on Knowledge Graph, 2020

A Generalized Denoising Method with an Optimized Loss Function for Automated Bird Sound Recognition.

Huangqiang Fang, Yulin He, Wanyang Xu, Yanyan Xu, Dengfeng Ke, Kaile Su

Proceedings of the 5th International Conference on Computer and Communication Systems, 2020

2019

Constraint guided search for aircraft sequencing.

Vahid Riahi, M. A. Hakim Newton, Md. Masbaul Alam, Kaile Su, Abdul Sattar

Expert Syst. Appl., 2019

Constraint guided accelerated search for mixed blocking permutation flowshop scheduling.

Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar

Comput. Oper. Res., 2019

Scheduling blocking flowshops with setup times via constraint guided and accelerated local search.

M. A. Hakim Newton, Vahid Riahi, Kaile Su, Abdul Sattar

Comput. Oper. Res., 2019

Trainable back-propagated functional transfer matrices.

Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun

Appl. Intell., 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

Proceedings of the Discrete Geometry for Computer Imagery, 2019

Efficient Local Search for Minimum Dominating Sets in Large Graphs.

Yi Fan, Yongxuan Lai, Chengqian Li, Nan Li, Zongjie Ma, Jun Zhou, Longin Jan Latecki, Kaile Su

Proceedings of the Database Systems for Advanced Applications, 2019

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

A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games.

Chanjuan Liu, Fenrong Liu, Kaile Su

Fundam. Informaticae, 2018

Advancing Tabu and Restart in Local Search for Maximum Weight Cliques.

Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su

CoRR, 2018

Fine-Grained Air Quality Prediction using Attention Based Neural Network.

Tianyu Liu, Yongzhi Ying, Yanyan Xu, Dengfeng Ke, Kaile Su

Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

Mutual-optimization Towards Generative Adversarial Networks For Robust Speech Recognition.

Ke Ding, Ne Luo, Yanyan Xu, Dengfeng Ke, Kaile Su

Proceedings of the 24th International Conference on Pattern Recognition, 2018

Local Search for Flowshops with Setup Times and Blocking Constraints.

Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Long Short-Term Memory Projection Recurrent Neural Network Architectures for Piano's Continuous Note Recognition.

YuKang Jia, Zhicheng Wu, Yanyan Xu, Dengfeng Ke, Kaile Su

J. Robotics, 2017

Contextualized Latent Semantic Indexing: A New Approach to Automated Chinese Essay Scoring.

Yanyan Xu, Dengfeng Ke, Kaile Su

J. Intell. Syst., 2017

Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems.

Lijun Wu, Kaile Su, Yabiao Han, Jingyu Chen, Xiangyu Lu

Frontiers Comput. Sci., 2017

Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks.

Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su

CoRR, 2017

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability.

Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang

Artif. Intell., 2017

Deep neural network bottleneck features for bird species verification.

Jinming Zhao, Yanyan Xu, Dengfeng Ke, Kaile Su

Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Symbolic manipulation based on deep neural networks and its application to axiom discovery.

Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su

Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract).

Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Reduction based Method for Coloring Very Large Graphs.

Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation.

Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su

Proceedings of the Twenty-Sixth International Joint 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

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 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

Proceedings of the AI 2017: Advances in Artificial Intelligence, 2017

Quantified Coalition Logic of Knowledge, Belief and Certainty.

Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar

Proceedings of the Advances in Artificial Intelligence, 2017

2016

A logical characterization of extensive games with short sight.

Chanjuan Liu, Fenrong Liu, Kaile Su, Enqiang Zhu

Theor. Comput. Sci., 2016

SCESS: a WFSA-based automated simplified chinese essay scoring system with incremental latent semantic analysis.

Shudong Hao, Yanyan Xu, Dengfeng Ke, Kaile Su, Hengli Peng

Nat. Lang. Eng., 2016

Functional Analysis of EAP-CRA.

Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su

J. Networks, 2016

A first-order coalition logic for BDI-agents.

Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen

Frontiers Comput. Sci., 2016

New local search methods for partial MaxSAT.

Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su

Artif. Intell., 2016

Formal Security Analysis of EAP-ERP Using Casper.

Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su

IEEE Access, 2016

Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs.

Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar

Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

Normative Multiagent Systems: The Dynamic Generalization.

Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Reconfigurability in Reactive Multiagent Systems.

Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover.

Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Robust Object Tracking Based on Collaborative Model via L2-Norm Minimization.

Xiaokang Qiao, Kaile Su, Zhonglong Zheng, Huawen Liu, Xiaowei He

Proceedings of the Pattern Recognition - 7th Chinese Conference, 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, Kaile Su

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

Strengthening Agents Strategic Ability with Communication.

Xiaowei Huang, Qingliang Chen, Kaile Su

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

An I/O Efficient Model Checking Algorithm for Large-Scale Systems.

Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang

IEEE Trans. Very Large Scale Integr. Syst., 2015

An I/O Efficient Approach for Detecting All Accepting Cycles.

Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang

IEEE Trans. Software Eng., 2015

Clause States Based Configuration Checking in Local Search for Satisfiability.

Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu

IEEE Trans. Cybern., 2015

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability.

Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su

IEEE Trans. Computers, 2015

A Fast Learning Method for Multilayer Perceptrons in Automatic Speech Recognition Systems.

Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su

J. Robotics, 2015

An effective variable selection heuristic in SLS for weighted Max-2-SAT.

Shaowei Cai, Zhong Jie, Kaile Su

J. Heuristics, 2015

A complete coalition logic of temporal knowledge for multi-agent systems.

Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu

Frontiers Comput. Sci., 2015

Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation.

Shaowei Cai, Chuan Luo, Kaile Su

Comput. J., 2015

Deep Neural Networks with Multistate Activation Functions.

Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su

Comput. Intell. Neurosci., 2015

CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability.

Shaowei Cai, Chuan Luo, Kaile Su

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games.

Chanjuan Liu, Fenrong Liu, Kaile Su

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Symbolic Model Checking for Dynamic Epistemic Logic.

Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T).

Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Multi-task learning deep neural networks for speech feature denoising.

Bin Huang, Dengfeng Ke, Hao Zheng, Bo Xu, Yanyan Xu, Kaile Su

Proceedings of the 16th Annual Conference of the International Speech Communication Association, 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, Kaile Su

Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

The Complexity of Model Checking Succinct Multiagent Systems.

Xiaowei Huang, Qingliang Chen, Kaile Su

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Lower and Upper Bounds for Random Mimimum Satisfiability Problem.

Ping Huang, Kaile Su

Proceedings of the Frontiers in Algorithmics - 9th International Workshop, 2015

Two Weighting Local Search for Minimum Vertex Cover.

Shaowei Cai, Jinkun Lin, Kaile Su

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Scoring Functions Based on Second Level Score for k-SAT with Long Clauses.

Shaowei Cai, Chuan Luo, Kaile Su

J. Artif. Intell. Res., 2014

More efficient two-mode stochastic local search for random 3-satisfiability.

Chuan Luo, Kaile Su, Shaowei Cai

Appl. Intell., 2014

Preference dynamics in games with short sight.

Chanjuan Liu, Enqiang Zhu, Fenrong Liu, Kaile Su

Appl. Math. Comput., 2014

PPML: Penalized Partial Least Squares Discriminant Analysis for Multi-Label Learning.

Zongjie Ma, Huawen Liu, Kaile Su, Zhonglong Zheng

Proceedings of the Web-Age Information Management - 15th International Conference, 2014

Quantified Coalition Logic for BDI-Agents: Completeness and Complexity.

Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Fast Learning of Deep Neural Networks via Singular Value Decomposition.

Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing.

Shudong Hao, Yanyan Xu, Hengli Peng, Kaile Su, Dengfeng Ke

Proceedings of the 22nd International Conference on Pattern Recognition, 2014

Beam-Width Adaptation for Hierarchical Phrase-Based Translation.

Fei Su, Gang Chen, Xinyan Xiao, Kaile Su

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2014

Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems.

Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu

Proceedings of the Advances in Artificial Intelligence, 2014

Double Configuration Checking in Stochastic Local Search for Satisfiability.

Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Tailoring Local Search for Partial MaxSAT.

Shaowei Cai, Chuan Luo, John Thornton, Kaile Su

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Logic and AI in China: An Introduction.

Fenrong Liu, Kaile Su

Minds Mach., 2013

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.

Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar

J. Artif. Intell. Res., 2013

Local search for Boolean Satisfiability with configuration checking and subscore.

Shaowei Cai, Kaile Su

Artif. Intell., 2013

A Logic for Extensive Games with Short Sight.

Chanjuan Liu, Fenrong Liu, Kaile Su

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses.

Shaowei Cai, Kaile Su

Proceedings of the IJCAI 2013, 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, Hengli Peng, Kaile Su, Dengfeng Ke

Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013

Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability.

Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su

Proceedings of the Principles and Practice of Constraint Programming, 2013

A Customized Lexicalized Reordering Model for Machine Translation between Chinese and English.

Fei Su, Jin Huang, Kaile Su

Proceedings of the Chinese Lexical Semantics - 14th Workshop, 2013

CacBDD: A BDD Package with Dynamic Cache Management.

Guanfeng Lv, Kaile Su, Yanyan Xu

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

FWLS: A Local Search for Graph Coloring.

Wei Wu, Chuan Luo, Kaile Su

Proceedings of the Frontiers in Algorithmics <i>and</i> Algorithmic Aspects in Information and Management, 2013

Improving WalkSAT for Random k-Satisfiability Problem with k > 3.

Shaowei Cai, Kaile Su, Chuan Luo

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

A complete first-order temporal BDI logic for forest multi-agent systems.

Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu

Knowl. Based Syst., 2012

A Succinct and Efficient Implementation of a 2^32 BDD Package.

Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking.

Chuan Luo, Kaile Su, Shaowei Cai

Proceedings of the ECAI 2012, 2012

Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition.

Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang

Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012

Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall.

Xiaowei Huang, Kaile Su, Chenyi Zhang

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Two New Local Search Strategies for Minimum Vertex Cover.

Shaowei Cai, Kaile Su, Abdul Sattar

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Configuration Checking with Aspiration in Local Search for SAT.

Shaowei Cai, Kaile Su

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Local search with edge weighting and configuration checking heuristics for minimum vertex cover.

Shaowei Cai, Kaile Su, Abdul Sattar

Artif. Intell., 2011

Large Hinge Width on Sparse Random Hypergraphs.

Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu

Proceedings of the IJCAI 2011, 2011

Local Search with Configuration Checking for SAT.

Shaowei Cai, Kaile Su

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010

A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems.

Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang

Knowl. Based Syst., 2010

Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model.

Qingliang Chen, Kaile Su, Chanjuan Liu, Yinyin Xiao

Proceedings of the International Conference on Service Sciences, 2010

Symbolic Model Checking the Knowledge in Herbivore Protocol.

Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

EWLS: A New Local Search for Minimum Vertex Cover.

Shaowei Cai, Kaile Su, Qingliang Chen

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Variable Forgetting in Reasoning about Knowledge.

Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang

J. Artif. Intell. Res., 2009

Knowware: The Third Star after Hardware and Software.

David A. Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang

Proceedings of the Knowledge Science, 2009

The BDD-Based Dynamic A* Algorithm for Real-Time Replanning.

Yanyan Xu, Weiya Yue, Kaile Su

Proceedings of the Frontiers in Algorithmics, Third International Workshop, 2009

2008

Improving Encoding Efficiency for Bounded Model Checking.

Jinji Yang, Kaile Su, Qingliang Chen

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Solving Sum and Product Riddle via BDD-Based Model Checking.

Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

An Extended Interpreted System Model for Epistemic Logics.

Kaile Su, Abdul Sattar

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.

Han Lin, Kaile Su, Chu Min Li

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Primitive recursive real numbers.

Qingliang Chen, Kaile Su, Xizhong Zheng

Math. Log. Q., 2007

Semantic interpretation of compositional logic in instantiation space.

Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin

Frontiers Comput. Sci. China, 2007

Model Checking Temporal Logics of Knowledge Via OBDDs.

Kaile Su, Abdul Sattar, Xiangyu Luo

Comput. J., 2007

Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving.

Han Lin, Kaile Su

Proceedings of the IJCAI 2007, 2007

A Modal Logic for Beliefs and Pro Attitudes.

Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.

Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng

J. Comput. Sci. Technol., 2006

Primitive Recursiveness of Real Numbers under Different Representations.

Qingliang Chen, Kaile Su, Xizhong Zheng

Proceedings of the Third International Conference on Computability and Complexity in Analysis, 2006

A logical framework for identifying quality knowledge from different data sources.

Kaile Su, Huijing Huang, Xindong Wu, Shichao Zhang

Decis. Support Syst., 2006

Observation-Based Logic of Knowledge, Belief, Desire and Intention.

Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo

Proceedings of the Knowledge Science, 2006

BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning.

Weiya Yue, Yanyan Xu, Kaile Su

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

Verification of Multi-agent Systems Via Bounded Model Checking.

Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

The interpreted system model of knowledge, belief, desire and intention.

Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Knowledge structure approach to verification of authentication protocols.

Kaile Su, Guanfeng Lv, Qingliang Chen

Sci. China Ser. F Inf. Sci., 2005

Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System.

Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen

Proceedings of the Internet and Network Economics, First International Workshop, 2005

Computationally Grounded Model of BDI-Agents.

Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.

Lijun Wu, Kaile Su, Qingliang Chen

Proceedings of the Computational Intelligence and Security, International Conference, 2005

A computationally grounded logic of knowledge, belief and certainty.

Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Bounded model checking knowledge and branching time in synchronous multi-agent systems.

Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

A Theory of Forgetting in Logic Programming.

Kewen Wang, Abdul Sattar, Kaile Su

Proceedings of the Proceedings, 2005

Observation-based Model for BDI-Agents.

Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan

Proceedings of the Proceedings, 2005

2004

Reasoning about Knowledge by Variable Forgetting.

Kaile Su, Guanfeng Lv, Yan Zhang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Symbolic Model Checking the Knowledge of the Dining Cryptographers.

Ron van der Meyden, Kaile Su

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

Model Checking Temporal Logics of Knowledge in Distributed Systems.

Kaile Su

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2002

Intelligent Student Profiling with Fuzzy Models.

Dongming Xu, Huaiqing Wang, Kaile Su

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.

Kai Engelhardt, Ron van der Meyden, Kaile Su

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001

Constraints on Extensions of a Default Theory.

Kaile Su

J. Comput. Sci. Technol., 2001

More on Representation Theory for Default Logic.

Kaile Su

Inf. Comput., 2001

A Logical Framework for Knowledge Sharing in Multi-agent Systems.

Kaile Su, Xudong Luo, Huaiqing Wang, Chengqi Zhang, Shichao Zhang, Qingfeng Chen

Proceedings of the Computing and Combinatorics, 7th Annual International Conference, 2001

2000

Two alternative notions of 'possibility' satisfying Halpern's conditions.

Kaile Su, Huowang Chen, Decheng Ding

J. Log. Comput., 2000

1999

Computation of Extensions of Seminormal Default Theories.

Kaile Su, Wei Li

Fundam. Informaticae, 1999

1997

A Three-Valued Quantificational Logic of Context.

Kaile Su, Decheng Ding, Huowang Chen

Proceedings of the Computing and Combinatorics, Third Annual International Conference, 1997