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

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

帮助

条数/页：排序方式：
	构建度量区时序逻辑的时间自动机期刊论文 OAI收割计算机工程与设计, 2011, 期号: 2, 页码: 568-571,575 王勤思 \| 收藏 \| 浏览/下载：35/0 \| 提交时间：2011/10/10 模型检测实时时序逻辑度量区时序逻辑基于迁移的扩展时间Bchi自动机 Tableau方法
	可判定的时序动态描述逻辑期刊论文 OAI收割软件学报, 2011, 卷号: 22.0, 期号: 007, 页码: 1524 作者: 常亮; 史忠植 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2023/12/04 动态描述逻辑分支时序逻辑知识表示和推理动作理论 Tableau判定算法
	构建度量区间时序逻辑的时间自动机学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2010 王勤思 \| 收藏 \| 浏览/下载：67/0 \| 提交时间：2010/06/08 模型检测实时时序逻辑度量区时序逻辑基于迁移的扩展时间Büchi自动机 Tableau方法。
	无穷状态系统互模拟判定算法学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院研究生院, 2008 陈海燕 \| 收藏 \| 浏览/下载：54/0 \| 提交时间：2011/03/17 互模拟等价 BPA BPP 可判定 Tableau 关系最粗划分
	动态描述逻辑的Tableau判定算法期刊论文 OAI收割计算机学报, 2008, 期号: 第6期, 页码: 896—909 作者: 常亮; 史忠植; 邱莉榕; 林芬 \| 收藏 \| 浏览/下载：29/0 \| 提交时间：2010/10/19 动态描述逻辑动作理论可满足性问题 Tableau算法可判定性
	动态描述逻辑的Tableau判定算法期刊论文 OAI收割计算机学报, 2008, 卷号: 31.0, 期号: 006, 页码: 896 作者: 常亮; 史忠植; 邱莉榕; 林芬 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2023/12/04 动态描述逻辑动作理论可满足性问题 Tableau算法可判定性
	a formal framework for ontology integration based on a default extension to ddl 会议论文 OAI收割 1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004), Guiyang, PEOPLES R CHINA, SEP 20-24, Ma YL; Wei J; Jin BH; Liu SH \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/28 ontology integration distributed description logics default extension Tableau algorithm semantic query
	面向传值进程的谓词μ-演算与FO(HML)的完备推演系统期刊论文 OAI收割计算机学报, 2002, 卷号: 25, 期号: 6 薛锐; 林惠民 \| 收藏 \| 浏览/下载：36/0 \| 提交时间：2010/08/24 传值进程 μ-演算模型检测 Tableau 推演完备