2. 您的位置
3. 首页
4. 会议论文
5. 一个基于时段的时态逻辑推理系统

一个基于时段的时态逻辑推理系统

来源 :’94全国理论计算机科学年会 | 被引量 : 0次 | 上传用户：cwfml9

【作 者】

：

程庆文 

【机 构】

：

中国科学院软件研究所

【出 处】

：

’94全国理论计算机科学年会

【发表日期】

：

1994年期

【关键词】

：

时段 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

中国萝卜遗传资源

会议

中国萝卜

萝卜螺感染东毕血吸虫等幼虫期的组织学和组织化研究

会议

萝卜螺感染血吸虫幼虫期组织学

80386 PROLOG系统及其程序设计技术

会议

系统

逻辑程序设计中的自动校错技术

会议

逻辑程序设计

Hoare逻辑中相对完备性的一个较弱充分条件

会议

逻辑相对完备性

试论医学体系的逻辑发展

会议

医学体系

关于主体的知识推理性质的逻辑

该文建立了一个逻辑模型，不仅能刻画多主体的知识推理而且能同时刻画特定主体的知识推理性质。

会议

知识推理特定主体逻辑模型多主体

萝卜汁治功血3例报告

会议

萝卜汁

计算机科学理论研究进展

会议

计算机科学

逻辑在计算机科学中的作用

会议

逻辑