退出
我的积分:
中文文献批量获取
外文文献批量获取
胡山立; 石纯一;
中国科学院;
软件研究所;
计算机科学重点实验室;
北京;
100080;
福州大学;
计算机科学与技术系;
福建;
福州;
350002;
清华大学;
100084;
Agent; 意图; 语义; 真假子集语义; 模型;
机译:从普遍逻辑的角度看带有真假运算符的逻辑
机译:语言↔Rational Agents的语义
机译:Agent意图运算符的多子集可能的世界语义
机译:逻辑语义和认知保证:对逻辑后果进行信息说明。
机译:导致精神分裂症中真假记忆形成的语义过程
机译:关于中间谓词逻辑和模态谓词逻辑的Kripke语义的完整性和不完整性。 (关于非经典逻辑及其Kripke语义的问题)
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义
机译:用于创建,编辑,显示和执行基于规则的编程语言规则的系统,该规则具有操作部分子集,用于对条件部分进行真假评估
机译:真假裁判对象,真假裁判介质表和真假裁判介质表
机译:朱砂印墨,真假判断装置和真假判断密封的真假判断方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。