|
1
|
“自我决定的孤独”:个体化时代青年社交样态背后的“自我逻辑”审思 |
张佳媛
林滨
|
《内蒙古社会科学》
北大核心
|
2025 |
3
|
|
|
2
|
数字时代社交关系的新格局:逻辑结构与行为模态 |
薛可
|
《学术前沿》
CSSCI
北大核心
|
2024 |
2
|
|
|
3
|
基于自动推理技术的智能规划方法 |
吕帅
刘磊
石莲
李莹
|
《软件学报》
EI
CSCD
北大核心
|
2009 |
22
|
|
|
4
|
多Agent VSK-AF逻辑 |
孙瑜
夏幼明
李志平
|
《计算机工程》
CAS
CSCD
北大核心
|
2004 |
1
|
|
|
5
|
现代模态逻辑在计算机科学中的应用研究 |
陈志远
黄少滨
韩丽丽
|
《计算机科学》
CSCD
北大核心
|
2013 |
7
|
|
|
6
|
认识逻辑(1):关于知识和信念的逻辑框架 |
刘瑞胜
孙吉贵
刘叙华
|
《计算机学报》
EI
CSCD
北大核心
|
1998 |
17
|
|
|
7
|
模型检测:理论、方法与应用 |
林惠民
张文辉
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2002 |
165
|
|
|
8
|
认知逻辑中逻辑全知问题及其解决方法 |
杨鲲
陈建中
孙德刚
刘大有
|
《吉林大学自然科学学报》
CAS
CSCD
|
1999 |
11
|
|
|
9
|
模糊模态命题逻辑及其广义重言式 |
汪德刚
谷云东
李洪兴
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2007 |
18
|
|
|
10
|
模糊模态逻辑中的永真式与准永真式 |
胡明娣
王国俊
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2009 |
8
|
|
|
11
|
非经典逻辑的语义tableau方法 |
刘全
孙吉贵
|
《计算机科学》
CSCD
北大核心
|
2002 |
10
|
|
|
12
|
认识逻辑(3):基于语义tableau的证明理论 |
刘瑞胜
孙吉贵
刘叙华
|
《计算机学报》
EI
CSCD
北大核心
|
1998 |
5
|
|
|
13
|
Agent形式化研究的逻辑工具 |
胡山立
石纯一
|
《计算机科学》
CSCD
北大核心
|
1999 |
23
|
|
|
14
|
对BAN逻辑中新鲜子的研究 |
宋荣功
胡正名
杨义先
|
《电子科学学刊》
CSCD
|
2000 |
6
|
|
|
15
|
Agent-BDI逻辑 |
胡山立
石纯一
|
《软件学报》
EI
CSCD
北大核心
|
2000 |
21
|
|
|
16
|
一种基于模态逻辑的聚类结果评价方法 |
吕宗磊
王建东
李莹
宰云峰
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2008 |
5
|
|
|
17
|
Agent的意图模型 |
胡山立
fzu.edu.cn
石纯一
|
《软件学报》
EI
CSCD
北大核心
|
2000 |
24
|
|
|
18
|
基于模糊命题模态逻辑的形式推理系统(英文) |
张再跃
眭跃飞
曹存根
|
《软件学报》
EI
CSCD
北大核心
|
2005 |
6
|
|
|
19
|
基于模态逻辑D公理系统的Conformant规划方法 |
吕帅
刘磊
李莹
石莲
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2009 |
6
|
|
|
20
|
Tableau算法的优化及模型规约技术 |
刘大有
赖永
王生生
|
《计算机学报》
EI
CSCD
北大核心
|
2014 |
4
|
|
