KAMIDE Norihiro

J-GLOBAL         Last updated: Feb 17, 2019 at 14:25
KAMIDE Norihiro
Teikyo University
Faculty of Science and Engineering Department of Information and Electronic Engineering
Job title
Associate Professor
Ph.D. (Information Science)(Japan Advanced Institute of Science and Technology)

Research Areas


Academic & Professional Experience

May 2008
Sep 2009
Alexander von Humboldt Fellow, Dresden university of technology

Published Papers

Norihiro Kamide
J. Philosophical Logic   47(2) 301-324   2018   [Refereed]
Norihiro Kamide
J. Log. Comput.   28(2) 403-432   2018   [Refereed]
Norihiro Kamide
Math. Log. Q.   64(4-5) 371-386   2018   [Refereed]
Norihiro Kamide
Data Techn. and Applic.   52(4) 539-563   2018   [Refereed]
Norihiro Kamide,Kazuki Endo
Proceedings of the 10th International Conference on Agents and Artificial Intelligence, ICAART 2018, Volume 2, Funchal, Madeira, Portugal, January 16-18, 2018.   191-200   2018   [Refereed]
Norihiro Kamide,Kazuki Endo
Agents and Artificial Intelligence - 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16-18, 2018, Revised Selected Papers   312-342   2018   [Refereed]
Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning
Norihiro Kamide
Reports on Mathematical Logic   52 3-44   2017   [Refereed]
Paraconsistent sequential linear-time temporal logic and its application to clinical reasoning verification: A brief survey and future work
KAMIDE Norihiro, Yosuke Matsuo and Mitsuhiro Ogawa
International Journal of Applied & Experimental Mathematics   2(2) 1-2   2017
Norihiro Kamide
J. Log. Comput.   27(5) 1523-1548   2017   [Refereed]
Norihiro Kamide, Yaroslav Shramko
J. Log. Comput.   27(5) 1549-1575   2017   [Refereed]