中文版 | English

在结果中检索

CASIA OpenIR

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

限定条件    
已选(0)清除 条数/页：   排序方式：
标记逻辑程序理论研究:说明语义与过程语义 学位论文
, 中国科学院自动化研究所: 中国科学院自动化研究所, 1994
作者:  周生炳
收藏  |  浏览/下载：117/0  |  提交时间：2015/09/02
非单调推理  容错推理  标记逻辑程序  支持模型  诱导序列  不循环程序  多次极限  多重极限  表达式的复盖  分解和划分  Sld-博弈树  删除策略  依赖团  Nonmonotonic Reasoning  Error-tolerated Reasoning  Annotated Logic Program  Acyclic Program  Supported Model  Induced Sequence  Coveri