可信约束下软件错误诊断与修正框架

90718009
2007
F0202.系统软件、数据库与工业软件
张明义
重大研究计划
研究员
贵州科学院
50万元
信念更新;回答集程序设计;可信约束;软件错误;错误诊断与修正
2008-01-01到2010-12-01
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Maximal invariable update operator based on splitting 会议论文 Wu, Maonian|Zhang, Mingyi|
2 Algorithms and application in decision-making for the finest splitting of a set of formulae 会议论文 Zhang, Mingyi|Wo, Maonian|
3 Fuzzy semi-equivalent relation 会议论文 Zhang, Ying|Zhang, Mingyi|
4 An Approach to Generation of Decision Rules Based on a Fuzzy Semi-equivalence Relation 期刊论文 Zhang Mingyi|Zhang Ying|Li Danning|
5 A logic-program-based negotiation mechanism 期刊论文 Zhang, Ming-Yi|Wu, Mao-Nian|Chen, Wu|
6 Loop formulas for description logic programs 会议论文 You, Jia-Huai|Shen, Yi-Dong|Wang, Yisong|Yuan, Li Yan|
7 Weight constraint programs with functions 会议论文 You, Jia-Huai|Zhang, Mingyi|Yuan, Li-Yan|Wang, Yisong|
8 A Logic-Based Authorization Framework and Implementation 会议论文 Zhang, Mingsheng|Ma, Xinqiang|Zhang, Mingyi|
9 Algorithms and application in decision-making for the finest splitting of a set of formulae 期刊论文 Wu, Maonian|Zhang, Mingyi|
10 An efficient ensemble of GA and PSO for real function optimization 会议论文 Lai, Xinsheng|Zhang, Mingyi|
11 抽象解释理论框架及其应用 期刊论文 杨波|谢刚|张明义|
12 Logic programs, compatibility and forward chaining construction 期刊论文 Wang, Yi-Song|You, Jia-Huai|Zhang, Ming-Yi|
13 Computer-aided proofs of Arrow's and other impossibility theorems 期刊论文 Tang, Pingzhong|Lin, Fangzhen|
14 Axiom P and reliable belief change operator in belief revision 会议论文 Wu, Maonian|Zhang, Mingyi|
15 Makinson一个公开问题的注记 期刊论文 吴茂念|张明义|陈武|沈复兴|
16 A constructive method of the finest splitting of belief set 会议论文 Mingyi, Zhang|Maonian, Wu|
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享