Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions
复制标题
没有贝丝和克雷格的生活：带有名词和角色包含的描述逻辑中的定义和插值
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Artale A.
中科院分区：
文献类型：
--
作者：
Artale A.
登录
查看更多内容
通过概念和公式区分正负数据示例：受限签名的情况（摘要）
DOI：
--
发表时间：
2020
期刊：
Description Logics
影响因子：
--
作者：
J. C. Jung;C. Lutz;Hadrien Pulcini;F. Wolter
通讯作者：
F. Wolter
受保护逻辑中的有效插值和保存
DOI：
10.1145/2603088.2603108
发表时间：
2014
期刊：
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子：
--
作者：
Michael Benedikt;B. T. Cate;M. V. Boom
通讯作者：
M. V. Boom
影响因子：
0.6
作者：
B. T. Cate
通讯作者：
B. T. Cate
DOI：
10.1007/978-3-642-01907-4_3
发表时间：
2009-05
期刊：
--
影响因子：
--
作者：
B. Konev;C. Lutz;Dirk Walther;F. Wolter
通讯作者：
B. Konev;C. Lutz;Dirk Walther;F. Wolter
使用可判定的定点逻辑进行插值
DOI：
10.1109/lics.2015.43
发表时间：
2015
期刊：
--
影响因子：
--
作者：
Benedikt M
通讯作者：
Benedikt M