位置：成果数据库 > 会议 > 会议详情页
Loop formulas for description logic programs
  • 所属机构名称：贵州科学院
  • 会议名称：Twenty-sixth International Conference on Logic Programming
  • 成果类型：会议
  • 相关项目：可信约束下软件错误诊断与修正框架
作者： You, Jia-Huai|Shen, Yi-Dong|Wang, Yisong|Yuan, Li Yan|
同会议论文项目
可信约束下软件错误诊断与修正框架
期刊论文 14 会议论文 9
同项目会议论文
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
Weight constraint programs with functions