|
English
首页
科学研究
研究方向
科研项目
学术论文
专利授权
教学研究
授课信息
获奖情况
招生信息
+
!tvu.isPriviewMode()true showstate0
基本信息
MORE +
!tvu.isPriviewMode()true showstate0
吕帅
Lu Shuai
(教授)
!tvu.isPriviewMode()true showstate0
学位:博士
性别:男
毕业院校:吉林大学
学历:博士研究生毕业
在职信息:在职
所在单位:计算机科学与技术学院、网络安全学院
科学研究
当前位置:
吕帅
>>
科学研究
研究方向
人工智能、机器学习、自动推理
科研项目
MORE+
基于深度强化学习的推理系统开发
依赖知识编译的推理方法研究
结合模态逻辑知识表示与推理的自动规划方法研究
命题与模态逻辑的扩展规则推理与混合推理方法研究
命题逻辑和模态逻辑的扩展规则推理方法研究
学术论文
MORE+
基于超扩展规则的知识编译方法.计算机学报.2016,39(8):1681-1696
Redundancy checking algorithms based on parallel novel extension rule.Journal of Experimental & Theoretical Artificial Intelligence.2017,29(3):629-647
peC语言的部分求值器及在编译器测试中的应用.软件学报.2017,28(5):1221-1232
EPCCL理论的求交知识编译算法.软件学报.2017,28(8):2096-2112
EPCCL理论的并行知识编译算法.电子学报.2018,46(3):537-543
专利授权
鼠标绘图辅助装置