KAMIDE Norihiro

J-GLOBAL         Last updated: Feb 17, 2019 at 14:25
 
Avatar
Name
KAMIDE Norihiro
Affiliation
Teikyo University
Section
Faculty of Science and Engineering Department of Information and Electronic Engineering
Job title
Associate Professor
Degree
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]