|国家科技期刊平台
| 注册
首页|期刊导航|智能系统学报|一种扩展的动态描述逻辑语言及其 Tableau 算法

一种扩展的动态描述逻辑语言及其 Tableau 算法

郝国舜 马世龙 眭跃飞

智能系统学报2009，Vol.4Issue(3)：226-233,8.
✕
智能系统学报2009，Vol.4Issue(3)：226-233,8.DOI:10.3969/j.issn.1673-4785.2009.03.006

一种扩展的动态描述逻辑语言及其 Tableau 算法

An extended dynamic description logic language and its Tableau algorithm

郝国舜 1马世龙 1眭跃飞2

作者信息

  • 1. 北京航空航天大学,软件开发环境国家重点实验室,北京,100191
  • 2. 中科院计算所,智能信息处理重点实验室,北京100080
  • 折叠

摘要

关键词

动态描述逻辑/模态逻辑/动态逻辑/Tableau算法

分类

信息技术与安全科学

引用本文复制引用

郝国舜,马世龙,眭跃飞..一种扩展的动态描述逻辑语言及其 Tableau 算法[J].智能系统学报,2009,4(3):226-233,8.

基金项目

国家"973"计划资助项目(2005CB321902). （2005CB321902）

智能系统学报

OACSTPCD

1673-4785

访问量3
|
下载量0
段落导航相关论文