Kaile Su

	2009
36		Yanyan Xu, Weiya Yue, Kaile Su: The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. FAW 2009: 271-282
35		David Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang: Knowware: The Third Star after Hardware and Software. KSEM 2009: 3
	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		Jinji Yang, Kaile Su, Qingliang Chen: Improving Encoding Efficiency for Bounded Model Checking. TASE 2008: 31-38
31		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		Han Lin, Kaile Su: Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. IJCAI 2007: 2334-2339
28		Kaile Su, Abdul Sattar, Xiangyu Luo: Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. 50(4): 403-420 (2007)
27		Qingliang Chen, Kaile Su, Xizhong Zheng: Primitive Recursiveness of Real Numbers under Different Representations. Electr. Notes Theor. Comput. Sci. 167: 303-324 (2007)
26		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		Qingliang Chen, Kaile Su, Xizhong Zheng: Primitive recursive real numbers. Math. Log. Q. 53(4-5): 365-380 (2007)
	2006
24		Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun: The interpreted system model of knowledge, belief, desire and intention. AAMAS 2006: 220-222
23		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		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		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		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		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		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		Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen: A computationally grounded logic of knowledge, belief and certainty. AAMAS 2005: 149-156
14		Lijun Wu, Kaile Su, Qingliang Chen: Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. CIS (1) 2005: 349-354
13		Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori: Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582
12		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		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		Dongming Xu, Huaiqing Wang, Kaile Su: Intelligent Student Profiling with Fuzzy Models. HICSS 2002: 81
	2001
6		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		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	David Bell	[35]
2	Huowang Chen	[1] [3]
3	Qingfeng Chen	[6]
4	Qingliang Chen	[12] [14] [15] [16] [19] [25] [26] [27] [32]
5	Yan Chen	[31]
6	Decheng Ding	[1] [3]
7	Kai Engelhardt	[8]
8	Guido Governatori	[13] [15] [18]
9	Huijing Huang	[20]
10	Ying Jiang	[35]
11	Chu Min Li	[34]
12	Wei Li	[2]
13	Han Lin	[12] [26] [29] [30] [34]
14	Ruqian Lu	[35]
15	Xiangyu Luo	[16] [18] [21] [22] [24] [28] [31]
16	Xudong Luo	[6]
17	Guanfeng Lv	[9] [12] [16] [19]
18	Ron van der Meyden	[8] [10]
19	Mehmet A. Orgun	[21] [24]
20	Vineet Padmanabhan	[18]
21	Mark Reynolds	[22] [30]
22	Abdul Sattar	[13] [15] [16] [17] [18] [19] [21] [22] [24] [28] [30] [31] [33]
23	Huaiqing Wang	[6] [7]
24	Kewen Wang	[13] [17] [18]
25	Lijun Wu	[14]
26	Xindong Wu	[20]
27	Yinyin Xiao	[26]
28	Dongming Xu	[7]
29	Yanyan Xu	[23] [36]
30	Jinji Yang	[32]
31	Weiya Yue	[19] [21] [23] [36]
32	Chengqi Zhang	[6]
33	Shichao Zhang	[6] [20]
34	Songmao Zhang	[35]
35	Yan Zhang	[9]
36	Congxin Zhao	[12]
37	Xizhong Zheng	[19] [25] [27]