| 2011 |
|---|
| 25 | Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Shaowei Cai, Kaile Su, Abdul Sattar. Artif. Intell. (175): 1672-1696 (2011). Web SearchBibTeXDownload |
| 2009 |
|---|
| 24 | Variable Forgetting in Reasoning about Knowledge. Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang. J. Artif. Intell. Res. (JAIR) (35): 677-716 (2009). Web SearchBibTeXDownload |
| 23 | Knowware: The Third Star after Hardware and Software. David A. Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang. KSEM 2009, 3. Web SearchBibTeXDownload |
| 2008 |
|---|
| 22 | An Extended Interpreted System Model for Epistemic Logics. Kaile Su, Abdul Sattar. AAAI 2008, 554-559. Web SearchBibTeX |
| 21 | Solving Sum and Product Riddle via BDD-Based Model Checking. Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen. Web Intelligence/IAT Workshops 2008, 630-633. Web SearchBibTeXDownload |
| 2007 |
|---|
| 20 | A Modal Logic for Beliefs and Pro Attitudes. Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds. AAAI 2007, 496-501. Web SearchBibTeX |
| 19 | Model Checking Temporal Logics of Knowledge Via OBDDs. Kaile Su, Abdul Sattar, Xiangyu Luo. Comput. J. (50): 403-420 (2007). Web SearchBibTeXDownload |
| 2006 |
|---|
| 18 | The interpreted system model of knowledge, belief, desire and intention. Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun. AAMAS 2006, 220-222. Web SearchBibTeXDownload |
| 17 | Verification of Multi-agent Systems Via Bounded Model Checking. Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds. Australian Conference on Artificial Intelligence 2006, 69-78. Web SearchBibTeXDownload |
| 16 | A logical framework for identifying quality knowledge from different data sources. Kaile Su, Huijing Huang, Xindong Wu, Shichao Zhang. Decision Support Systems (42): 1673-1683 (2006). Web SearchBibTeXDownload |
| 15 | Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng. J. Comput. Sci. Technol. (21): 932-943 (2006). Web SearchBibTeXDownload |
| 14 | Observation-Based Logic of Knowledge, Belief, Desire and Intention. Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo. KSEM 2006, 366-378. Web SearchBibTeXDownload |
| 2005 |
|---|
| 13 | Observation-based Model for BDI-Agents. Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan. AAAI 2005, 190-195. Cited by 11Web SearchBibTeX |
| 12 | A Theory of Forgetting in Logic Programming. Kewen Wang, Abdul Sattar, Kaile Su. AAAI 2005, 682-688. Web SearchBibTeX |
| 11 | A computationally grounded logic of knowledge, belief and certainty. Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen. AAMAS 2005, 149-156. Cited by 9Web SearchBibTeXDownload |
| 10 | Bounded model checking knowledge and branching time in synchronous multi-agent systems. Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv. AAMAS 2005, 1129-1130. Web SearchBibTeXDownload |
| 9 | Computationally Grounded Model of BDI-Agents. Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori. IJCAI 2005, 1581-1582. Cited by 1Web SearchBibTeXDownload |
| 2004 |
|---|
| 8 | Symbolic Model Checking the Knowledge of the Dining Cryptographers. Ron van der Meyden, Kaile Su. CSFW 2004, 280. Web SearchBibTeXDownload |
| 7 | Reasoning about Knowledge by Variable Forgetting. Kaile Su, Guanfeng Lv, Yan Zhang. KR 2004, 576-586. Web SearchBibTeX |
| 2002 |
|---|
| 6 | Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. Kai Engelhardt, Ron van der Meyden, Kaile Su. Advances in Modal Logic 2002, 9-30. Web SearchBibTeX |
| 5 | Intelligent Student Profiling with Fuzzy Models. Dongming Xu, Huaiqing Wang, Kaile Su. HICSS 2002, 81. Web SearchBibTeXDownload |
| 2001 |
|---|
| 4 | A Logical Framework for Knowledge Sharing in Multi-agent Systems. Kaile Su, Xudong Luo, Huaiqing Wang, Chengqi Zhang, Shichao Zhang, Qingfeng Chen. COCOON 2001, 561-570. Web SearchBibTeXDownload |
| 2000 |
|---|
| 3 | Two alternative notions of 'possibility' satisfying Halpern's conditions. Kaile Su, Huowang Chen, Decheng Ding. J. Log. Comput. (10): 253-269 (2000). Web SearchBibTeXDownload |
| 1999 |
|---|
| 2 | Computation of Extensions of Seminormal Default Theories. Kaile Su, Wei Li. Fundam. Inform. (40): 79-102 (1999). Web SearchBibTeXDownload |
| 1997 |
|---|
| 1 | A Three-Valued Quantificational Logic of Context. Kaile Su, Decheng Ding, Huowang Chen. COCOON 1997, 343-352. Web SearchBibTeXDownload |
