搜索到 篇“ 开放逻辑 “的相关文章

相关作者

苏开乐
作品数：48被引量：152H指数：8
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
李未
作品数：175被引量：435H指数：11
供职机构：北京航空航天大学计算机学院
研究主题：人工智能 移动IP 移动IPV6 逻辑系统 超协调逻辑
丁德成
作品数：25被引量：17H指数：2
供职机构：南京大学数学系
研究主题：开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
王淞昕
作品数：16被引量：59H指数：5
供职机构：上海财经大学信息管理与工程学院
研究主题：描述逻辑 开放逻辑 N-S 非单调推理 语义WEB
张东摩
作品数：30被引量：96H指数：5
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：中介逻辑 人工智能 情境演算 AGENT 信念修正