机构

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

采集方式

• OAI收割 [7]

内容类型

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

发表日期

• 2021 [1]
• 2014 [2]
• 2011 [1]
• 2008 [1]
• 2003 [2]

学科主题

• Computer S... [2]

筛选

浏览/检索结果: 共7条，第1-7条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Variant quantifiers in L-3-valued first-order logic 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 5, 页码: 9 作者:  Li, Wei;  Sui, Yuefei   |  收藏  |  浏览/下载：19/0  |  提交时间：2022/06/21 L(3)-valued (three-valued) first-order logic  sequent  quantifier  soundness theorem  completeness theorem   不同结构数据的图模型机器学习研究 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院大学, 2014 作者:  吴蕾 收藏  |  浏览/下载：162/0  |  提交时间：2015/09/02 不同结构数据  图模型  一阶逻辑  主题模型  马尔科夫逻辑网  data with different structure  graphical model  first-order logic  topic model  Markov logic network   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)   |  收藏  |  浏览/下载：25/0  |  提交时间：2014/12/16 Answer set programming  Knowledge representation  Nonmonotonic reasoning  Logic programs with first-order formulas  Level mappings  Circular justifications   人机口语对话系统的知识自动生成技术 学位论文  OAI收割 工学硕士, 中国科学院自动化研究所: 中国科学院研究生院, 2011 黄韵竹 收藏  |  浏览/下载：45/0  |  提交时间：2015/09/02 人机口语对话系统  词类扩展  一阶谓词逻辑  依存句法分析  知识库生成  human-computer dialog system  word class expansion  first order predicate logic  dependency parsing  knowledge base generation   ehrenfeucht-fraisse games in finite set theory 期刊论文  OAI收割 INFORMATION PROCESSING LETTERS, 2008, 卷号: 108, 期号: 1, 页码: 3-9 Zhou Xiang   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/06/10 specification languages  arithmetic predicates  finite set theory  fragments of first order logic  inexpressibility  Ehrenfeucht-Fraisse games   on decidability and model checking for a first order modal logic for value-passing processes 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2003, 卷号: 46, 期号: 1, 页码: 45-59 Xue R; Lin HM   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/29 first order modal logic  decidability  model checking  value-passing processes   on decidability and model checking for a first order modal logic for value-passing processes 期刊论文  OAI收割 Science in China Series F: Information Sciences, 2003, 卷号: 46, 期号: 1, 页码: 45-59 Rui Xue; Lin Huimin   |  收藏  |  浏览/下载：10/0  |  提交时间：2010/08/24 first order modal logic  decidability  model checking  value-passing processes