中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共2条，第1-2条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
智能决策支持系统的研究及其在销售管理中的应用 学位论文
, 中国科学院自动化研究所: 中国科学院自动化研究所, 2000
作者:  周长兵
收藏  |  浏览/下载：109/0  |  提交时间：2015/09/02
智能决策支持系统  决策支持系统  专家系统  销售管理决策支持系统  原型系统  三库一体化  概念集  命题  Intelligent Decision Support Systems (Idss)  Decision Support Systems (Dss)  Expert Systems (Es)  Sales Management Idss  Archety  
标记逻辑程序理论研究:说明语义与过程语义 学位论文
, 中国科学院自动化研究所: 中国科学院自动化研究所, 1994
作者:  周生炳
收藏  |  浏览/下载：117/0  |  提交时间：2015/09/02
非单调推理  容错推理  标记逻辑程序  支持模型  诱导序列  不循环程序  多次极限  多重极限  表达式的复盖  分解和划分  Sld-博弈树  删除策略  依赖团  Nonmonotonic Reasoning  Error-tolerated Reasoning  Annotated Logic Program  Acyclic Program  Supported Model  Induced Sequence  Coveri