位置：成果数据库 > 会议 > 会议详情页
Decidable fragments of first-order language under stable model semantics and circumscription
  • 所属机构名称：中国人民大学
  • 会议名称：24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial I
  • 成果类型：会议
  • 相关项目：知识-信度的概率形式化模型及其在安全协议验证中的应用
作者： Zhang, Heng1|Yinga, Mingsheng1, 2|
同会议论文项目
知识-信度的概率形式化模型及其在安全协议验证中的应用
期刊论文 1 会议论文 3
同项目会议论文
Belief functions on distributive lattices
Intuitive probability logic