|
1
|
基于面积测算知识规则自动推理的建筑物权籍测算模型构建与差异性分析 |
李艾莉
|
《经纬天地》
|
2024 |
0 |
|
|
2
|
格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法 |
李晓冰
邱小平
徐扬
|
《模糊系统与数学》
CSCD
北大核心
|
2009 |
8
|
|
|
3
|
格值命题逻辑系统L9P(X)中的自动推理算法 |
李晓冰
邱小平
徐扬
|
《计算机工程与应用》
CSCD
北大核心
|
2008 |
5
|
|
|
4
|
基于自动推理技术的智能规划方法 |
吕帅
刘磊
石莲
李莹
|
《软件学报》
EI
CSCD
北大核心
|
2009 |
22
|
|
|
5
|
亲属关系的逻辑意义及其自动推理 |
陈振宇
袁毓林
张秀松
周强
|
《计算机工程与应用》
CSCD
北大核心
|
2009 |
8
|
|
|
6
|
一种基于集合符号的自动推理扩展方法 |
刘全
伏玉琛
孙吉贵
崔志明
龚声蓉
凌兴宏
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2007 |
4
|
|
|
7
|
一个基于知识库及其自动推理机制的ICAI(化学)系统 |
王晓京
张景中
陈光喜
沈国坤
|
《计算机学报》
EI
CSCD
北大核心
|
1999 |
7
|
|
|
8
|
一种基于大知识库的亲属关系自动推理模型 |
陈振宇
袁毓林
张秀松
周强
|
《中文信息学报》
CSCD
北大核心
|
2010 |
8
|
|
|
9
|
基于AJAX和自动推理技术构建交互式数学Web服务 |
曾振柄
陈良育
张骏
符红光
|
《计算机应用》
CSCD
北大核心
|
2007 |
3
|
|
|
10
|
基于结构分析的局部Gibbs抽样自动推理算法 |
王浩
曹龙雨
姚宏亮
李俊照
|
《模式识别与人工智能》
EI
CSCD
北大核心
|
2013 |
2
|
|
|
11
|
基于tableau的自动推理技术综述 |
刘全
孙吉贵
于万钧
|
《计算机科学》
CSCD
北大核心
|
2005 |
2
|
|
|
12
|
基于路径搜索的格值命题逻辑自动推理方法 |
李海明
刘鹏仙
徐扬
|
《西南交通大学学报》
EI
CSCD
北大核心
|
2003 |
2
|
|
|
13
|
智能教学系统中自动推理模块的设计与实现 |
郑磊
贾东
刘椿年
|
《北京工业大学学报》
CAS
CSCD
北大核心
|
2002 |
2
|
|
|
14
|
自动推理及其在数学教育中的应用 |
张景中
彭翕成
|
《数学教育学报》
北大核心
|
2008 |
4
|
|
|
15
|
基于决策树的多维属性自动推理识别 |
汤鲲
蒋炳南
彭艳兵
|
《计算机与现代化》
|
2017 |
4
|
|
|
16
|
基于状态演算的通用游戏系统的自动推理 |
刘一松
王莉莉
李倩倩
|
《计算机工程与设计》
CSCD
北大核心
|
2012 |
1
|
|
|
17
|
基于等高线的几个自动推理问题 |
王庆国
黄仁涛
|
《测绘通报》
CSCD
北大核心
|
2004 |
2
|
|
|
18
|
自动推理与教育软件智能平台 |
张景中
李传中
|
《广州大学学报（综合版）》
|
2001 |
12
|
|
|
19
|
基于消点法的几何自动推理系统实现 |
罗慧敏
|
《计算机应用》
CSCD
北大核心
|
2008 |
5
|
|
|
20
|
基于格值一阶逻辑LF(X)的自动推理算法 |
李晓冰
徐扬
|
《计算机工程与应用》
CSCD
北大核心
|
2010 |
1
|
|
