江苏教育网 > 考研 > 院系介绍 > 详细内容

浙师大数理与信息工程学院导师介绍 苏开乐

发布:2013-05-07  来源:
分享到:

姓名:苏开乐

职称:教授

所在学院:数理与信息工程学院

研究方向:模型检测多智能体系统,安全协议验证,难解问题的算法

学术兼职:《软件学报》责任编委,中国数理逻辑学会理事。

主讲课程:主讲本科课程:算法设计与分析

科研项目(课题)主持国家杰出青年科学基金项目,国家自然科学基金委,2008-2011,在研

论文著作1.Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang: Variable forgetting in reasoning about knowledge, Journal of Artificial Intelligence Research, 35(1):677-716,2009 (人工智能学科顶尖国际期刊)

2.David A.Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang: Knowware: The Third Star after Hardware and Software.KSEM 2009: 3.

3.Yanyan Xu, Weiya Yue, Kaile Su: The BDD-Based Dynamic A* Algorithm for Real-Time Replanning.FAW 2009: 271-282

4.Kaile Su, Abdul Sattar: An Extended Interpreted System Model for Epistemic Logics.AAAI 2008: 554-559.(人工智能学科顶尖国际会议)

5.Han Lin, Kaile Su, Chu Min Li: Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.AAAI 2008: 351-356.(人工智能学科顶尖国际会议)

6.Jinji Yang, Kaile Su, Qingliang Chen: Improving Encoding Efficiency for Bounded Model Checking.TASE 2008: 31-38

4.Kaile Su, Abdul Sattar and Xiangyu Luo, Model Checking Temporal Logics of Knowledge Via OBDDs, The Computer Journal, Oxford Press, J.50(4): 403-420 2007

5.Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds: A Modal Logic for Beliefs and Pro Attitudes.AAAI 2007: 496-501.

6.Han Lin, Kaile Su (通信作者) Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving,IJCAI-07, 2334-2339

7.Qingliang Chen, Kaile Su(通信作者), Xizhong Zheng: Primitive Recursiveness of Real Numbers under Different Representations.Electr.Notes Theor.Comput.Sci.167: 303-324 (2007)

8.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)

9.Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A.Orgun, Xiangyu Luo, Observation-Based Logic of Knowledge, Belief, Desire and Intention, Proc.of KSEM 2006, Lecture Notes in Computer Science, vol.4092, Springer, 366-378.2006

10.Kaile Su, Xiangyu Luo, Abdul Sattar and Mehmet A Orgun, The Interpreted System Model of Knowledge, Belief, Desire and Intention,Proc.of AAMAS, 2006.

11.苏开乐,岳伟亚,陈清亮,Xizhong Zheng, 实例化空间: 一种新的安全协议验证逻辑的语义模型.计算机学报,29(9): 1655—1663,2006.

12.Kaile Su,Qingliang Chen,Abdul Sattar, Weiya Yue and Guanfeng Lv, Xizhong Zheng, Verification of Authentication Protocols for Epistemic Goals via SAT Compilation, Journal of Computer Science and Technology.21(6):932-943, Springer Press, 2006

13.Xiangyu Luo, Kaile Su(通信作者), Abdul Sattar and Mark Reynolds, Verification of Multi-agent Systems via Bounded Model Checking, 18th Australian Joint Conference on Artificial Intelligence, Lecture Notes in Computer Science, 69-78, Springer.

14.苏开乐,吕关锋,陈清亮,基于知识结构的认证协议验证,中国科学(E辑),2005年, 第35卷, 第4期 337 – 351

15.Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen, A computationally grounded logic of knowledge, belief and certainty, AAMAS-05 , 149 - 156 , 2005

16.Kaile Su, Abdul Sattar, Guido Governatori, Xiangyu Luo, A computationally grounded model of BDI-agents, International Joint Conference on Artificial Inteligence, 30 July - 5 August, 2005, Edinburgh, Scotland.(Short Paper)

17.Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori and Vineet Padmanabhan, Observation-based model for BDI-agents, In Proc.of AAAI-05, 190-195.2005

18.Kewen Wang, Abdul Sattar, Kaile Su,A theory of forgetting in logic programming, In Proc.of AAAI-05, 682-693.2005.

19.苏开乐, 骆翔宇, 吕关锋, 符号化模型检测CTL*, 计算机学报,2005年第11期

20.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, Lecture Notes in Computer Science, Springer, 2005.

21.R.van der Meyden, Kaile Su (作者以字母排序), Symbolic Model Checking the Knowledge of the Dining Cryptographers , 17th IEEE Computer Security Foundations Workshop ,2004, 280-291

22.Kaile Su, Guangfeng Lv and Yan Zhang, Reasoning about knowledge by variable forgetting, KR 2004, 576-586 June, 2004

23.Kaile Su, Model checking temporal logics of knowledge in distributed systems, AAAI 2004 (人工智能学科顶尖国际会议), 98-103.July, 2004

指导研究生简况:成功指导了8位博士研究生和20多位硕士研究生。

*如果发现导师信息存在错误或者偏差,欢迎随时与我们联系,以便进行更新完善。

请记住我们的网址:www.js-zs.org

(责任编辑:admin)

    推荐内容
    • 高考
    • 考研
    • 留学
    • 励志