Exploration of variations of unrestricted blocking for description logics
Exploration of variations of unrestricted blocking for description logics
复制标题
描述逻辑无限制阻塞变化的探索
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Khodadadi Mohammad
中科院分区：
文献类型：
--
作者：
Khodadadi Mohammad
登录
查看更多内容
术语表示系统优化技术的实证分析
影响因子：
5.3
作者：
F. Baader;B. Hollunder;Bernhard Nebel;H. Profitlich;Enrico Franconi
通讯作者：
Enrico Franconi
最小空间上的 CSL 的 Tableau 演算
DOI：
--
发表时间：
2010
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
R. Alenda;N. Olivetti;C. Schwind;D. Tishkovsky
通讯作者：
D. Tishkovsky
具有基数约束的时态逻辑标记 Tableaux
DOI：
10.1109/synasc.2012.47
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Dixon C
通讯作者：
Dixon C
DOI：
--
发表时间：
2020
期刊：
Wittgenstein on Mathematics
影响因子：
--
作者：
Michael Byrd
通讯作者：
Michael Byrd
Tableau 演算的自动合成
影响因子：
0.6
作者：
Schmidt R
通讯作者：
Schmidt R