位置：成果数据库 > 会议 > 会议详情页
Intuitive probability logic
  • 所属机构名称：中国人民大学
  • 会议名称：8th Annual Conference on Theory and Applications of Models of Computation, TAMC 2011
  • 成果类型：会议
  • 相关项目：知识-信度的概率形式化模型及其在安全协议验证中的应用
作者： Zhou, Chunlai1|
同会议论文项目
知识-信度的概率形式化模型及其在安全协议验证中的应用
期刊论文 1 会议论文 3
同项目会议论文
Decidable fragments of first-order language under stable model semantics and circumscription
Belief functions on distributive lattices