位置：成果数据库 > 期刊 > 期刊详情页
一个可判定的时序动态描述逻辑
  • 期刊名称：软件学报（已录用，预计2011年4月刊出）
  • 时间：0
  • 相关项目：语义Web服务的逻辑基础
同期刊论文项目
语义Web服务的逻辑基础
期刊论文 50 会议论文 31 著作 3
同项目期刊论文
情感主体形式模型
A family of dynamic description logics for representing and reasoning about actions.
Tolerance Granular Computing Towards Incomplete Information System
On Intelligence Science
语义Web服务的QoS描述和发现
基于动态描述逻辑的网构软件系统故障诊断
基于动态描述逻辑的服务组合及质量模型.
一种新的Web异构语义信息搜索方法
一种基于主体的可信网构软件设计方法
调和聚类-分类方法在电力负荷预测中的应用
基于语境和动作推理的语义Web服务发现
基于动态描述逻辑的Web服务自动组合技术
动态描述逻辑推理的并行计算技术
一类扩展的动态描述逻辑理
基于主体的软件故障诊断系统eHealer
基于模型诊断研究进展
A Dynamic Description Logic System for Video Event Detection
基于精英池演化算法的数字电路在片演化方法
基于动态描述逻辑的服务组合及质量模型
建模连续视觉特征的图像语义标注方法
一种基于语义轨迹的事件规则学习算法
基于动态描述逻辑的语义Web服务推理
基于动态描述逻辑的语义Web服务匹配研究
动态描述逻辑的Tableau判定算法
基于偏向信息学习的双层强化学习算法
Adaptive associative classification with emerging frequent patterns
可判定的时序动态描述逻辑
基于动态膜计算系统的自组织网络广播算法
基于语义轨迹的视频事件探测
基于相容粒度空间的医学图像融合技术
多主体协同电力负荷预测模型
基于模型诊断的研究进展
基于主体的软件的故障诊断系统eHealer
基于数据挖掘的本体关系学习算法