Interpolants and Explicit Definitions in Extensions of the Description Logic EL
Interpolants and Explicit Definitions in Extensions of the Description Logic EL
复制标题
描述逻辑 EL 扩展中的插值和显式定义
DOI：
10.24963/kr.2022/16
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Fortin M
中科院分区：
文献类型：
--
作者：
Fortin M
登录
查看更多内容
受保护逻辑中的有效插值和保存
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
描述逻辑 EL 中通用术语的统一插值的（非）简洁性
DOI：
10.1016/j.artint.2014.06.005
发表时间：
2014
期刊：
Artif. Intell.
影响因子：
--
作者：
Nadeschda Nikitina;S. Rudolph
通讯作者：
S. Rudolph
描述逻辑EL中一致插值和逼近的自动机理论方法
DOI：
--
发表时间：
2012
期刊：
International Conference on Principles of Knowledge Representation and Reasoning
影响因子：
--
作者：
C. Lutz;Inanç Seylan;F. Wolter
通讯作者：
F. Wolter