搜索页_一阶逻辑

中图分类法(245)

哲学、宗教(37)

政治、法律(3)

军事(2)

经济(2)

文化、科学、教育、体育(3)

语言、文字(3)

自然科学总论(1)

数理科学和化学(27)

天文学、地球科学(2)

生物科学(1)

医药、卫生(1)

农业科学(2)

工业技术(164)

航空、航天(2)

在“CNKI学位论文”中，命中：245条，耗时：小于0.01 秒

1.Answer Set编程及其应用研究

作者：李鑫

关键词：Answer ; Set ; 语法 ; 语义 ; 冲突消解 ; 服务组合 ; ER模型

论文级别：博士

学位年度：2009

2.基于策略的普适计算隐私保护技术研究

作者：康密军

关键词：普适计算 ; 隐私保护 ; 策略 ; 推理 ; 机器学习

论文级别：博士

学位年度：2009

3.基于语言真值格值逻辑的归结自动推理研究

作者：李晓冰

关键词：语言真值格蕴涵代数 ; 语言真值格值逻辑 ; α-归结原理 ; α-归结自动推理 ; 语言值决策

论文级别：博士

学位年度：2008

4.图形化模型的一致性检查

作者：单黎君

关键词：建模语言 ; 图形化模型 ; 一致性 ; 一阶逻辑 ; UML ; CAMLE ; LAMBDES

论文级别：博士

学位年度：2008

5.群智能计算模型与模糊匹配算法研究

作者：刘彦斌

关键词：群智能 ; 自治计算 ; Agent ; 遗传算法 ; 模糊匹配算法

论文级别：博士

学位年度：2010

6.面向语义Web的本体和规则结合方法研究

作者：石莲

关键词：语义Web ; 本体 ; SPARQL ; 描述逻辑 ; 逻辑程序 ; 直觉模糊逻辑 ; 产生式系统 ; 专家发现

论文级别：博士

学位年度：2009

7.若干逻辑自动推理方法研究

作者：郭远华

关键词：定理证明 ; 自动推理 ; 子句搜索方法 ; 一阶逻辑 ; 格值逻辑 ; tableau方法 ; 试探方法 ; 自然推理方法 ; 可读证明

论文级别：博士

学位年度：2010

8.面向领域的语义信息检索与支撑技术

作者：郭炜

关键词：语义网 ; 描述逻辑 ; 证券领域本体 ; 面向领域的语义检索系统 ; 语义排序算法 ; 自适应热点 ; 证券领域语义描述

论文级别：博士

学位年度：2007

9.关系型不确定环境中一阶决策理论规划方法研究

作者：陈丽娜

关键词：部分可观测马尔科夫决策过程 ; 一阶部分可观测马尔科夫决策过程 ; 基于一阶信念的部分可观测马尔科夫决策过程 ; 基于一阶信念点的值迭代 ; 一阶代数决策图 ; 赛博物理系统

论文级别：博士

学位年度：2012

10.基于本体导向的关联分析方法研究

作者：欧阳鑫

关键词：数据挖掘 ; 形式语义 ; 关联分析 ; 语义网 ; 本体

论文级别：博士

学位年度：2013

1

2

3

4

5

6

7

8

9

按检索点细分(245)

题名(7)

目录(100)

关键词(21)

摘要(127)

引文(86)

按论文级别细分(245)

博士(95)

硕士(150)

按学位年度细分(245)

1999年(1)

2001年(2)

2002年(10)

2003年(5)

2004年(12)

2005年(15)

2006年(28)

2007年(19)

2008年(28)

2009年(29)

2010年(29)

2011年(39)

2012年(17)

2013年(9)

2014年(2)