机构

• 计算技术研究所 [1]
• 自动化研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [2]
• 学位论文 [1]

发表日期

• 2014 [1]
• 1994 [1]
• 1992 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 FLP answer set semantics without circular justifications for general logic programs 期刊论文  OAI收割 Artificial Intelligence, 2014, 卷号: 213, 页码: 1-41 Shen, Yi-Dong (1); Wang, Kewen (2); Eiter, Thomas (3); Fink, Michael (3); Redl, Christoph (3); Krennwallner, Thomas (3); Deng, Jun (1)   |  收藏  |  浏览/下载：26/0  |  提交时间：2014/12/16 Answer set programming  Knowledge representation  Nonmonotonic reasoning  Logic programs with first-order formulas  Level mappings  Circular justifications   标记逻辑程序理论研究:说明语义与过程语义 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1994 作者:  周生炳 收藏  |  浏览/下载：52/0  |  提交时间：2015/09/02 非单调推理  容错推理  标记逻辑程序  支持模型  诱导序列  不循环程序  多次极限  多重极限  表达式的复盖  分解和划分  SLD-博弈树  删除策略  依赖团  nonmonotonic reasoning  error-tolerated reasoning  annotated logic program  acyclic program  supported model  induced sequence  coveri   NLPM - AN APPROACH FOR NONMONOTONIC REASONING BASED ON LINGUISTIC PROBABILITY 期刊论文  OAI收割 IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 卷号: 19, 页码: 107-121 作者:  SHI, ZZ;  LUO, XD   |  收藏  |  浏览/下载：31/0  |  提交时间：2019/12/16 NONMONOTONIC REASONING  UNCERTAINTY  LINGUISTIC PROBABILITY  POSSIBILITY THEORY