| 可判定的时序动态描述逻辑 |
| |
| 引用本文： | 常亮,史忠植,古天龙,王晓峰. 可判定的时序动态描述逻辑[J]. 软件学报, 2011, 22(7): 1524-1537. DOI: 10.3724/SP.J.1001.2011.03869 |
| |
| 作者姓名： | 常亮 史忠植 古天龙 王晓峰 |
| |
| 作者单位： | 1. 桂林电子科技大学广西可信软件重点实验室,广西桂林,541004
2. 中国科学院计算技术研究所智能信息处理重点实验室,北京,100190 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863)，国家重点基础研究发展计划(973)，广西自然科学基金 |
| |
| 摘 要： |
|
| 关 键 词： | 动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 Tableau判定算法 |
| 收稿时间： | 2009-11-03 |
| 修稿时间： | 2010-03-05 |
Decidable Temporal Dynamic Description Logic |
| |
| CHANG Liang,SHI Zhong-Zhi,GU Tian-Long and WANG Xiao-Feng. Decidable Temporal Dynamic Description Logic[J]. Journal of Software, 2011, 22(7): 1524-1537. DOI: 10.3724/SP.J.1001.2011.03869 |
| |
| Authors: | CHANG Liang SHI Zhong-Zhi GU Tian-Long WANG Xiao-Feng |
| |
| Affiliation: | 1(Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004,China) 2(Key Laboratory of Intelligent Information Processing,Institute of Computing Technology,The Chinese Academy of Sciences,Beijing 100190) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
