A dynamic Investigation of multi-agent interaction via multi-dimensional hybrid logic
A dynamic Investigation of multi-agent interaction via multi-dimensional hybrid logic
通过多维混合逻辑进行多智能体交互的动态研究
批准号：
24700146
负责人：
SANO Katsuhiko
金额：
$2.91万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Extensions of Basic Propositional Logic
基本命题逻辑的扩展
基本命题逻辑的扩展
DOI：
10.1142/9789814678001_0011
发表时间：
2015
期刊：
Proceedings of the 13th Asian Logic Conference
影响因子：
--
作者：
[Pimolluck Jirakunkanok, Katsuhiko Sano and Satoshi Tojo, Minghui Ma and Katsuhiko Sano]
通讯作者：
Minghui Ma and Katsuhiko Sano
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Shoshin Nomura, Katsuhiko Sano and Satoshi Tojo]
通讯作者：
Katsuhiko Sano and Satoshi Tojo
DOI：
10.1007/978-3-662-45824-2_9
发表时间：
2015-01
期刊：
影响因子：
--
作者：
[Minghui Ma;Katsuhiko Sano;François Schwarzentruber;F. R. Velázquez-Quesada]
通讯作者：
Minghui Ma;Katsuhiko Sano;François Schwarzentruber;F. R. Velázquez-Quesada
An Expansion of First-order Belnap-Dunn Logic
一阶 Belnap-Dunn 逻辑的扩展
一阶 Belnap-Dunn 逻辑的扩展
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
[Sano, K., Omori, H.]
通讯作者：
H.
da Costa meets Belnap and Nelson
达科斯塔会见贝尔纳普和纳尔逊
达科斯塔会见贝尔纳普和纳尔逊
DOI：
10.1007/978-3-319-06080-4_11
发表时间：
2014
期刊：
Recent Trends in Philosophical Logic, Proceedings of Trends in Logic XI
影响因子：
--
作者：
[Minghui Ma, Katsuhiko Sano, Francois Schwarzentruber and Fernando R. Velazquez-Quesada, Katsuhiko Sano and Hitoshi Omori, Hitoshi Omori and Katsuhiko Sano]
通讯作者：
Hitoshi Omori and Katsuhiko Sano
共 19 条
海外基金