位置：成果数据库 > 会议 > 会议详情页
Using CWA Does Not Change The Consistency of Horn-type Clause Knowledge Base
  • 所属机构名称：陕西师范大学
  • 会议名称：. Proceedings of International Conference on Quantitative Logic and Quantification of Software(QL&am
  • 成果类型：会议
  • 会场：上海
  • 相关项目：不确定环境下的计算模型与计算理论研究
作者： SongJia|Luo MingNan|Li YongMing|
同会议论文项目
不确定环境下的计算模型与计算理论研究
期刊论文 101 会议论文 9
同项目会议论文
A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative
The optimal information rate of perfect secret sharing schemes
A polynomial Algorithm for Testing Diagnosability of Stochastic Discrete Event Systems
Generalized Intuitionistic Fuzzy Soft Sets and Multiattribute Decision Making
A verfiable secret sharing Scheme without dealer in vector space
Lattice-Valued Fuzzy Turing Machines and Their Computing Power
A multi-secret sharing scheme in an access structure
Soft Set Based Approximate Reasoning: A Quantitative Logic Approach