|
Search the dblp DataBase
Kaile Su:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Kaile Su
Model Checking Temporal Logics of Knowledge in Distributed Systems. [Citation Graph (0, 0)][DBLP] AAAI, 2004, pp:98-103 [Conf]
- Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan
Observation-based Model for BDI-Agents. [Citation Graph (0, 0)][DBLP] AAAI, 2005, pp:190-195 [Conf]
- Kewen Wang, Abdul Sattar, Kaile Su
A Theory of Forgetting in Logic Programming. [Citation Graph (0, 0)][DBLP] AAAI, 2005, pp:682-688 [Conf]
- Kai Engelhardt, Ron van der Meyden, Kaile Su
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. [Citation Graph (0, 0)][DBLP] Advances in Modal Logic, 2002, pp:9-30 [Conf]
- Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
Bounded model checking knowledge and branching time in synchronous multi-agent systems. [Citation Graph (0, 0)][DBLP] AAMAS, 2005, pp:1129-1130 [Conf]
- Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun
The interpreted system model of knowledge, belief, desire and intention. [Citation Graph (0, 0)][DBLP] AAMAS, 2006, pp:220-222 [Conf]
- Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen
A computationally grounded logic of knowledge, belief and certainty. [Citation Graph (0, 0)][DBLP] AAMAS, 2005, pp:149-156 [Conf]
- Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
Verification of Multi-agent Systems Via Bounded Model Checking. [Citation Graph (0, 0)][DBLP] Australian Conference on Artificial Intelligence, 2006, pp:69-78 [Conf]
- Weiya Yue, Yanyan Xu, Kaile Su
BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning. [Citation Graph (0, 0)][DBLP] Australian Conference on Artificial Intelligence, 2006, pp:627-636 [Conf]
- Lijun Wu, Kaile Su, Qingliang Chen
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. [Citation Graph (0, 0)][DBLP] CIS (1), 2005, pp:349-354 [Conf]
- Kaile Su, Decheng Ding, Huowang Chen
A Three-Valued Quantificational Logic of Context. [Citation Graph (0, 0)][DBLP] COCOON, 1997, pp:343-352 [Conf]
- Kaile Su, Xudong Luo, Huaiqing Wang, Chengqi Zhang, Shichao Zhang, Qingfeng Chen
A Logical Framework for Knowledge Sharing in Multi-agent Systems. [Citation Graph (0, 0)][DBLP] COCOON, 2001, pp:561-570 [Conf]
- Ron van der Meyden, Kaile Su
Symbolic Model Checking the Knowledge of the Dining Cryptographers. [Citation Graph (0, 0)][DBLP] CSFW, 2004, pp:280-0 [Conf]
- Dongming Xu, Huaiqing Wang, Kaile Su
Intelligent Student Profiling with Fuzzy Models. [Citation Graph (0, 0)][DBLP] HICSS, 2002, pp:81- [Conf]
- Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori
Computationally Grounded Model of BDI-Agents. [Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:1581-1582 [Conf]
- Han Lin, Kaile Su
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:2334-2339 [Conf]
- Kaile Su, Guanfeng Lv, Yan Zhang
Reasoning about Knowledge by Variable Forgetting. [Citation Graph (0, 0)][DBLP] KR, 2004, pp:576-586 [Conf]
- Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo
Observation-Based Logic of Knowledge, Belief, Desire and Intention. [Citation Graph (0, 0)][DBLP] KSEM, 2006, pp:366-378 [Conf]
- Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. [Citation Graph (0, 0)][DBLP] WINE, 2005, pp:391-404 [Conf]
- Kaile Su, Huijing Huang, Xindong Wu, Shichao Zhang
A logical framework for identifying quality knowledge from different data sources. [Citation Graph (0, 0)][DBLP] Decision Support Systems, 2006, v:42, n:3, pp:1673-1683 [Journal]
- Qingliang Chen, Kaile Su, Xizhong Zheng
Primitive Recursiveness of Real Numbers under Different Representations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:167, n:, pp:303-324 [Journal]
- Kaile Su, Wei Li
Computation of Extensions of Seminormal Default Theories. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:40, n:1, pp:79-102 [Journal]
- Kaile Su
More on Representation Theory for Default Logic. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:169, n:1, pp:81-93 [Journal]
- Kaile Su
Constraints on Extensions of a Default Theory. [Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2001, v:16, n:4, pp:329-340 [Journal]
- Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xi-Zhong Zheng
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. [Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2006, v:21, n:6, pp:932-943 [Journal]
- Kaile Su, Huowang Chen, Decheng Ding
Two alternative notions of 'possibility' satisfying Halpern's conditions. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:2, pp:253-269 [Journal]
- Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds
A Modal Logic for Beliefs and Pro Attitudes. [Citation Graph (0, 0)][DBLP] AAAI, 2007, pp:496-501 [Conf]
- Kaile Su, Abdul Sattar, Xiangyu Luo
Model Checking Temporal Logics of Knowledge Via OBDDs. [Citation Graph (0, 0)][DBLP] Comput. J., 2007, v:50, n:4, pp:403-420 [Journal]
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. [Citation Graph (, )][DBLP]
An Extended Interpreted System Model for Epistemic Logics. [Citation Graph (, )][DBLP]
EWLS: A New Local Search for Minimum Vertex Cover. [Citation Graph (, )][DBLP]
Solving Sum and Product Riddle via BDD-Based Model Checking. [Citation Graph (, )][DBLP]
Knowware: The Third Star after Hardware and Software. [Citation Graph (, )][DBLP]
Improving Encoding Efficiency for Bounded Model Checking. [Citation Graph (, )][DBLP]
The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. [Citation Graph (, )][DBLP]
Search in 0.044secs, Finished in 0.046secs
|