中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共4条，第1-4条

帮助

条数/页：排序方式：
	带参的相继式演算学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2012 纪开亮 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2012/06/01 模型检测 Kripke结构 CTL 余归纳逻辑推理
	语义Web中的自动推理和主动规则终止性分析学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院研究生院, 2008 徐贵红 \| 收藏 \| 浏览/下载：32/0 \| 提交时间：2011/03/17 语义Web 自动推理描述逻辑一阶逻辑推理自动定理证明有限模型查找 ECA规则终止性约束约束求解
	基于案例和描述逻辑的海上援救规划方法期刊论文 OAI收割计算机工程, 2008, 卷号: 34, 期号: 8, 页码: 261-263 作者: 周习锋; 苗兰森; 李一凡; 赵怀慈; 史泽林 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2010/11/29 描述逻辑推理 Owl本体基于案例的规划海上援救
	The Distributed Logical Reasoning Language D—Tuili and Its Implementation on Microcomputer Network 期刊论文 OAI收割计算机科学技术学报：英文版, 1992, 卷号: 7.0, 期号: 002, 页码: 123-125 作者: Zhang SM(张松懋); Cao H(曹华); Gao QQ(高全泉); Lu RL(陆汝铃) \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2021/01/14 计算机网络分布逻辑推理语言并行程序设计