Rchr
J-GLOBAL ID：200901079860337960   Update date: Aug. 01, 2023

Kamide Norihiro

カミデ ノリヒロ | Kamide Norihiro
Affiliation and department：
Nagoya City University Faculty of Data Science, Department of Data Science

About Nagoya City University Faculty of Data Science, Department of Data Science


Job title： Professor
Research field  (6)： Information theory ,  Philosophy and ethics ,  Intelligent informatics ,  Applied mathematics and statistics ,  Basic mathematics ,  Information theory
Research keywords  (6)： software science ,  artificial intelligence ,  philosophical logic ,  theoretical computer science ,  mathematical logic ,  computer science logic
Research theme for competitive and other funds  (14)：
  • 2023 - 2028 矛盾許容性、曖昧性及び不確実性を考慮した拡張非古典論理の基礎理論とその応用
  • 2022 - 2023 拡張矛盾許容推論技術とその臨床推論・知識検証への応用
  • 2018 - 2023 非古典論理の基礎理論とそのコンピュータサイエンスへの応用
  • 2020 - 2021 拡張矛盾許容モデル検査技術の開発と臨床推論・知識検証技法の確立
  • 2018 - 2021 埋め込み定理に基づく新しい矛盾許容論理に関する研究
Show all
Papers (179)：
  • Norihiro Kamide. Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5. Journal of Logic, Language and Information. 2023. 32. 3. 395-440
  • Norihiro Kamide. Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic. Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic. 2023. 30-35
  • Norihiro Kamide. Natural Deduction with Explosion and Excluded Middle. Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic. 2023. 24-29
  • Norihiro Kamide. An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi. Logica Universalis. 2022. 16. 3. 389-417
  • Norihiro Kamide. Embedding Friendly First-Order Paradefinite and Connexive Logics. Journal of Philosophical Logic. 2022. 51. 5. 1055-1102
ｍore...
Education (2)：
  • 1995 - 2000 Japan Advanced Institute of Science and Technology
  • 1991 - 1995 帝京技術科学大学 情報学部 情報工学科
Professional career (1)：
  • Ph.D. (Information Science) (Japan Advanced Institute of Science and Technology)
Work history (15)：
  • 2023/04 - 現在 Nagoya City University Faculty of Data Science Professor
  • 2015/04 - 2023/03 Teikyo University Faculty of Science and Engineering, Department of Information and Electronic Engineering
  • 2014/04 - 2015/03 Teikyo University Faculty of Science and Engineering, Department of Human Information Systems
  • 2013/09 - 2014/03 早稲田大学理工学術院 Part-time lecturer
  • 2012/04 - 2014/03 Cyber University Faculty of IT and Business
Show all
Committee career (26)：
  • 2023 - 現在 The 16th International Conference on Agents and Artificial Intelligence プログラム委員
  • 2022 - 現在 IEEE The 53rd IEEE International Symposium on Multiple-Valued Logic プログラム委員
  • 2016 - 現在 International Journal of Applied & Experimental Mathematics 編集委員
  • 2012 - 現在 Bulletin of the Section of Logic 編集委員
  • 2022 - 2023 The 15th International Conference on Agents and Artificial Intelligence プログラム委員
Show all
Association Membership(s) (3)：
日本ソフトウェア科学会 ,  人工知能学会 ,  日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM