云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=表判定算法 "

共条记录，以下是1-2

全选清除导出

视图：

排序：

显示条数：

一类扩展的动态描述逻辑被引量：23: 《软件学报》2010年第1期1-13,共13页常亮史忠植陈立民牛温佳; 国家自然科学基金Nos.90604017;60775035;60803033;国家高技术研究发展计划(863)No.2007AA01Z132;国家重点基础研究发展计划(973)No.2007CB311004~~; 作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却不能加以处理.借鉴Pratt关于命题动态逻...; 关键词：动态描述逻辑动作推理动作的执行过程表判定算法语义WEB服务

描述逻辑的动态时序扩展被引量：5: 《计算机应用研究》2012年第2期536-541,共6页孙永新赵希顺符志强; 国家自然科学基金资助项目(60970040); 在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTL...; 关键词：动态时序描述逻辑动作推理表判定算法语义WEB服务

全选清除导出

共1页<1>