浙师大数理与信息工程学院导师介绍:苏开乐
姓名:苏开乐 职称:教授 所在学院:数理与信息工程学院
姓名:苏开乐
职称:教授
所在学院:数理与信息工程学院
研究方向:模型检测多智能体系统,安全协议验证,难解问题的算法
学术兼职:《软件学报》责任编委,中国数理逻辑学会理事。
主讲课程:主讲本科课程:算法设计与分析
科研项目(课题)
主持国家杰出青年科学基金项目,国家自然科学基金委,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多位硕士研究生。
*如果发现导师信息存在错误或者偏差,欢迎随时与我们联系,以便进行更新完善。联系方式
- 2021-07-28浙江师范大学近十年现当代文学古代文学真题大纲
- 2021-04-19818我浙师大学科英语考研感想➕经验
- 2021-04-192019年学科语文903真题(回忆版)
- 2021-03-312018浙江师范大学外国语言文学考研之行(初试、复试)
- 2021-03-21浙江师范大学现当代831和631初试经验
- 2020-07-3020浙师大现当代文学真题以及一些劝告
- 2020-05-30新鲜的19浙师应用心理347考研经验分享!
- 2020-05-22已录取浙师大学科化学专业第二 总分394精华经验回馈论坛
- 2020-05-2218浙师学科英语拟录取初复试全程经验贴
- 2020-04-152019浙江师范大学333及851真题回忆版新鲜出炉