On the Computational Interpretation of CKn for Contextual Information Processing
On the Computational Interpretation of CKn for Contextual Information Processing
复制标题
上下文信息处理中 CKn 的计算解释
DOI：
10.3233/fi-2014-984
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
S. Scheele
中科院分区：
文献类型：
--
作者：
M. Mendler;S. Scheele
登录
查看更多内容
描述逻辑的功能层：知识表示满足面向对象编程
DOI：
--
发表时间：
1996
期刊：
Conference on Object-Oriented Programming Systems, Languages, and Applications
影响因子：
--
作者：
Ralf Möller
通讯作者：
Ralf Möller
多模态 CK 的免割 Gentzen 演算
影响因子：
1
作者：
M. Mendler;Stephan Scheele
通讯作者：
Stephan Scheele
作为情态的单子
DOI：
10.1016/s0304-3975(96)00169-7
发表时间：
1997
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Satoshi Kobayashi
通讯作者：
Satoshi Kobayashi
构造性 S4 模态逻辑的分类语义和 Kripke 语义
DOI：
10.1007/3-540-44802-0_21
发表时间：
2001
期刊：
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
N. Alechina;M. Mendler;Valeria C V de Paiva;Eike Ritter
通讯作者：
Eike Ritter
DOI：
10.1016/s0304-3975(00)00418-7
发表时间：
1997-04
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
C. Schürmann;J. Despeyroux;F. Pfenning
通讯作者：
C. Schürmann;J. Despeyroux;F. Pfenning