姜云飞教授论文目录
| 作者 | 论文题目 | 刊物/会议/出版社名称 |
发表时间 |
刊物级别/著作类别 | 收录情况 |
| 杨强、吴康民、姜云飞 | Learning action models from plan examples using weighted MAX-SAT | Artificial Intelligence, Issues 2-3, February 2007, Page 107-143 | 2007 年 2 月 | ||
| 范昭赋， 姜云飞 | 基于算子矩阵模型的程序诊断方法 | 2005中国计算机大会论文集,中国, 武汉 | 2005 年 10 月 | ||
| 文中华, 姜云飞 | 用分层关联方法求有向图中所有Hamilton回路的算法 | 《计算机研究与发展》， 2005年第10 期 | 2005年10月 | ||
| 凌应标、吴向军、姜云飞 | 基于子句权重学习的求解SAT问题的遗传算法 | 《计算机学报》，第28卷，第9期 | 2005年9月 | ||
| 蒋志华, 姜云飞, | 一种带权值的图规划算法 | 《计算机应用与软件》, 2005年5期 | 2005年5月 | ||
| 段琢华，姜云飞 | 基于扩展知识图的智能教学规划 | 《计算机工程与应用》， 2005年第 41券， 2005年17 期 | 2005年 | ||
|
Yunfei
Jiang, Kangheng Wu |
Domain-Dependent
Planning in the Graphplan Framework |
第九届联合国际计算机会议论文集，11-18，中国 珠海 |
2003年11月
|
|
|
|
Xuelian
Xiao , Yunfei Jiang |
A
Causality-based Approch for Indirect Effect of Planningaction
|
第九届联合国际计算机会议论文集，
202-209， 中国 珠海
|
2003年11月
|
|
|
|
李占山，姜云飞，王涛
|
基于模型诊断问题的分解及其算法
|
《计算机学报》（第26卷， 第9期）
|
2003年9月
|
|
|
|
姜云飞，林笠
|
用布尔代数方法计算最小碰集
|
《计算机学报》（第26卷，第8期） |
2003年8月
|
|
|
|
陈荣，姜云飞，林笠
|
溯因推理研究：现状与问题
|
《计算机科学》
|
2003//5
|
|
|
|
丁德路，
姜云飞
|
基于智能规划的时间表问题研究
|
《小型微型计算机系统》，第24卷第2
期 |
2003年2月
|
|
|
|
Li Lin,
Yunfei Jiang |
The
computation of hitting sets: Review and new algorithms
|
Information
Processing Letters 86 (2003) 177-184 |
2003年 |
|
|
|
姜云飞，林
笠
|
用对分HS-树计算最小碰集 |
《软件学报》（Vol。13，
No。12）
|
2002年12月
|
|
|
|
姜云飞，马
宁
|
基于限定的规划识别问题求解
|
《计算机学报》（第25卷第12期） |
2002年12月
|
|
|
|
杜剑峰，姜云飞
|
网络集成信息的研究
|
《计算机科学》（第29
卷第5期） |
2002年5月
|
|
|
|
丁德路，姜云飞
|
智能规划及其应用的研究
|
《计算机科学》（第
29 卷第
2 期
）
|
2002年5月
|
|
|
|
姜云飞，马宁
|
一种基于规划知识图的规划识别算法
|
《软件学报》Vol。13，
No。4
|
2002年4月
|
|
|
|
陈荣，孙吉贵，姜云飞
|
受限的proflog语言及其表推演过程语义 |
第七届中国人工智能联合学术会议论文集，广西桂林，2002
|
2002年 |
|
|
|
李天际，姜云飞
|
图规划及其扩展的分析和研究
|
计算机科学
|
2001//07
|
|
|
|
姜云飞
|
基于模型诊断测试的修正与扩充
|
软件学报
|
2000年11月
|
|
|
|
姜云飞
|
基于逻辑模型的电话网动态选路方法
|
计算机研究与发展
|
2000年8月
|
|
|
|
姜云飞
|
扩展溯因逻辑程序设计的辩论理论基础
|
计算机学报
|
2000年6月
|
|
|
|
姜云飞
|
不确定因果理论的基于模型诊断
|
吉林大学学报
|
2000年4月
|
|
|
|
陈海广，李磊，姜云飞
|
基于逻辑模型的电话网动态选路方法
|
计算机研究与发展，2000年第37卷 |
2000年 |
|
|
|
程晓春,姜云飞 |
与替换和集合运算有关的错误
|
软件学报，201-204
|
1999年2月第9卷 第2期
|
|
|
|
欧阳丹彤,姜云飞 |
刻画基于模型的中心诊断
|
软件学报,74-77
|
1999年1月
第10卷 第1期
|
|
|
|
欧阳丹彤,姜云飞 |
广义因果理论的基于模型的诊断
|
计算机研究与发展,31-35
|
1999年1月
第36卷 第1期
|
|
|
|
姜云飞
|
基于知识结构图的智能教学规划
|
计算机研究与发展，787-792
|
1998年9期
|
|
|
|
欧阳丹彤,姜云飞 |
基于一致性的中心诊断及中心溯因诊断
|
《计算机学报》，540-545
|
1998年6期
|
|
|
|
欧阳丹彤,姜云飞 |
基于一致性最小正常诊断及其应用
|
《计算机学报》，540-545
|
1998年6期
|
|
|
|
姜云飞,智桂兰 |
使用选择函数的亚蕴函询问求值 |
《软件学报》第9卷 第1期
64-68 |
1998年1月 |
|
|
|
李占山,姜云飞 |
基于模型的诊断及其应用
|
计算机科学
|
1998年 |
|
|
|
程晓春,姜云飞 |
关于择优蕴涵的悖论
|
计算机研究与发展，81-86
|
1997年2期
|
|
|
|
Cheng
Xiaochun, Jiang Yunfei(姜云飞),
Liu Xuhua |
The
Rationality and Decidability of Fuzzy Implications
|
Fourteenth
International Joint Conference on Artificial Intelligence, Montreal,
Canada, , 1910-1915 |
1995年8月
|
|
|
|
姜云飞 |
使用L集合的询问求值 |
《计算机学报》517-522 |
1995年7期 |
|
|
|
姜云飞 |
Circumscription
and Query Evaluation for the CWA database |
国际学术出版社，94亚洲及太平洋人工智能会议文集，201-207 |
1994年8月 |
|
|
|
姜云飞 |
利用重写系统研究缺省推理 |
《计算机学报》354-360 |
1994年5期 |
|
|
|
姜云飞 |
缺省理论与相信理论的关系 |
《计算机学报》137-141 |
1994年2期 |
|
|
|
姜云飞 |
利用格论研究缺省推理 |
《计算机学报》81-88 |
1993年2期 |
|
|
|
姜云飞 |
Describing
Default Logic with Belief Logic |
国际学术出版社，国际自动推理会议文集，46-51 |
1992年8月 |
|
|
|
姜云飞 |
关于非单调推理中的择优蕴涵 |
《计算机学报》792-796 |
1990年10期 |
|
|
|
刘广清,姜云飞,刘叙华 |
再谈一阶逻辑的重写证明算法
|
吉大出版社，中国第一届人工智能联合会议文集，146-148
|
1990年5月
|
|
|
|
姜云飞 |
关于非单调推理 |
《计算机科学》，55-58 |
1988年4期 |
|
|
|
姜云飞 |
计算机自动推理----它的兴起萧条与复兴 |
《计算机科学》，52-54 |
1988年4期 |
|
|
|
姜云飞 |
一阶逻辑中重写证明算法 |
《计算机学报》65-73 |
1988年2期 |
|
|
|
姜云飞 |
一个教授计算机语言的TEACHER系统 |
《吉大自然科学学报》，112-116 |
1987年4期 |
|
|
|
姜云飞 |
《计算逻辑》中定义原理修改与重证 |
《吉大自然科学学报》，112-116 |
1987年4期 |
|
|
|
姜云飞 |
对Boyer-Moore定理证明器的若干改进 |
《吉大自然科学学报》，109-115 |
1986年4期 |
|
|