Kaile Su

发表

Computationally Grounded Model of BDI-Agents

Guido Governatori, Abdul Sattar, Kaile Su, 2005, IJCAI.

Two Word Reordering Strategies in English-to-Chinese Translation

Fei Su, Kaile Su, Jin Huang, 2013 .

An I/O Efficient Approach for Detecting All Accepting Cycles

Lijun Wu, Kaile Su, Xiaosong Zhang, 2015, IEEE Transactions on Software Engineering.

Functional Analysis of EAP-CRA

Kaile Su, Elankayer Sithirasenan, Khosrow Ramezani, 2016, J. Networks.

Efficient Local Search for Maximum Weight Cliques in Large Graphs

Kaile Su, Longin Jan Latecki, Yi Fan, 2017, 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI).

The Delayed BDD-based Incremental Heuristic Search for Efficient Path Replanning

Kaile Su, Yanyan Xu, Xuan Tian, 2012 .

A scale-free model for random ASP programs

Kaile Su, Lian Wen, Zhe Wang, 2018 .

The DH exponentiation extension in a verification logic of local sessions

Kaile Su, Yinyin Xiao, 2012, 2012 IEEE International Conference on Computer Science and Automation Engineering (CSAE).

Verification of Multi-agent Systems Via Bounded Model Checking

Abdul Sattar, Kaile Su, Xiangyu Luo, 2006, Australian Conference on Artificial Intelligence.

Model Checking Temporal Logics of Knowledge in Distributed Systems

Kaile Su, Kaile Su, 2004, AAAI.

A Logic for Extensive Games with Short Sight

Kaile Su, Fenrong Liu, Chanjuan Liu, 2013, LORI.

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

Kaile Su, Qingliang Chen, Han Lin, 2005, WINE.

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

Kaile Su, Huawen Liu, Xiaowei He, 2016, CCPR.

A logical characterization of extensive games with short sight

Kaile Su, Fenrong Liu, Chanjuan Liu, 2016, Theor. Comput. Sci..

Symbolic model checking the knowledge of the dining cryptographers

Kaile Su, Ron van der Meyden, Kaile Su, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..

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

Lijun Wu, Kaile Su, Qingliang Chen, 2005, CIS.

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

Kaile Su, Shaowei Cai, Chuan Luo, 2013, AAAI.

Two New Local Search Strategies for Minimum Vertex Cover

Abdul Sattar, Kaile Su, Shaowei Cai, 2012, AAAI.

Primitive Recursiveness of Real Numbers under Different Representations

Kaile Su, Qingliang Chen, Xizhong Zheng, 2006, CCA.

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

Yong Hu, Kaile Su, Qingliang Chen, 2015, Frontiers of Computer Science.

CacBDD: A BDD Package with Dynamic Cache Management

Kaile Su, Yanyan Xu, Guanfeng Lv, 2013, CAV.

Intelligent student profiling with fuzzy models

Huaiqing Wang, Kaile Su, Dongming Xu, 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

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

Kaile Su, Shaowei Cai, Chuan Luo, 2017, IJCAI.

Polynomial-Time Hierarchy of Computable Reals

Kaile Su, Qingliang Chen, Lijun Wu, 2011 .

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

Kaile Su, Shaowei Cai, Chuan Luo, 2014, Applied Intelligence.

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

Kaile Su, Xiaowei Huang, Chenyi Zhang, 2012, AAAI.

Lower and Upper Bounds for Random Mimimum Satisfiability Problem

Kaile Su, Ping Huang, 2015, FAW.

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

Lijun Wu, Kaile Su, Xiaosong Zhang, 2015, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Quantified Coalition Logic of Knowledge, Belief and Certainty

Abdul Sattar, Kaile Su, Qingliang Chen, 2017, Canadian Conference on AI.

Common Object Discovery as Local Search for Maximum Weight Cliques in a Global Object Similarity Graph

Kaile Su, Longin Jan Latecki, Yi Fan, 2019, DGCI.

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

Kaile Su, Shaowei Cai, Chuan Luo, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).

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

Lijun Wu, Kaile Su, Jinshu Su, 2010, Knowl. Based Syst..

Dropout with Tabu Strategy for Regularizing Deep Neural Networks

Jun Zhou, Abdul Sattar, Kaile Su, 2020, Comput. J..

Local Search with Configuration Checking for SAT

Kaile Su, Shaowei Cai, Shaowei Cai, 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.

A Solution to a Problem of Marek and Truszcyński

Huowang Chen, Kaile Su, 1998 .

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

Fei Su, Kaile Su, Jin Huang, 2013, CLSW.

Strengthening Agents Strategic Ability with Communication

Kaile Su, Qingliang Chen, Xiaowei Huang, 2016, AAAI.

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

Kaile Su, Yanyan Xu, Dengfeng Ke, 2017, 2017 International Joint Conference on Neural Networks (IJCNN).

Large Hinge Width on Sparse Random Hypergraphs

Kaile Su, Ke Xu, Tian Liu, 2011, IJCAI.

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

Kaile Su, Shaowei Cai, Shaowei Cai, 2013, IJCAI.

Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability

Wei Wu, Kaile Su, Shaowei Cai, 2013, CP.

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

Kaile Su, Shaowei Cai, Chuan Luo, 2012, ECAI.

Tailoring Local Search for Partial MaxSAT

Kaile Su, Shaowei Cai, Chuan Luo, 2014, AAAI.

Verification of Web Service Protocols by Logic of Knowledge

Kaile Su, Ying Cao, Qingliang Chen, 2011 .

New local search methods for partial MaxSAT

Kaile Su, Shaowei Cai, Chuan Luo, 2016, Artif. Intell..

Configuration Checking with Aspiration in Local Search for SAT

Kaile Su, Shaowei Cai, 2012, AAAI.

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

Kaile Su, Yanyan Xu, Dengfeng Ke, 2017, Biologically Inspired Cognitive Architectures.

Proceedings of the 6th international Frontiers in Algorithmics, and Proceedings of the 8th international conference on Algorithmic Aspects in Information and Management

Lusheng Wang, Kaile Su, Jack Snoeyink, 2012 .

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

Abdul Sattar, Kaile Su, Xiangyu Luo, 2005, AAMAS '05.

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

Kaile Su, Yanyan Xu, Weiya Yue, 2009, FAW.

Constraint guided search for aircraft sequencing

Abdul Sattar, Kaile Su, M. A. Hakim Newton, 2019, Expert Syst. Appl..

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

Kaile Su, Yanyan Xu, Dengfeng Ke, 2015, J. Robotics.

Constraints on extensions of a default theory

Kaile Su, 2008, Journal of Computer Science and Technology.

Deep neural network bottleneck features for bird species verification

Kaile Su, Yanyan Xu, Jinming Zhao, 2017, 2017 International Joint Conference on Neural Networks (IJCNN).

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

Kaile Su, Shaowei Cai, Chuan Luo, 2015, SAT.

Computation of Extensions of Seminormal Default Theories

Wei Li, Kaile Su, Wei Li, 1999, Fundam. Informaticae.

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

Kaile Su, Yao Chen, Qingliang Chen, 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

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

Kaile Su, Yanyan Xu, Weiya Yue, 2006, Australian Conference on Artificial Intelligence.

Reasoning about Knowledge by Variable Forgetting

Yan Zhang, Kaile Su, Guanfeng Lv, 2004, KR.

Local Search for Maximum Vertex Weight Clique on Large Sparse Graphs with Efficient Data Structures

Abdul Sattar, Kaile Su, Yi Fan, 2016, Australasian Conference on Artificial Intelligence.

Two Weighting Local Search for Minimum Vertex Cover

Kaile Su, Shaowei Cai, Jinkun Lin, 2015, AAAI.

A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks

Kaile Su, Yanyan Xu, Dengfeng Ke, 2015, 2015 International Joint Conference on Neural Networks (IJCNN).

Formal Security Analysis of EAP-ERP Using Casper

Kaile Su, Elankayer Sithirasenan, Khosrow Ramezani, 2016, IEEE Access.

Variable Forgetting in Reasoning about Knowledge

Yan Zhang, Abdul Sattar, Kaile Su, 2009, J. Artif. Intell. Res..

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

Mehmet A. Orgun, Abdul Sattar, Kaile Su, 2006, AAMAS '06.

Clause States Based Configuration Checking in Local Search for Satisfiability

Wei Wu, Kaile Su, Shaowei Cai, 2015, IEEE Transactions on Cybernetics.

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

Kaile Su, Longin Jan Latecki, Nan Li, 2018, ArXiv.

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

Kaile Su, Yanyan Xu, Dengfeng Ke, 2017, J. Intell. Syst..

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

Yong Hu, Kaile Su, Qingliang Chen, 2014, Canadian Conference on AI.

Constraint guided accelerated search for mixed blocking permutation flowshop scheduling

Abdul Sattar, Kaile Su, M. A. Hakim Newton, 2019, Comput. Oper. Res..

Quantified Coalition Logic for BDI-Agents: Completeness and Complexity

Kaile Su, Xiangyu Luo, Qun Li, 2014, PRICAI.

Efficient Local Search for Minimum Dominating Sets in Large Graphs

Jun Zhou, Kaile Su, Longin Jan Latecki, 2019, DASFAA.

Fast Learning of Deep Neural Networks via Singular Value Decomposition

Kaile Su, Yanyan Xu, Dengfeng Ke, 2014, PRICAI.

Preference dynamics in games with short sight

Kaile Su, Fenrong Liu, Chanjuan Liu, 2014, Appl. Math. Comput..

Translation-based verification of Web services composition via ZING

Jingjing Lu, Kaile Su, Rongsheng Dong, 2010, 2010 International Conference on Intelligent Computing and Integrated Systems.

Solving Sum and Product Riddle via BDD-Based Model Checking

Abdul Sattar, Kaile Su, Yan Chen, 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

FWLS: A Local Search for Graph Coloring

Wei Wu, Kaile Su, Chuan Luo, 2013, FAW-AAIM.

Deterministic Tournament Selection in Local Search for Maximum Edge Weight Clique on Large Sparse Graphs

Abdul Sattar, Kaile Su, Yi Fan, 2017, Australasian Conference on Artificial Intelligence.

Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers

Kaile Su, Ron van der Meyden, Kai Engelhardt, 2002, Advances in Modal Logic.

Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer

Kaile Su, Shudong Hao, Yanyan Xu, 2013, 2013 12th International Conference on Document Analysis and Recognition.

Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond

Jan van Eijck, Johan van Benthem, Kaile Su, 2018, J. Log. Comput..

Deep Neural Networks with Multistate Activation Functions

Kaile Su, Yanyan Xu, Dengfeng Ke, 2015, Comput. Intell. Neurosci..

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

Abdul Sattar, Kaile Su, Yi Fan, 2016, PRICAI.

An Extended Interpreted System Model for Epistemic Logics

Abdul Sattar, Kaile Su, 2008, AAAI.

Observation-based Model for BDI-Agents

Guido Governatori, Abdul Sattar, Kaile Su, 2005, AAAI.

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

Abdul Sattar, Kaile Su, Qingliang Chen, 2006, Journal of Computer Science and Technology.

EWLS: A New Local Search for Minimum Vertex Cover

Kaile Su, Shaowei Cai, Qingliang Chen, 2010, AAAI.

Model Checking Cooperative Multi-agent Systems in BDI Logic

Kaile Su, Qingliang Chen, Lijun Wu, 2012 .

Local Search for Flowshops with Setup Times and Blocking Constraints

Abdul Sattar, Kaile Su, M. A. Hakim Newton, 2018, ICAPS.

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

Kaile Su, Longin Jan Latecki, Nan Li, 2017, IJCAI.

Beam-Width Adaptation for Hierarchical Phrase-Based Translation

Gang Chen, Fei Su, Xinyan Xiao, 2014, CICLing.

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

Huowang Chen, Kaile Su, Decheng Ding, 2000, J. Log. Comput..

Double Configuration Checking in Stochastic Local Search for Satisfiability

Wei Wu, Kaile Su, Shaowei Cai, 2014, AAAI.

Normative Multiagent Systems: The Dynamic Generalization pdf

Kaile Su, Qingliang Chen, Xiaowei Huang, 2016, IJCAI.

Model Checking Temporal Logics of Knowledge Via OBDDs

Abdul Sattar, Kaile Su, Xiangyu Luo, 2007, Comput. J..

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

Kaile Su, Shudong Hao, Yanyan Xu, 2016, Nat. Lang. Eng..

A first-order coalition logic for BDI-agents

Abdul Sattar, Kaile Su, Xiangyu Luo, 2015, Frontiers of Computer Science.

Knowledge structure approach to verification of authentication protocols

Kaile Su, Qingliang Chen, Guanfeng Lv, 2007, Science in China Series F: Information Sciences.

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

Kaile Su, Huawen Liu, Zhonglong Zheng, 2014, WAIM.

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

Mehmet A. Orgun, Abdul Sattar, Kaile Su, 2006, KSEM.

Improving Encoding Efficiency for Bounded Model Checking

Kaile Su, Qingliang Chen, Jinji Yang, 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.

A Logical Framework for Knowledge Sharing in Multi-agent Systems

Chengqi Zhang, Huaiqing Wang, Kaile Su, 2001, COCOON.

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

Kaile Su, Chu Min Li, Han Lin, 2008, AAAI.

Semantic interpretation of compositional logic in instantiation space

Kaile Su, Qingliang Chen, Han Lin, 2007, Frontiers of Computer Science in China.

Trainable back-propagated functional transfer matrices

Kaile Su, Jing Sun, Yanyan Xu, 2018, Applied Intelligence.

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

Kaile Su, Qingliang Chen, Chanjuan Liu, 2010, 2010 International Conference on Service Sciences.

Local search for Boolean Satisfiability with configuration checking and subscore

Kaile Su, Shaowei Cai, Shaowei Cai, 2013, Artif. Intell..

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

Abdul Sattar, Kaile Su, M. A. Hakim Newton, 2019, Comput. Oper. Res..

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

Lijun Wu, Kaile Su, Jingyu Chen, 2017, Frontiers of Computer Science.

Multi-task learning deep neural networks for speech feature denoising

Bo Xu, Kaile Su, Bin Huang, 2015, INTERSPEECH.

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability

Wei Wu, Kaile Su, Shaowei Cai, 2015, IEEE Transactions on Computers.

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

Kaile Su, Yanyan Xu, Dengfeng Ke, 2017, J. Robotics.

Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation

Kaile Su, Shaowei Cai, Chuan Luo, 2015, Comput. J..

Fine-Grained Air Quality Prediction using Attention Based Neural Network

Kaile Su, Tianyu Liu, Yanyan Xu, 2018, 2018 International Joint Conference on Neural Networks (IJCNN).

Symbolic Model Checking the Knowledge in Herbivore Protocol

Ming Gu, Lijun Wu, Kaile Su, 2010, MoChArt.

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

Kaile Su, Shaowei Cai, Chuan Luo, 2017, Artif. Intell..

Reconfigurability in Reactive Multiagent Systems

Kaile Su, Qingliang Chen, Xiaowei Huang, 2016, IJCAI.

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings

Lusheng Wang, Kaile Su, Jack Snoeyink, 2011, FAW-AAIM.

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

Wei Wu, Lijun Wu, Abdul Sattar, 2012, Knowl. Based Syst..

Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition

Wei Chen, Kaile Su, Yanyan Xu, 2012, FAW-AAIM.

A Theory of Forgetting in Logic Programming

Abdul Sattar, Kaile Su, Kewen Wang, 2005, AAAI.

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

Kaile Su, Shudong Hao, Yanyan Xu, 2014, 2014 22nd International Conference on Pattern Recognition.

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

Abdul Sattar, Kaile Su, Yi Fan, 2016, 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI).

The Complexity of Model Checking Succinct Multiagent Systems

Kaile Su, Qingliang Chen, Xiaowei Huang, 2015, IJCAI.

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

Kaile Su, Fenrong Liu, Chanjuan Liu, 2015, PRIMA.

Logic and AI in China: An Introduction

Kaile Su, Fenrong Liu, 2013, Minds and Machines.

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

Kaile Su, Shaowei Cai, Chuan Luo, 2014, J. Artif. Intell. Res..

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

Abdul Sattar, Kaile Su, Shaowei Cai, 2014, J. Artif. Intell. Res..

A computationally grounded logic of knowledge, belief and certainty

Guido Governatori, Abdul Sattar, Kaile Su, 2005, AAMAS '05.

Mutual-optimization Towards Generative Adversarial Networks For Robust Speech Recognition

Kaile Su, Ke Ding, Yanyan Xu, 2018, 2018 24th International Conference on Pattern Recognition (ICPR).

A logical framework for identifying quality knowledge from different data sources

Xindong Wu, Kaile Su, Shichao Zhang, 2006, Decis. Support Syst..

Symbolic Model Checking for Dynamic Epistemic Logic

Jan van Eijck, Johan van Benthem, Kaile Su, 2015, LORI.

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

Abdul Sattar, Kaile Su, Shaowei Cai, 2011, Artif. Intell..

A Reduction based Method for Coloring Very Large Graphs

Kaile Su, Shaowei Cai, Chuan Luo, 2017, IJCAI.

UAP: A New UDP-Based Application Level Transport Protocol

Kaile Su, Qingliang Chen, Guanfeng Lv, 2011, 2011 Second International Conference on Networking and Distributed Computing.

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

Kaile Su, Han Lin, 2007, IJCAI.

A Modal Logic for Beliefs and Pro Attitudes

Abdul Sattar, Kaile Su, Mark Reynolds, 2007, AAAI.

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

Kaile Su, Fenrong Liu, Chanjuan Liu, 2018, Fundam. Informaticae.

Automatic Verification of Complex Security Protocols With an Unbounded Number of Sessions

Kaile Su, Qingliang Chen, Weiya Yue, 2006 .

A New Local Search Strategy for SAT

Abdul Sattar, Kaile Su, Shaowei Cai, 2011 .