Kaile Su

• Affiliations:

• Institute of Logic and Cognition, Zhongshan University, Guangzhou, 510275, People's Republic of China, State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210093, Peop ...;Griffith University, Brisbane, Australia;Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing, China;Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing ...;College of Mathematics Physics and Information Engineering, Zhejiang Normal University, Jinhua, China,School of Electronics Engineering and Computer Science, Peking University, China;IIIS, Griffith University, Brisbane, Australia,Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China

• Organizations:

• China Nat. Pet. Corp.;China Nat. Pet. Corp.;Corporate Research Beijing;Corporate Research Beijing;Australia & NVIDIA Corporation;Guangzhou EDM Tech Corporation;SAP Corporate Research Centre Brisbane;SAP Corporate Research Centre Brisbane;SAP Corporate Research Centre Brisbane;Nanjing Research & Development Center ZTE Corporation;Chinese Academy of Sciences and Loongson Technologies Corporation Limited;China 510275 and College of Information;Jinhua College of profession and technology;Ministry of Education and College of life science;Ministry of Education and College of life science;Peking University;Nanjing University;Griffith University;Griffith University;Zhongshan University;Zhejiang Normal University;Graduate University and Institute of Software;State Key Laboratory for Novel Software Technology Nanjing University;School of Electronics Engineering and Computer Science Peking University;Key Laboratory of High Confidence Software Technologies (Peking University);

• Fields:
• temporal logic system model local search knowledge structure KBDI-system model model checking problem state transition model well-known agent model knowledge modality knowledge sharing

• Computation of extensions of seminormal default theories

  Kaile Su;Wei Li

  Fundamenta Informaticae

• More on representation theory for default logic

  Kaile Su

  Information and Computation

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

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

  COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics

• Symbolic Model Checking the Knowledge of the Dining Cryptographers

  Ron van der Meyden;Kaile Su

  CSFW '04 Proceedings of the 17th IEEE workshop on Computer Security Foundations

• A computationally grounded logic of knowledge, belief and certainty

  Kaile Su;Abdul Sattar;Guido Governatori;Qingliang Chen

  Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems

• 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 fourth international joint conference on Autonomous agents and multiagent systems

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

  Kaile Su;Xiangyu Luo;Abdul Sattar;Mehmet A Orgun

  AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems

• Primitive Recursiveness of Real Numbers under Different Representations

  Qingliang Chen;Kaile Su;Xizhong Zheng

  Electronic Notes in Theoretical Computer Science (ENTCS)

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

  Kaile Su;Huijing Huang;Xindong Wu;Shichao Zhang

  Decision Support Systems

• Model Checking Temporal Logics of Knowledge Via OBDDs1

  Kaile Su;Abdul Sattar;Xiangyu Luo

  The Computer Journal

• Improving Encoding Efficiency for Bounded Model Checking

  Jinji Yang;Kaile Su;Qingliang Chen

  TASE '08 Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering

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

  Xiangyu Luo;Kaile Su;Abdul Sattar;Yan Chen

  WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03

• Verification of authentication protocols for epistemic goals via SAT compilation

  Kai-Le Su;Qing-Liang Chen;Abdul Sattar;Wei-Ya Yue;Guan-Feng Lv;Xi-Zhong Zheng

  Journal of Computer Science and Technology

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

  Yanyan Xu;Weiya Yue;Kaile Su

  FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics

• Model checking temporal logics of knowledge in distributed systems

  Kaile Su

  AAAI'04 Proceedings of the 19th national conference on Artifical intelligence

• Observation-based model for BDI-agents

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

  AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1

• A theory of forgetting in logic programming

  Kewen Wang;Abdul Sattar;Kaile Su

  AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2

• A modal logic for beliefs and pro attitudes

  Kaile Su;Abdul Sattar;Han Lin;Mark Reynolds

  AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1

• Within-problem learning for efficient lower bound computation in Max-SAT solving

  Han Lin;Kaile Su;Chu-Min Li

  AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1

• An extended interpreted system model for epistemic logics

  Kaile Su;Abdul Sattar

  AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1

• Exploiting inference rules to compute lower bounds for MAX-SAT solving

  Han Lin;Kaile Su

  IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

• Variable forgetting in reasoning about knowledge

  Kaile Su;Abdul Sattar;Guanfeng Lv;Yan Zhang

  Journal of Artificial Intelligence Research

• Computationally grounded model of BDI-agents

  Kaile Su;Abdul Sattar;Kewen Wang;Guido Governatori

  IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

• Knowware: The Third Star after Hardware and Software

  David Bell;Ying Jiang;Ruqian Lu;Kaile Su;Songmao Zhang

  KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management

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

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

  Knowledge-Based Systems

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

  Qingliang Chen;Kaile Su;Chanjuan Liu;Yinyin Xiao

  ICSS '10 Proceedings of the 2010 International Conference on Service Sciences

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

  Shaowei Cai;Kaile Su;Abdul Sattar

  Artificial Intelligence

• Symbolic model checking the knowledge in Herbivore protocol

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

  MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence

• UAP: A New UDP-Based Application Level Transport Protocol

  Guanfeng Lv;Xudong Xu;Kaile Su;Qingliang Chen

  ICNDC '11 Proceedings of the 2011 Second International Conference on Networking and Distributed Computing

• Local Search with Configuration Checking for SAT

  Shaowei Cai;Kaile Su

  ICTAI '11 Proceedings of the 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence

• Model checking temporal logics of knowledge and its application in security verification

  Lijun Wu;Kaile Su;Qingliang Chen

  CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I

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

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

  Knowledge-Based Systems

• Formal analysis and improvement of the state transition model for intrusion tolerant system

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

  WINE'05 Proceedings of the First international conference on Internet and Network Economics

• Observation-Based logic of knowledge, belief, desire and intention

  Kaile Su;Weiya Yue;Abdul Sattar;Mehmet A Orgun;Xiangyu Luo

  KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management

• Verification of multi-agent systems via bounded model checking

  Xiangyu Luo;Kaile Su;Abdul Sattar;Mark Reynolds

  AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence

• BDDRPA*: an efficient BDD-Based incremental heuristic search algorithm for replanning

  Weiya Yue;Yanyan Xu;Kaile Su

  AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence

• Large hinge width on sparse random hypergraphs

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

  IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One

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

  Jack Snoeyink;Pinyan Lu;Kaile Su;Lusheng Wang

  FAW-AAIM'12 Proceedings of the 6th international Frontiers in Algorithmics, and Proceedings of the 8th international conference on Algorithmic Aspects in Information and Management

• Solving difficult SAT problems by using OBDDs and greedy clique decomposition

  Yanyan Xu;Wei Chen;Kaile Su;Wenhui Zhang

  FAW-AAIM'12 Proceedings of the 6th international Frontiers in Algorithmics, and Proceedings of the 8th international conference on Algorithmic Aspects in Information and Management

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

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

  TASE '12 Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering

• Logic and AI in China: An Introduction

  Fenrong Liu;Kaile Su

  Minds and Machines

• NuMVC: an efficient local search algorithm for minimum vertex cover

  Shaowei Cai;Kaile Su;Chuan Luo;Abdul Sattar

  Journal of Artificial Intelligence Research

• CacBDD: a BDD package with dynamic cache management

  Guanfeng Lv;Kaile Su;Yanyan Xu

  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification

• Local search for Boolean Satisfiability with configuration checking and subscore

  Shaowei Cai;Kaile Su

  Artificial Intelligence

• Comprehensive score: towards efficient local search for SAT with long clauses

  Shaowei Cai;Kaile Su

  IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence