基于分离的局部信念修正研究及其软件诊断应用
61262029
2012
F06.人工智能
吴茂念
地区科学基金项目
教授
贵州大学
47万元
软件诊断;信念修正;最细分离计算;分离
2013-01-01到2016-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | A sequential model for reasoning about bargaining in logic programs | 会议论文 | Wu Chen|Dongmo zhang|Maonian Wu| |
| 2 | 一种基于回答集程序的三方协商新机制 | 期刊论文 | 陈武|周敏|李虎阳| |
| 3 | 基于改进E-Score语义及剪枝算法研究 | 期刊论文 | 曹庆傲|吴茂念| |
| 4 | A sequential model of bargaining in logic programming | 期刊论文 | Chen, Wu|Zhang, Dongmo|Wu, Maonian| |
| 5 | Representing and Reasoning about Game Strategies | 期刊论文 | Dongmo Zhang|Michael Thielscher| |
| 6 | 循环结构的形式化推导 | 期刊论文 | 李贤贞|吴茂念|杨静| |
| 7 | 无线Mesh网络中路由与信道联合分配研究 | 期刊论文 | 杨玲|陈其松|吴茂念| |
| 8 | 指向分析语义及其存在性证明 | 期刊论文 | 杨波|谢刚|李松|张明义| |
查看更多信息请先登录或注册
