切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
面向反应式规划系统的动态逻辑
面向反应式规划系统的动态逻辑
来源 :2004年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:bmhk1002
【摘 要】
:
许多关于规划的研究近几年来集中于所谓的反应规划系统。本文对面向反应式规划系统的动态逻辑进行了研究。文章围绕扩展情景演算、FSP动态逻辑等问题进行了论述。
【作 者】
:
费定舟
【机 构】
:
武汉大学哲学系和计算机系,武汉,430072
【出 处】
:
2004年全国理论计算机科学学术年会
【发表日期】
:
2004年期
【关键词】
:
反应式
规划系统
动态逻辑
情景演算
扩展
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
许多关于规划的研究近几年来集中于所谓的反应规划系统。本文对面向反应式规划系统的动态逻辑进行了研究。文章围绕扩展情景演算、FSP动态逻辑等问题进行了论述。
其他文献
甘地胶囊指纹图谱分析及指标成分含量测定
目的建立甘地胶囊HPLC指纹图谱分析方法及测定指标成分含量,并以此考察甘地胶囊的质量。方法样品经甲醇溶解后,超声提取、离心,用Inertsil~(?)ODS-3色谱柱(250 mm×4.6 mm,5
期刊
fingerprint
multiple indicator components
gandi capsule
quality control
选择性环氧化酶-2抑制剂对肾脏的作用
选择性环氧化酶-2(COX-2)抑制剂在发挥有效抗炎镇痛作用时,可避免或减轻由于抑制维持人体正常功能所必需的COX-1所致的胃肠道、血小板等不良反应,因此被广泛应用于临床。但其
期刊
COX-2
选择性COX-2抑制剂
肾脏
术后镇痛
通用财务信息综合管理平台的研究与实现
本文对通用财务信息综合管理平台的实现进行了研究。文章开发了"通用财务信息综合管理平台",它把政府机关经费的预算、合同、借款、还款、结算、决算等与经费相关内容统一管
会议
通用
财务信息
经费管理
政府机关
管理平台
账务系统
业务工作
融合
管理软件
工作效率
法律法规
预算
数据
领导
开发
决算
借款
结算
会计
还款
静注人免疫球蛋白治疗重症手足口病的疗效分析
目的分析静注人免疫球蛋白对于重症手足口病患者的临床疗效。方法将2011年5月至2012年6月期间本院收治的68例重症手足口病患儿分为治疗组和对照组,两组均给予抗病毒药物以及
期刊
human immunoglobulin
hand-foot-mouth disease
efficacy
第一四八医院部分学科带头人专访
访第148医院军区介入诊疗中心主任张希金张希全,现任第一四八医院军区介入诊疗中心主任、主任医师。全军放射医学专业委员会委员、济南军区医学科学技术委员 Visit to the 1
期刊
介入诊疗
济南军区
访第
希金
主任医师
放射医学
第一
市医学会
学术论文
卫生专业
大剂量甲泼尼龙琥珀酸钠致皮疹伴瘙痒1例
<正>【病例】患者,男,46岁。因头颈部及四肢外伤致疼痛1 h于2011年11月16日收住人院。既往体健,否认药物过敏史、其他外伤手术史和输血史。查体:BP 130/80 mm Hg(1 mm Hg=0.1
期刊
甲泼尼龙琥珀酸钠
大剂量
关于完全非线性的多值逻辑函数
本文对关于完全非线性的多值逻辑函数进行了探讨。文章指出,在密码学中一些密码体制的设计与分析,最终可归于多值逻辑函数的设计与分析。文章采用谱分析技术定出了完全非线性函
会议
完全非线性函数
多值逻辑函数
谱分析技术
设计
密码体制
密码学
阵列
我院2006-2011年儿童铜绿假单胞菌耐药性分析
目的 分析我院临床分离的铜绿假单胞菌(PA)在2006-2011年的分离率及耐药性,并探讨其耐药性变迁规律.方法 收集2006年1月-2011年12月我院住院患儿的临床分离PA药敏试验报告单,
期刊
铜绿假单胞菌
耐药性
分离率
抗菌药物
儿童
临床药师培养中模拟会诊教学方法的探讨
目的 提高临床药师的综合素质、知识水平和临床能力.方法 通过模拟教学,组织卫生部规范化培训的临床药师师资学员进行药师模拟会诊,让学员从不同视角提出会诊意见,带教老师给
期刊
临床药师
模拟会诊
教学方法
逻辑在企业BOM设计中的应用
BOM是产品结构的技术性描述文件,它表明了产品组件、子件、零件直到原材料之间的结构关系,以及每个组件所需要的各下属部件的数量。本文介绍的方法可灵活地处理各种非线性树
会议
逻辑程序
企业
设计
树形数据结构
组件
维护方法
描述文件
结构关系
产品结构
查询驱动
原材料
非线性
查询表
书写
能力
目标
零件
扩展
技术
规则
与本文相关的学术论文