The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kaile Su: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kaile Su
    Model Checking Temporal Logics of Knowledge in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:98-103 [Conf]
  2. Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan
    Observation-based Model for BDI-Agents. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:190-195 [Conf]
  3. Kewen Wang, Abdul Sattar, Kaile Su
    A Theory of Forgetting in Logic Programming. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:682-688 [Conf]
  4. Kai Engelhardt, Ron van der Meyden, Kaile Su
    Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:9-30 [Conf]
  5. Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
    Bounded model checking knowledge and branching time in synchronous multi-agent systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:1129-1130 [Conf]
  6. Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun
    The interpreted system model of knowledge, belief, desire and intention. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:220-222 [Conf]
  7. Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen
    A computationally grounded logic of knowledge, belief and certainty. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:149-156 [Conf]
  8. Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
    Verification of Multi-agent Systems Via Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:69-78 [Conf]
  9. Weiya Yue, Yanyan Xu, Kaile Su
    BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:627-636 [Conf]
  10. Lijun Wu, Kaile Su, Qingliang Chen
    Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. [Citation Graph (0, 0)][DBLP]
    CIS (1), 2005, pp:349-354 [Conf]
  11. Kaile Su, Decheng Ding, Huowang Chen
    A Three-Valued Quantificational Logic of Context. [Citation Graph (0, 0)][DBLP]
    COCOON, 1997, pp:343-352 [Conf]
  12. Kaile Su, Xudong Luo, Huaiqing Wang, Chengqi Zhang, Shichao Zhang, Qingfeng Chen
    A Logical Framework for Knowledge Sharing in Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    COCOON, 2001, pp:561-570 [Conf]
  13. Ron van der Meyden, Kaile Su
    Symbolic Model Checking the Knowledge of the Dining Cryptographers. [Citation Graph (0, 0)][DBLP]
    CSFW, 2004, pp:280-0 [Conf]
  14. Dongming Xu, Huaiqing Wang, Kaile Su
    Intelligent Student Profiling with Fuzzy Models. [Citation Graph (0, 0)][DBLP]
    HICSS, 2002, pp:81- [Conf]
  15. Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori
    Computationally Grounded Model of BDI-Agents. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1581-1582 [Conf]
  16. Han Lin, Kaile Su
    Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2334-2339 [Conf]
  17. Kaile Su, Guanfeng Lv, Yan Zhang
    Reasoning about Knowledge by Variable Forgetting. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:576-586 [Conf]
  18. Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo
    Observation-Based Logic of Knowledge, Belief, Desire and Intention. [Citation Graph (0, 0)][DBLP]
    KSEM, 2006, pp:366-378 [Conf]
  19. Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen
    Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. [Citation Graph (0, 0)][DBLP]
    WINE, 2005, pp:391-404 [Conf]
  20. Kaile Su, Huijing Huang, Xindong Wu, Shichao Zhang
    A logical framework for identifying quality knowledge from different data sources. [Citation Graph (0, 0)][DBLP]
    Decision Support Systems, 2006, v:42, n:3, pp:1673-1683 [Journal]
  21. Qingliang Chen, Kaile Su, Xizhong Zheng
    Primitive Recursiveness of Real Numbers under Different Representations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:167, n:, pp:303-324 [Journal]
  22. Kaile Su, Wei Li
    Computation of Extensions of Seminormal Default Theories. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:40, n:1, pp:79-102 [Journal]
  23. Kaile Su
    More on Representation Theory for Default Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:169, n:1, pp:81-93 [Journal]
  24. Kaile Su
    Constraints on Extensions of a Default Theory. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2001, v:16, n:4, pp:329-340 [Journal]
  25. Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xi-Zhong Zheng
    Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2006, v:21, n:6, pp:932-943 [Journal]
  26. Kaile Su, Huowang Chen, Decheng Ding
    Two alternative notions of 'possibility' satisfying Halpern's conditions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:2, pp:253-269 [Journal]
  27. Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds
    A Modal Logic for Beliefs and Pro Attitudes. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:496-501 [Conf]
  28. Kaile Su, Abdul Sattar, Xiangyu Luo
    Model Checking Temporal Logics of Knowledge Via OBDDs. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2007, v:50, n:4, pp:403-420 [Journal]

  29. Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. [Citation Graph (, )][DBLP]


  30. An Extended Interpreted System Model for Epistemic Logics. [Citation Graph (, )][DBLP]


  31. EWLS: A New Local Search for Minimum Vertex Cover. [Citation Graph (, )][DBLP]


  32. Solving Sum and Product Riddle via BDD-Based Model Checking. [Citation Graph (, )][DBLP]


  33. Knowware: The Third Star after Hardware and Software. [Citation Graph (, )][DBLP]


  34. Improving Encoding Efficiency for Bounded Model Checking. [Citation Graph (, )][DBLP]


  35. The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. [Citation Graph (, )][DBLP]


Search in 0.035secs, Finished in 0.038secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002