位置：成果数据库 > 会议 > 会议详情页
Maximal invariable update operator based on splitting
  • 所属机构名称：贵州科学院
  • 会议名称：3rd International Conference on Rough Sets and Knowledge Technology, RSKT 2008
  • 成果类型：会议
  • 会场：Chengdu, China
  • 相关项目：可信约束下软件错误诊断与修正框架
作者： Wu, Maonian|Zhang, Mingyi|
同会议论文项目
可信约束下软件错误诊断与修正框架
期刊论文 14 会议论文 9
同项目会议论文
Loop formulas for description logic programs
Algorithms and application in decision-making for the finest splitting of a set of formulae
A constructive method of the finest splitting of belief set
Fuzzy semi-equivalent relation
Axiom P and reliable belief change operator in belief revision
A Logic-Based Authorization Framework and Implementation
An efficient ensemble of GA and PSO for real function optimization
Weight constraint programs with functions