学术活动
  2009-11-27
  2008-6-3
  2008-6-3
  2008-6-3
  2007-8-15
 

苏开乐    Su Kaile







同名作者区分

苏开乐 中山大学苏开乐 南京大学苏开乐 国防科学技术大学
苏开乐 汕头大学
注:C-DBLP的重名区分功能部分使用了清华大学王建勇老师课题组提出的GHOST(GrapH-based framewOrk for name diStincTion)算法,在此表示感谢。
共检索到结果26条  被引40次[注:ScholarSpace内自引数]
查看苏开乐的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2014
26 苏开乐 吕关锋 宋炯 . 一个高效BDD的简洁实现. 计算机学报, 2014, (09): 0
2011
25 骆翔宇 谭征 苏开乐 吴立军 . 一种基于认知模型检测的Web服务组合验证方法. 计算机学报, 2011, (06): 1041-1062 1
2010
24 骆翔宇 苏开乐 顾明 . 一种求解认知难题的模型检测方法. 计算机学报, 2010, 33 (03): 406-415 1
23 杨晋吉 苏开乐 肖茵茵 李超明 . 有界模型检测和串空间模型相结合的安全协议验证. 小型微型计算机系统, 2010, (08): 0
22 王倩 陈彩 吕关锋 苏开乐 . 可满足赋值算子的设计与实现. 计算机工程与科学, 2010, (09): 139-142 0
2009
21 杨晋吉 苏开乐 骆翔宇 林瀚 肖茵茵 . 有界模型检测的优化. 软件学报, 2009, (08): 2005-2015 5
20 吕关锋 苏开乐 陈清亮 徐旭东 . 利用OBDD编码的快速二值图算法(英文). 计算机科学与探索, 2009, (03): 0
2008
19 吴立军 苏金树 苏开乐 . 多智能体系统时态认知规范高效符号模型检测的算法研究. 计算机学报, 2008, 31 (02): 245-252 0
18 肖茵茵 苏开乐 岳伟亚 陈清亮 吕关锋 杨晋吉 . SET证书申请协议在SPV下的自动化验证及改进. 计算机学报, 2008, 31 (06): 1035-1045 0
2007
17 李超明 苏开乐 . 一个基于智能的MAS模型及其方法论. 计算机研究与发展, 2007, 44 (06): 980-989 0
16 苏开乐 陈清亮 岳伟亚 . 一种规约于可满足性问题(SAT)的知识推理算法. 计算机科学与探索, 2007, (01): 0
2006
15 骆翔宇 苏开乐 杨晋吉 . 有界模型检测同步多智体系统的时态认知逻辑. 软件学报, 2006, 17 (12): 2485-2498 7
14 苏开乐 陈清亮 岳伟亚 吕关锋 郑锡忠 . 基于可满足性求解的认证协议的认知规范验证. , 2006, 21 (06): 0
13 苏开乐 岳伟亚 陈清亮 ZHENG Xi-Zhong . 实例化空间:一种新的安全协议验证逻辑的语义模型. 计算机学报, 2006, 29 (09): 1657-1665 1
12 吴立军 苏开乐 陈清亮 杨志华 . 多主体系统时态认知规范的“On the Fly”模型检测算法研究. 计算机研究与发展, 2006, 43 (08): 1417-1424 2
2005
11 苏开乐 吕关锋 陈清亮 . 基于知识结构的认证协议验证. 中国科学F辑, 2005, 35 (04): 337-351 0
10 苏开乐 骆翔宇 吕关锋 . 符号化模型检测CTL. 计算机学报, 2005, 28 (11): 1798-1806 7
9 杨晋吉 苏开乐 . SAT问题中局部搜索法的改进. 计算机研究与发展, 2005, 42 (01): 60-65 4
8 吴立军 苏开乐 . 一种多项式时间复杂度的密码协议秘密性验证方法. 计算机科学, 2005, 32 (07): 109-112 0
7 苏开乐 吕关锋 陈清亮 . 基于知识结构的认证协议验证. , 2005, (): 337-352 2
2004
6 吴立军 苏开乐 . 多智体系统时态认知规范的模型检测算法. 软件学报, 2004, 15 (07): 1012-1020 6
2000
5 苏开乐 李未 . 知识库维护的结构操作语义方法. , 2000, (06): 758-766 0
1999
4 苏开乐 . 开放逻辑中基于一优先序的R-重构. 计算机研究与发展, 1999, 36 (05): 523-527 2
1998
3 苏开乐 . 关于D.W.Etherington的扩充产生算法的一个注记. 计算机工程与科学, 1998, (04): 37-42 0
2 刘海燕 陈火旺 苏开乐 . 一个二阶的context逻辑. 计算机学报, 1998, 21 (04): 341-347 0
1994
1 苏开乐 丁德成 孙智伟 钱磊 . 开放逻辑中的合理事实反驳模型类. 计算机学报, 1994, 17 (05): 361-366 2

DBLP检索到的论文列表

No. Paper Inforamtion
2014
1 Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su, Double Configuration Checking in Stochastic Local Search for Satisfiability. AAAI, 2014
0 Zongjie Ma, Huawen Liu, Kaile Su, Zhonglong Zheng, PPML: Penalized Partial Least Squares Discriminant Analysis for Multi-Label Learning. WAIM, 2014
-1 Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su, Fast Learning of Deep Neural Networks via Singular Value Decomposition. PRICAI, 2014
-2 Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo, Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. PRICAI, 2014
-3 Shudong Hao, Yanyan Xu, Hengli Peng, Kaile Su, Dengfeng Ke, Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing. ICPR, 2014
-4 Shaowei Cai, Chuan Luo, John Thornton, Kaile Su, Tailoring Local Search for Partial MaxSAT. AAAI, 2014
2013
-5 Shaowei Cai, Kaile Su, Chuan Luo, Improving WalkSAT for Random k-Satisfiability Problem with k > 3. AAAI, 2013
-6 Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su, Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. CP, 2013
-7 Shaowei Cai, Kaile Su, Local search for Boolean Satisfiability with configuration checking and subscore. Artif. Intell., 2013, Artif. Intell., 204(): 75-98
-8 Shudong Hao, Zongtian Gao, Mingqing Zhang, Yanyan Xu, Hengli Peng, Kaile Su, Dengfeng Ke, Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer. ICDAR, 2013
-9 Shaowei Cai, Kaile Su, Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. IJCAI, 2013
-10 Guanfeng Lv, Kaile Su, Yanyan Xu, CacBDD: A BDD Package with Dynamic Cache Management. CAV, 2013
2012
-11 Shaowei Cai, Kaile Su, Configuration Checking with Aspiration in Local Search for SAT. AAAI, 2012
-12 Shaowei Cai, Kaile Su, Abdul Sattar, Two New Local Search Strategies for Minimum Vertex Cover. AAAI, 2012
-13 Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su, A Succinct and Efficient Implementation of a 2^32 BDD Package. TASE, 2012
-14 Xiaowei Huang, Kaile Su, Chenyi Zhang, Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. AAAI, 2012
-15 Chuan Luo, Kaile Su, Shaowei Cai, Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. ECAI, 2012
2011
-16 Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu, Large Hinge Width on Sparse Random Hypergraphs. IJCAI, 2011
-17 Shaowei Cai, Kaile Su, Local Search with Configuration Checking for SAT. ICTAI, 2011
-18 Shaowei Cai, Kaile Su, Abdul Sattar, Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artif. Intell., 2011, Artif. Intell., 175(9-10): 1672-1696
2010
-19 Shaowei Cai, Kaile Su, Qingliang Chen, EWLS: A New Local Search for Minimum Vertex Cover. AAAI, 2010
2009
-20 David A. Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang, Knowware: The Third Star after Hardware and Software. KSEM, 2009
2008
-21 Jinji Yang, Kaile Su, Qingliang Chen, Improving Encoding Efficiency for Bounded Model Checking. TASE, 2008
-22 Kaile Su, Abdul Sattar, An Extended Interpreted System Model for Epistemic Logics. AAAI, 2008
-23 Han Lin, Kaile Su, Chu Min Li, Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. AAAI, 2008
2007
-24 Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds, A Modal Logic for Beliefs and Pro Attitudes. AAAI, 2007
-25 Han Lin, Kaile Su, Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. IJCAI, 2007
2006
-26 Kaile Su, Huijing Huang, Xindong Wu, Shichao Zhang, A logical framework for identifying quality knowledge from different data sources. Decision Support Systems, 2006, Decision Support Systems, 42(3): 1673-1683
-27 Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo, Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM, 2006
-28 Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun, The interpreted system model of knowledge, belief, desire and intention. AAMAS, 2006
2005
-29 Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori, Computationally Grounded Model of BDI-Agents. IJCAI, 2005
-30 Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen, A computationally grounded logic of knowledge, belief and certainty. AAMAS, 2005
-31 Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan, Observation-based Model for BDI-Agents. AAAI, 2005
-32 Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv, Bounded model checking knowledge and branching time in synchronous multi-agent systems. AAMAS, 2005
-33 Kewen Wang, Abdul Sattar, Kaile Su, A Theory of Forgetting in Logic Programming. AAAI, 2005
2004
-34 Kaile Su, Model Checking Temporal Logics of Knowledge in Distributed Systems. AAAI, 2004
-35 Kaile Su, Guanfeng Lv, Yan Zhang, Reasoning about Knowledge by Variable Forgetting. KR, 2004
-36 Ron van der Meyden, Kaile Su, Symbolic Model Checking the Knowledge of the Dining Cryptographers. CSFW, 2004
2001
-37 Kaile Su, More on Representation Theory for Default Logic. Inf. Comput., 2001, Inf. Comput., 169(1): 81-93

承担项目历史

*注:由于资助项目信息是由程序自动集成,因此以下项目信息仅供参考,如有任何错误,请联系rucwamdm(at)gmail(dot)com
项目起止年份项目名称项目类别经费(万)
2010~2010数值计算的算法基础研究 国家自然科学基金-国际(地区)合作与交流项目
项目号:61011130037
4.6
2009~2009计算机科学的数学基础 国家自然科学基金-国际(地区)合作与交流项目
项目号:60911130005
5
2008~2011计算机科学技术的基础理论 国家自然科学基金-国家杰出青年科学基金
项目号:60725207
200
2005~2007系统规范表示与验证的认识逻辑途径 国家自然科学基金-面上项目
项目号:60473004
23
2001~2003认识逻辑及其在安全协议设计、验证中的应用 国家自然科学基金-面上项目
项目号:60073056
14

合作作者列表

1 ZHENG Xi-Zhong [13]  
2 丁德成 [1]  
3 刘海燕 [2]  
4 吕关锋 [10]   [18]  [11]  [20]  [7]  [14]  [22]  [26]  
5 吴立军 [6]   [19]  [12]  [8]  [25]  
6 孙智伟 [1]  
7 宋炯 [26]  
8 岳伟亚 [16]   [13]  [18]  [14]  
9 徐旭东 [20]  
10 李未 [5]  
11 李超明 [17]   [23]  
12 杨志华 [12]  
13 杨晋吉 [18]   [9]  [15]  [21]  [23]  
14 林瀚 [21]  
15 王倩 [22]  
16 肖茵茵 [18]   [21]  [23]  
17 苏金树 [19]  
18 谭征 [25]  
19 郑锡忠 [14]  
20 钱磊 [1]  
21 陈彩 [22]  
22 陈清亮 [16]   [13]  [18]  [12]  [11]  [20]  [7]  [14]  
23 陈火旺 [2]  
24 顾明 [24]  
25 骆翔宇 [10]   [15]  [21]  [24]  [25]  

单位历史信息

中山大学计算机科学系 (2000--2010)
中山大学计算机科学与技术系 (2005--2008)

说明: 作者的单位历史信息是根据本系统中论文的单位信息采用算法自动计算得到,部分信息可能不准确,仅供参考。