Kaile Su

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

Coauthor Index

1	Huowang Chen	[1] [3]
2	Qingfeng Chen	[6]
3	Qingliang Chen	[12] [14] [15] [16] [19] [25] [26] [27] [32]
4	Yan Chen	[31]
5	Decheng Ding	[1] [3]
6	Kai Engelhardt	[8]
7	Guido Governatori	[13] [15] [18]
8	Huijing Huang	[20]
9	Chu Min Li	[34]
10	Wei Li	[2]
11	Han Lin	[12] [26] [29] [30] [34]
12	Xiangyu Luo	[16] [18] [21] [22] [24] [28] [31]
13	Xudong Luo	[6]
14	Guanfeng Lv	[9] [12] [16] [19]
15	Ron van der Meyden	[8] [10]
16	Mehmet A. Orgun	[21] [24]
17	Vineet Padmanabhan	[18]
18	Mark Reynolds	[22] [30]
19	Abdul Sattar	[13] [15] [16] [17] [18] [19] [21] [22] [24] [28] [30] [31] [33]
20	Huaiqing Wang	[6] [7]
21	Kewen Wang	[13] [17] [18]
22	Lijun Wu	[14]
23	Xindong Wu	[20]
24	Yinyin Xiao	[26]
25	Dongming Xu	[7]
26	Yanyan Xu	[23]
27	Jinji Yang	[32]
28	Weiya Yue	[19] [21] [23]
29	Chengqi Zhang	[6]
30	Shichao Zhang	[6] [20]
31	Yan Zhang	[9]
32	Congxin Zhao	[12]
33	Xizhong Zheng	[19] [25] [27]