位置：成果数据库 > 会议 > 会议详情页
Weight constraint programs with functions
  • 所属机构名称：贵州科学院
  • 会议名称：10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
  • 成果类型：会议
  • 会场：Potsdam, Germany
  • 相关项目：可信约束下软件错误诊断与修正框架
作者： You, Jia-Huai|Zhang, Mingyi|Yuan, Li-Yan|Wang, Yisong|
同会议论文项目
可信约束下软件错误诊断与修正框架
期刊论文 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
Maximal invariable update operator based on splitting
A Logic-Based Authorization Framework and Implementation
An efficient ensemble of GA and PSO for real function optimization