学术活动
  2010-3-30
  2010-3-30
  2010-3-29
  2010-3-28
  2010-3-28
 

吕帅    Lv Shuai


吉林大学计算机科学与技术学院



研究领域:


研究兴趣:

共检索到结果29条  被引34次[注:ScholarSpace内自引数]
查看吕帅的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2019
29 牛当当 吕帅 王金艳 . 基于MOVR启发式的求差知识编译算法. 电子学报, 2019, (11): 0
2018
28 王强 刘磊 吕帅 . 基于扩展规则的启发式#SAT求解算法. 软件学报, 2018, (11): 0
27 杨洋 刘磊 李广力 张桐搏 吕帅 . 一种新的基于局部搜索的扩展规则推理方法. 计算机学报, 2018, (04): 825-840 0
26 牛当当 刘磊 吕帅 . EPCCL理论的并行知识编译算法. 电子学报, 2018, (03): 537-544 0
2017
25 牛当当 刘磊 吕帅 . EPCCL理论的求交知识编译算法. 软件学报, 2017, (08): 2096-2113 1
24 郭德贵 王冠成 吕帅 刘磊 . peC语言的部分求值器及在编译器测试中的应用. 软件学报, 2017, (05): 1221-1233 0
23 周文博 刘洪佳 刘磊 张鹏 吕帅 . 一种服务消息交互行为的元建模方法. 计算机科学, 2017, (04): 24-30 0
2016
22 杨洋 李广力 张桐搏 刘磊 吕帅 . 命题模态逻辑S5系统中并行推理方法. 计算机科学与探索, 2016, (12): 0
2013
21 魏唯 欧阳丹彤 吕帅 . 基于缩减信念状态的Conformant规划方法. 软件学报, 2013, (07): 1557-1571 0
20 魏唯 欧阳丹彤 吕帅 . 路标计数启发式引导的分解规划方法. 软件学报, 2013, (10): 2327-2340 0
2012
19 吕帅 刘磊 魏唯 高冰冰 . 智能规划的逻辑编码方式研究. 计算机研究与发展, 2012, (03): - 0
2011
18 董轶群 刘大有 王芳 王生生 吕帅 . 一种基于MBR的不确定区域间方向关系建模方法. 电子学报, 2011, (02): 1
17 刘磊 张鹏 吕帅 张睿 . 基于演化传播模型的本体内聚程度分析. 电子学报, 2011, (08): 0
16 魏唯 欧阳丹彤 吕帅 冯宇轩 . 动态不确定环境下多目标路径规划方法. 计算机学报, 2011, (05): 836-847 3
15 吕帅 刘磊 石莲 魏唯 杨超 . 依赖公理约简的经典规划方法. 电子学报, 2011, (02): 0
14 杨超 吕帅 刘磊 魏唯 张波 吴俊 . 智能规划中的动作互斥编码方式研究. 计算机工程, 2011, (09): 213-216 0
2010
13 高冰冰 张长海 吕帅 . 基于量化布尔公式的条件规划编码方式. 计算机科学, 2010, (11): 0
12 吕帅 刘磊 江鸿 史晶晶( . 一种约简动作变元的命题规划编码方式. 计算机研究与发展, 2010, (10): 0
11 吕帅 刘磊 江鸿 魏唯 . 基于命题可满足性的经典最优规划方法. 计算机科学, 2010, 37 (04): 192-197 0
10 魏唯 欧阳丹彤 吕帅 殷明浩 . 结合增量与启发式搜索的多目标问题处理方法. 计算机研究与发展, 2010, (11): 0
9 魏唯 欧阳丹彤 吕帅 . 一种实时多目标路径规划方法. 计算机科学, 2010, 37 (07): 236-240 0
2009
8 吕帅 刘磊 石莲 李莹 . 基于自动推理技术的智能规划方法. 软件学报, 2009, (05): 1226-1240 4
7 江鸿 刘大有 吕帅 蔡敦波 史晶晶 . 命题编码中公理的组合与设计. , 2009, 36 (10): 202-209 0
6 史晶晶 刘大有 蔡敦波 吕帅 江鸿 . 基于多值表示的并行规划方法. 计算机科学, 2009, (09): 0
5 赖永 欧阳丹彤 蔡敦波 吕帅 . 基于扩展规则的模型计数与智能规划方法. 计算机研究与发展, 2009, (03): 12
4 孙吉贵 李莹 朱兴军 吕帅 . 一种新的基于扩展规则的定理证明算法. 计算机研究与发展, 2009, (01): 11
3 吕帅 刘磊 李莹 石莲 . 基于模态逻辑D公理系统的Conformant规划方法. 计算机研究与发展, 2009, (07): 1160-1169 2
2 孙吉贵 殷明浩 吕帅 . JLU-RLAO和JLU-QLAO:两个不确定智能规划求解系统. 计算机研究与发展, 2009, (04): 0
2008
1 杨宇鹏 欧阳丹彤 蔡敦波 吕帅 . 基于Conformant Fast-Forward规划系统的析取目标处理方法. 计算机研究与发展, 2008, (12): 0

DBLP检索到的论文列表

No. Paper Inforamtion

合作作者列表

1 冯宇轩 [16]  
2 刘大有 [6]   [7]  [18]  
3 刘洪佳 [23]  
4 刘磊 [8]   [3]  [11]  [12]  [15]  [14]  [17]  [19]  [22]  [24]  [23]  [25]  [27]  [26]  [28]  
5 史晶晶 [6]   [7]  
6 史晶晶( [12]  
7 吴俊 [14]  
8 周文博 [23]  
9 孙吉贵 [4]   [2]  
10 张桐搏 [22]   [27]  
11 张波 [14]  
12 张睿 [17]  
13 张长海 [13]  
14 张鹏 [17]   [23]  
15 朱兴军 [4]  
16 李广力 [22]   [27]  
17 李莹 [4]   [8]  [3]  
18 杨宇鹏 [1]  
19 杨洋 [22]   [27]  
20 杨超 [15]   [14]  
21 欧阳丹彤 [1]   [5]  [9]  [10]  [16]  [21]  [20]  
22 殷明浩 [2]   [10]  
23 江鸿 [6]   [7]  [11]  [12]  
24 牛当当 [25]   [26]  [29]  
25 王冠成 [24]  
26 王强 [28]  
27 王生生 [18]  
28 王芳 [18]  
29 王金艳 [29]  
30 石莲 [8]   [3]  [15]  
31 董轶群 [18]  
32 蔡敦波 [1]   [5]  [6]  [7]  
33 赖永 [5]  
34 郭德贵 [24]  
35 高冰冰 [13]   [19]  
36 魏唯 [11]   [9]  [10]  [15]  [16]  [14]  [19]  [21]  [20]  

单位历史信息

吉林大学计算机科学与技术学院 (2008--2018)
西北农林科技大学信息工程学院 (2019--2019)

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