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