Kaile Su

	2012
47		Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang: Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings Springer 2012
46		Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang: Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. FAW-AAIM 2012: 259-268
45		Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu: A complete first-order temporal BDI logic for forest multi-agent systems. Knowl.-Based Syst. 27: 343-351 (2012)
	2011
44		Shaowei Cai, Kaile Su: Local Search with Configuration Checking for SAT. ICTAI 2011: 59-66
43		Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu: Large Hinge Width on Sparse Random Hypergraphs. IJCAI 2011: 611-616
42		Shaowei Cai, Kaile Su, Abdul Sattar: Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artif. Intell. 175(9-10): 1672-1696 (2011)
	2010
41		Shaowei Cai, Kaile Su, Qingliang Chen: EWLS: A New Local Search for Minimum Vertex Cover. AAAI 2010
40		Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang: Symbolic Model Checking the Knowledge in Herbivore Protocol. MoChArt 2010: 112-129
39		Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang: A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems. Knowl.-Based Syst. 23(2): 162-168 (2010)
	2009
38		Yanyan Xu, Weiya Yue, Kaile Su: The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. FAW 2009: 271-282
37		David A. Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang: Knowware: The Third Star after Hardware and Software. KSEM 2009: 3
36		Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang: Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. (JAIR) 35: 677-716 (2009)
	2008
35		Han Lin, Kaile Su, Chu Min Li: Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. AAAI 2008: 351-356
34		Kaile Su, Abdul Sattar: An Extended Interpreted System Model for Epistemic Logics. AAAI 2008: 554-559
33		Jinji Yang, Kaile Su, Qingliang Chen: Improving Encoding Efficiency for Bounded Model Checking. TASE 2008: 31-38
32		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
31		Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds: A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501
30		Han Lin, Kaile Su: Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. IJCAI 2007: 2334-2339
29		Kaile Su, Abdul Sattar, Xiangyu Luo: Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. 50(4): 403-420 (2007)
28		Qingliang Chen, Kaile Su, Xizhong Zheng: Primitive Recursiveness of Real Numbers under Different Representations. Electr. Notes Theor. Comput. Sci. 167: 303-324 (2007)
27		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)
26		Qingliang Chen, Kaile Su, Xizhong Zheng: Primitive recursive real numbers. Math. Log. Q. 53(4-5): 365-380 (2007)
	2006
25		Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun: The interpreted system model of knowledge, belief, desire and intention. AAMAS 2006: 220-222
24		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
23		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
22		Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo: Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM 2006: 366-378
21		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)
20		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
19		Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan: Observation-based Model for BDI-Agents. AAAI 2005: 190-195
18		Kewen Wang, Abdul Sattar, Kaile Su: A Theory of Forgetting in Logic Programming. AAAI 2005: 682-688
17		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
16		Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen: A computationally grounded logic of knowledge, belief and certainty. AAMAS 2005: 149-156
15		Lijun Wu, Kaile Su, Qingliang Chen: Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. CIS (1) 2005: 349-354
14		Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori: Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582
13		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
12		Kaile Su, Guanfeng Lv, Qingliang Chen: Knowledge structure approach to verification of authentication protocols. Science in China Series F: Information Sciences 48(4): 513-532 (2005)
	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 A. Bell	[37]
2	Shaowei Cai	[41] [42] [44]
3	Huowang Chen	[1] [3]
4	Qingfeng Chen	[6]
5	Qingliang Chen	[12] [13] [15] [16] [17] [20] [26] [27] [28] [33] [41] [45]
6	Yan Chen	[32]
7	Wei Chen	[46]
8	Decheng Ding	[1] [3]
9	Kai Engelhardt	[8]
10	Guido Governatori	[14] [16] [19]
11	Ming Gu	[40]
12	Huijing Huang	[21]
13	Ying Jiang	[37]
14	Chu Min Li	[35]
15	Wei Li	[2]
16	Han Lin	[13] [27] [30] [31] [35]
17	Xiaxiang Lin	[43]
18	Tian Liu	[43]
19	Pinyan Lu	[47]
20	Ruqian Lu	[37]
21	Xiangyu Luo	[17] [19] [22] [23] [25] [29] [32] [39] [40]
22	Xudong Luo	[6]
23	Guanfeng Lv	[9] [12] [13] [17] [20] [36]
24	Ron van der Meyden	[8] [10]
25	Mehmet A. Orgun	[22] [25]
26	Vineet Padmanabhan	[19]
27	Mark Reynolds	[23] [31]
28	Abdul Sattar	[14] [16] [17] [18] [19] [20] [22] [23] [25] [29] [31] [32] [34] [36] [42] [45]
29	Jack Snoeyink	[47]
30	Jinshu Su	[39] [45]
31	Chaoyi Wang	[43]
32	Huaiqing Wang	[6] [7]
33	Kewen Wang	[14] [18] [19]
34	Lusheng Wang	[47]
35	Lijun Wu	[15] [39] [40] [45]
36	Wei Wu	[45]
37	Xindong Wu	[21]
38	Yinyin Xiao	[27]
39	Dongming Xu	[7]
40	Ke Xu	[43]
41	Yanyan Xu	[24] [38] [46]
42	Jinji Yang	[33] [40]
43	Zhihua Yang	[39]
44	Weiya Yue	[20] [22] [24] [38]
45	Chengqi Zhang	[6]
46	Shichao Zhang	[6] [21]
47	Songmao Zhang	[37]
48	Wenhui Zhang	[46]
49	Yan Zhang	[9] [36]
50	Congxin Zhao	[13]
51	Xizhong Zheng	[20] [26] [28]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page