Kaile Su

According to our database1, Kaile Su authored at least 132 papers between 1997 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Constraint guided search for aircraft sequencing.
Expert Syst. Appl., 2019

Constraint guided accelerated search for mixed blocking permutation flowshop scheduling.
Computers & OR, 2019

Scheduling blocking flowshops with setup times via constraint guided and accelerated local search.
Computers & OR, 2019

Common Object Discovery as Local Search for Maximum Weight Cliques in a Global Object Similarity Graph.
Proceedings of the Discrete Geometry for Computer Imagery, 2019

Efficient Local Search for Minimum Dominating Sets in Large Graphs.
Proceedings of the Database Systems for Advanced Applications, 2019

2018
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond.
J. Log. Comput., 2018

A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games.
Fundam. Inform., 2018

Dropout with Tabu Strategy for Regularizing Deep Neural Networks.
CoRR, 2018

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

Fine-Grained Air Quality Prediction using Attention Based Neural Network.
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

Mutual-optimization Towards Generative Adversarial Networks For Robust Speech Recognition.
Proceedings of the 24th International Conference on Pattern Recognition, 2018

Local Search for Flowshops with Setup Times and Blocking Constraints.
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.
J. Robotics, 2017

Contextualized Latent Semantic Indexing: A New Approach to Automated Chinese Essay Scoring.
J. Intelligent Systems, 2017

Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems.
Frontiers Comput. Sci., 2017

Trainable back-propagated functional transfer matrices.
CoRR, 2017

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

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability.
Artif. Intell., 2017

Deep neural network bottleneck features for bird species verification.
Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Symbolic manipulation based on deep neural networks and its application to axiom discovery.
Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Reduction based Method for Coloring Very Large Graphs.
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.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Efficient Local Search for Maximum Weight Cliques in Large Graphs.
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.
Proceedings of the AI 2017: Advances in Artificial Intelligence, 2017

Quantified Coalition Logic of Knowledge, Belief and Certainty.
Proceedings of the Advances in Artificial Intelligence, 2017

2016
A logical characterization of extensive games with short sight.
Theor. Comput. Sci., 2016

SCESS: a WFSA-based automated simplified chinese essay scoring system with incremental latent semantic analysis.
Natural Language Engineering, 2016

Functional Analysis of EAP-CRA.
JNW, 2016

A first-order coalition logic for BDI-agents.
Frontiers Comput. Sci., 2016

Normative Multiagent Systems: A Dynamic Generalization.
CoRR, 2016

New local search methods for partial MaxSAT.
Artif. Intell., 2016

Formal Security Analysis of EAP-ERP Using Casper.
IEEE Access, 2016

Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs.
Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

Normative Multiagent Systems: The Dynamic Generalization.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Reconfigurability in Reactive Multiagent Systems.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Robust Object Tracking Based on Collaborative Model via L2-Norm Minimization.
Proceedings of the Pattern Recognition - 7th Chinese Conference, 2016

Local Search for Maximum Vertex Weight Clique on Large Sparse Graphs with Efficient Data Structures.
Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

Strengthening Agents Strategic Ability with Communication.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
An I/O Efficient Model Checking Algorithm for Large-Scale Systems.
IEEE Trans. VLSI Syst., 2015

An I/O Efficient Approach for Detecting All Accepting Cycles.
IEEE Trans. Software Eng., 2015

Clause States Based Configuration Checking in Local Search for Satisfiability.
IEEE Trans. Cybernetics, 2015

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability.
IEEE Trans. Computers, 2015

A Fast Learning Method for Multilayer Perceptrons in Automatic Speech Recognition Systems.
J. Robotics, 2015

An effective variable selection heuristic in SLS for weighted Max-2-SAT.
J. Heuristics, 2015

A complete coalition logic of temporal knowledge for multi-agent systems.
Frontiers Comput. Sci., 2015

Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation.
Comput. J., 2015

Deep Neural Networks with Multistate Activation Functions.
Comp. Int. and Neurosc., 2015

CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Symbolic Model Checking for Dynamic Epistemic Logic.
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Multi-task learning deep neural networks for speech feature denoising.
Proceedings of the INTERSPEECH 2015, 2015

A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks.
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

The Complexity of Model Checking Succinct Multiagent Systems.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Lower and Upper Bounds for Random Mimimum Satisfiability Problem.
Proceedings of the Frontiers in Algorithmics - 9th International Workshop, 2015

Two Weighting Local Search for Minimum Vertex Cover.
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.
J. Artif. Intell. Res., 2014

More efficient two-mode stochastic local search for random 3-satisfiability.
Appl. Intell., 2014

Preference dynamics in games with short sight.
Applied Mathematics and Computation, 2014

PPML: Penalized Partial Least Squares Discriminant Analysis for Multi-Label Learning.
Proceedings of the Web-Age Information Management - 15th International Conference, 2014

Quantified Coalition Logic for BDI-Agents: Completeness and Complexity.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Fast Learning of Deep Neural Networks via Singular Value Decomposition.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing.
Proceedings of the 22nd International Conference on Pattern Recognition, 2014

Beam-Width Adaptation for Hierarchical Phrase-Based Translation.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2014

Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems.
Proceedings of the Advances in Artificial Intelligence, 2014

Double Configuration Checking in Stochastic Local Search for Satisfiability.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Tailoring Local Search for Partial MaxSAT.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Logic and AI in China: An Introduction.
Minds and Machines, 2013

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.
J. Artif. Intell. Res., 2013

Local search for Boolean Satisfiability with configuration checking and subscore.
Artif. Intell., 2013

A Logic for Extensive Games with Short Sight.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses.
Proceedings of the IJCAI 2013, 2013

Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer.
Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013

Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability.
Proceedings of the Principles and Practice of Constraint Programming, 2013

A Customized Lexicalized Reordering Model for Machine Translation between Chinese and English.
Proceedings of the Chinese Lexical Semantics - 14th Workshop, 2013

CacBDD: A BDD Package with Dynamic Cache Management.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

FWLS: A Local Search for Graph Coloring.
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.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
A complete first-order temporal BDI logic for forest multi-agent systems.
Knowl.-Based Syst., 2012

A Succinct and Efficient Implementation of a 2^32 BDD Package.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking.
Proceedings of the ECAI 2012, 2012

Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition.
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.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Two New Local Search Strategies for Minimum Vertex Cover.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Configuration Checking with Aspiration in Local Search for SAT.
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.
Artif. Intell., 2011

Large Hinge Width on Sparse Random Hypergraphs.
Proceedings of the IJCAI 2011, 2011

Local Search with Configuration Checking for SAT.
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.
Knowl.-Based Syst., 2010

Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model.
Proceedings of the International Conference on Service Sciences, 2010

Symbolic Model Checking the Knowledge in Herbivore Protocol.
Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

EWLS: A New Local Search for Minimum Vertex Cover.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Variable Forgetting in Reasoning about Knowledge.
J. Artif. Intell. Res., 2009

Knowware: The Third Star after Hardware and Software.
Proceedings of the Knowledge Science, 2009

The BDD-Based Dynamic A* Algorithm for Real-Time Replanning.
Proceedings of the Frontiers in Algorithmics, Third International Workshop, 2009

2008
Improving Encoding Efficiency for Bounded Model Checking.
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.
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.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Primitive recursive real numbers.
Math. Log. Q., 2007

Semantic interpretation of compositional logic in instantiation space.
Frontiers Comput. Sci. China, 2007

Primitive Recursiveness of Real Numbers under Different Representations.
Electr. Notes Theor. Comput. Sci., 2007

Model Checking Temporal Logics of Knowledge Via OBDDs.
Comput. J., 2007

Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving.
Proceedings of the IJCAI 2007, 2007

A Modal Logic for Beliefs and Pro Attitudes.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.
J. Comput. Sci. Technol., 2006

A logical framework for identifying quality knowledge from different data sources.
Decision Support Systems, 2006

Observation-Based Logic of Knowledge, Belief, Desire and Intention.
Proceedings of the Knowledge Science, 2006

BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

Verification of Multi-agent Systems Via Bounded Model Checking.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

The interpreted system model of knowledge, belief, desire and intention.
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.
Science in China Series F: Information Sciences, 2005

Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System.
Proceedings of the Internet and Network Economics, First International Workshop, 2005

Computationally Grounded Model of BDI-Agents.
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.
Proceedings of the Computational Intelligence and Security, International Conference, 2005

A computationally grounded logic of knowledge, belief and certainty.
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.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

A Theory of Forgetting in Logic Programming.
Proceedings of the Proceedings, 2005

Observation-based Model for BDI-Agents.
Proceedings of the Proceedings, 2005

2004
Reasoning about Knowledge by Variable Forgetting.
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.
Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

Model Checking Temporal Logics of Knowledge in Distributed Systems.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2002
Intelligent Student Profiling with Fuzzy Models.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.
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.
J. Comput. Sci. Technol., 2001

More on Representation Theory for Default Logic.
Inf. Comput., 2001

A Logical Framework for Knowledge Sharing in Multi-agent Systems.
Proceedings of the Computing and Combinatorics, 7th Annual International Conference, 2001

2000
Two alternative notions of 'possibility' satisfying Halpern's conditions.
J. Log. Comput., 2000

1999
Computation of Extensions of Seminormal Default Theories.
Fundam. Inform., 1999

1997
A Three-Valued Quantificational Logic of Context.
Proceedings of the Computing and Combinatorics, Third Annual International Conference, 1997


  Loading...