组委会成员
首页 > 组委会成员 > Kazumi Nakamatsu
Kazumi Nakamatsu
点击次数:2616 次

Kazumi Nakamatsu

兵库县立大学

人类科学和环境学院

日本

Kazumi Nakamatsu教授在日本静冈大学获得工程博士,于日本九州大学获得科学博士。他现任日本兵库县立大学,人类科学和环境学院教授。

他的研究领域包括各种逻辑及其在计算机科学中的应用,尤其是弗协调逻辑的程序注释及其应用。最近他建立了数个弗协调逻辑的程序:ALPSN(标记逻辑程序具有很强的否定),VALPSN(矢量ALPSN),EVALPSN(扩展VALPSN),bf-EVALPSNEVALPSN前后),将它们应用到多个智能系统,比如以安全验证为基础的铁路联锁控制系统和工序顺序控制。他是超过150篇论文,20个书籍章节,10本书籍的作者,所有出版物均由著名出版社出版。

Kazumi Nakamatsu在许多国际会议,学会中担任主席,也是许多计算机科学领域会议,学会的国际组委会成员。同时他也是许多国际期刊的编辑组成员。他是《基于推理智能系统国际杂志》期刊的主编,该期刊由英国Inderscience出版。他在国际学会、会议、学术组织中作了大量演讲。他获得了多个会议奖项以及论文奖项。他是日本AI协会,日本Facial协会等成员。

上一篇: Kuan-Ching Li
下一篇: Lorna Uden
IRNet 国际会议交流中心版权所有,未经书面授权禁止使用
COPYRIGHT IRNet @2016-2025 ALL RIGHT RESERVED 鄂ICP备17022188号-2