电脑体验，效果更佳

Kripke语义图谱-计算机领域：

研究人员

冯玉琳 曹子宁 石纯一

相关术语

正规概率模态语义 时序逻辑 行为约束 信念逻辑 概率信念逻辑 概率Aumann语义 代数规范

标签云