|
1
|
基于量化布尔公式的超时态计算树逻辑有界模型检测 |
明志勇
王以松
冯仁艳
|
《计算机工程与科学》
北大核心
|
2025 |
0 |
|
|
2
|
面向前提选择的新型图约简表示与图神经网络模型 |
兰咏琪
何星星
李莹芳
李天瑞
|
《计算机科学》
CSCD
北大核心
|
2024 |
0 |
|
|
3
|
一阶逻辑中基于treelet图神经网络的前提选择 |
马雪
何星星
兰咏琪
李莹芳
|
《计算机工程与科学》
CSCD
北大核心
|
2024 |
0 |
|
|
4
|
法律规则的立法逻辑:解析、证成与相变 |
吕康宁
|
《暨南学报(哲学社会科学版)》
CSSCI
北大核心
|
2024 |
0 |
|
|
5
|
Rough逻辑及其在数据约简中的应用 |
刘清
刘少辉
郑非
|
《软件学报》
EI
CSCD
北大核心
|
2001 |
54
|
|
|
6
|
对称逻辑公式在经典逻辑度量空间中的分布 |
胡明娣
王国俊
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2011 |
19
|
|
|
7
|
对称逻辑公式在L3^＊逻辑度量空间中的分布 |
王庆平
王国俊
|
《计算机学报》
EI
CSCD
北大核心
|
2011 |
10
|
|
|
8
|
基于模型检查的XML Schema特征提取 |
刘科
杨红丽
廖湖声
吕关锋
高雁飞
|
《计算机应用与软件》
CSCD
北大核心
|
2012 |
5
|
|
|
9
|
模糊模态逻辑中的永真式与准永真式 |
胡明娣
王国俊
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2009 |
8
|
|
|
10
|
运行时验证及其在列车运行控制系统中的应用 |
赵林
唐涛
徐田华
柴铭
李宪
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2011 |
4
|
|
|
11
|
从经典逻辑知识构建ASP知识库的新方法 |
赵岭忠
王雪松
钱俊彦
蔡国永
|
《计算机应用》
CSCD
北大核心
|
2010 |
6
|
|
|
12
|
关于逻辑函数化简方法的研究 |
冯乃勤
孙玉强
魏淑桃
陈广林
|
《小型微型计算机系统》
CSCD
北大核心
|
2003 |
3
|
|
|
13
|
{I_(m)}(α-逻辑有效公式)的理论及其应用 |
张兴芳
孟广武
赵峰
张安英
|
《工程数学学报》
CSCD
北大核心
|
2007 |
6
|
|
|
14
|
计量逻辑中真度的均值表示形式及应用 |
吴洪博
周建仁
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2012 |
25
|
|
|
15
|
提高一阶多值逻辑Tableau推理效率的布尔剪枝方法 |
刘全
孙吉贵
|
《计算机学报》
EI
CSCD
北大核心
|
2003 |
10
|
|
|
16
|
计量逻辑学中的线性逻辑公式 |
王庆平
王国俊
|
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2012 |
7
|
|
|
17
|
一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用 |
张兴芳
孟广武
|
《计算机科学》
CSCD
北大核心
|
2005 |
22
|
|
|
18
|
L^＊系统中由单个原子生成的公式的真值函数的特征 |
任芳
|
《工程数学学报》
CSCD
北大核心
|
2005 |
12
|
|
|
19
|
组合险象逻辑余式判据 |
童永承
|
《计算机学报》
EI
CSCD
北大核心
|
1994 |
11
|
|
|
20
|
基于优先执行关系闭包运算的事务可串行化判定方法 |
熊中敏
王佳艳
汪博
陈明
|
《计算机应用与软件》
北大核心
|
2019 |
2
|
|
