研招网 > 浙江研招网 > 浙江师范大学 > 导师介绍

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


  姓名:苏开乐 
  职称:教授 
  所在学院:数理与信息工程学院 

  研究方向:模型检测多智能体系统,安全协议验证,难解问题的算法
  学术兼职:《软件学报》责任编委,中国数理逻辑学会理事。
  主讲课程:主讲本科课程:算法设计与分析
  
  科研项目(课题)
  主持国家杰出青年科学基金项目,国家自然科学基金委,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多位硕士研究生。

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

考研帮最新资讯更多

考研帮地方站

你可能会关心:

查看目标大学的更多信息

分数线、报录比、招生简章
一个都不能错过

× 关闭