NAKAMATSU Kazumi 中松和己

… Alternative Names

中松和巳ナカマツカズミ

Less

Researcher Number	60227874
Affiliation (based on the past Project Information) *help	2010 – 2013: University of Hyogo, 環境人間学部, 教授 2008 – 2009: University of Hyogo, 環境人間学部, 准教授 2004 – 2005: 兵庫県立大学, 環境人間学部, 助教授
Review Section/Research Field	Principal Investigator Computer system/Network / 交通工学・国土計画
Keywords	Principal Investigator Coordinated Traffic Signal Control / Logic Program / Simulator / Traffic Signal Control / Paraconsistent Logic / EVALP / 交通系統制御 / 論理プログラム / シミュレータ / 交通信号機制御 … More / パラコンシステント論理 / 推論 / センサーネットワーク / ネットワークルーティング / パラコンシステント論理プログラム / アドホックネットワーク Less

Studies on United Reasoning of Sensor Network Information and Human's Empirical Knowledge in the Cultivation of Agricultural ProducePrincipal Investigator
- Principal Investigator
  
  NAKAMATSU Kazumi
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Computer system/Network
- Research Institution
  University of Hyogo
Studies on Route Construction Based on Paraconsistent Logic ProgramPrincipal Investigator
- Principal Investigator
  
  NAKAMATSU Kazumi
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Computer system/Network
- Research Institution
  University of Hyogo
Development of Traffic Signal Control and its Simulator Based on Paraconsistent Logic ProgramPrincipal Investigator
- Principal Investigator
  
  NAKAMATSU Kazumi
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  交通工学・国土計画
- Research Institution
  University of Hyogo

All 2014 2013 2012 2011 2010 2009 2008 2005 Other

All Journal Article Presentation Book

[Book] The Handbook on Reasoning-Based Intelligent Systems2013
- Author(s)
  Kazumi Nakamatsu, Lakhmi Jain
- Total Pages
  700
- Publisher
  World Scientific
- Data Source
  KAKENHI-PROJECT-23500098
[Book] The Handbook on Reasoning-Based Intelligent Systems2013
- Author(s)
  Kazumi Nakamatsu, Lakhmi Jain
- Total Pages
  700
- Publisher
  World Scientific Publishers
- Data Source
  KAKENHI-PROJECT-23500098
[Book] Advances in Reasoning-based Image Processing Intelligent Systems:Conventional and Intelligent Paradigms2012
- Author(s)
  Roumen Kountchev, Kazumi Nakamatsu(Eds.)
- Total Pages
  460
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-23500098
[Book] Advances in Reasoning-Based Image Processing Intelligent Systems2012
- Author(s)
  Roumen Kountchev, Kazumi Nakamatsu
- Total Pages
  454
- Publisher
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-23500098
[Book] Handbook on Reasoning-based Intelligent Systems2011
- Author(s)
  Kazumi Nakamatsu, Lakhmi C.Jain(eds.)
- Total Pages
  700
- Publisher
  World Scientific Publishing Co.
- Data Source
  KAKENHI-PROJECT-20500074
[Book] The Handbook on Reasoning-based Intelligent Systems2011
- Author(s)
  Kazumi Nakamatsu, Lakhmi C.Jain (eds.)
- Total Pages
  700
- Publisher
  World Scientific Publishing Co.
- Data Source
  KAKENHI-PROJECT-20500074
[Book] Advances in Intelligent Decision Technologies2010
- Author(s)
  Gloria Ph-Wren, Lakhmi C. Jain, Kazumi Nakamatsu, Robert J. Howlett (eds.)
- Total Pages
  733
- Publisher
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-20500074
[Book] New Advances in Intelligent Decision Technologies Studies in Computational Intelligence Vol. 1992009
- Author(s)
  中松和己, 他3名(編著)
- Total Pages
  655
- Publisher
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-20500074
[Book] New Advances in Intelligent decision Technologies2009
- Author(s)
  Kazumi Nakamatsu, Gloria Ph-Wren, Lakhmi C. Jain, Robert J. Howlett (eds.)
- Total Pages
  655
- Publisher
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-20500074
[Book] Advances in Logic Based Intelligent Systems2005
- Author(s)
  Kazumi Nakamatsu, Jair M.Abe 編著
- Total Pages
  289
- Publisher
  IOS Press, Netherland
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] The Paraconsistent Process Order Control Method2014
- Author(s)
  Kazumi Nakamatsu, Jair M. Abe
- Journal Title
  
  Vietnam Journal of Computer Science
  
  Volume: Vol.1, No.1 Pages: 29-37
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500098
[Journal Article] The paraconsistent process order control method2014
- Author(s)
  Kazumi Nakamatsu, Jair M. Abe
- Journal Title
  
  Vietnam Journal of Computer Science
  
  Volume: 1 Issue: 1 Pages: 29-37
- DOI
  10.1007/s40595-013-0002-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500098
[Journal Article] A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN.2011
- Author(s)
  Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
- Journal Title
  
  KES Journal
  
  Volume: 15 Pages: 145-163
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500098
[Journal Article] A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN2011
- Author(s)
  Kazumi Nakamatsu, Jair M. Abe, Seiki Akama
- Journal Title
  
  KES Journal
  
  Volume: Vol.15, No.3 Pages: 145-163
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500098
[Journal Article] Introduction to Intelligent Network Routing Based on EVALPSN2010
- Author(s)
  Kazumi Nakamatsu, Jair M. Abe, Takashi Watanabe
- Journal Title
  
  Lecture Notes on Computer Science Vol.6278
  
  Pages: 123-132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500074
[Journal Article] Introduction to Intelligent Network Routing Based on EVALPSN2010
- Author(s)
  Kazumi Nakamatsu, et al.
- Journal Title
  
  Lecture Notes on Computer Science (未定, 未詳)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500074
[Journal Article] Application of EVALPSN to Network Routing2010
- Author(s)
  Kazumi Nakamatsu, Toshiaki Imai, Jair M. Abe, Takashi Watanabe
- Journal Title
  
  Smart Innovation, Systems and Technologies Vol.4
  
  Pages: 527-536
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500074
[Journal Article] Application of EVALPSN to Network Routing2010
- Author(s)
  Kazumi Nakamatsu, et al.
- Journal Title
  
  Studies in Computational Intelligence (未定, 未詳)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500074
[Journal Article] Introduction to Intelligent Network Routing Based on EVALPSN2010
- Author(s)
  Kazumi Nakamatsu, Jair Abe, Takashi Watanabe
- Journal Title
  
  Lecture Notes on Computer Science
  
  Volume: 6278 Pages: 123-132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500074
[Journal Article] Introduction to Plausible Reasoning Based on EVALPSN2009
- Author(s)
  Kazumi Nakamatsu, Toshiaki Imai, Jair M. Abe, Seiki Akama
- Journal Title
  
  Studies in Computational Intelligence Vol.199
  
  Pages: 363-372
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500074
[Journal Article] Application of Bf-EVALPSN to Real-time Process Order Control2009
- Author(s)
  Kazumi Nakamatsu, Seiki Akama, Jair M. Abe
- Journal Title
  
  AIP Conference Proceedings Vol.1117
  
  Pages: 49-59
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500074
[Journal Article] Introduction to Plausible Reasoning Based on EVALPSN2009
- Author(s)
  中松和已, 他3名
- Journal Title
  
  Studies in Computational Intelligence 199
  
  Pages: 363-372
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500074
[Journal Article] Application of Bf-EVALPSN to Real-time Process Order Control2009
- Author(s)
  中松和己, 他2名
- Journal Title
  
  AIP Conference Proceedings (未定)
  
  Pages: 10-10
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500074
[Journal Article] Transitive Reasoning of Before-after Relation Based on Bf-EVALPSN2008
- Author(s)
  中松和已, 他2名
- Journal Title
  
  Lecture Notes in Computer Science 5178
  
  Pages: 474-482
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500074
[Journal Article] An EVALP Based Traffic Simulation System2005
- Author(s)
  Kazumi Nakamatsu et al.
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications 132
  
  Pages: 79-86
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] An Intelligent Safety Verification Based on a Paraconsistent Logic Program2005
- Author(s)
  Kazumi Nakamatsu et al.
- Journal Title
  
  Lecture Notes in AI 3682
  
  Pages: 708-715
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] A Discrete Event Control Based on EVALPSN Stable Model Computation2005
- Author(s)
  Kazumi Nakamatsu et al.
- Journal Title
  
  Lecture Notes in AI 3641
  
  Pages: 671-681
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] Intelligent Safety Verification for Pipeline Based on EVALPSN2005
- Author(s)
  Kazumi Nakamatsu et al.
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications 132
  
  Pages: 63-70
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] An EVALP Based Traffic Simulation System2005
- Author(s)
  Kazumi Nakamatsu
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications (未定)
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] An EVALP Based Traffic Simulation Systems2005
- Author(s)
  Kazumi Nakamatsu et al.
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications 132
  
  Pages: 79-86
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] A Discrete Event Control Based on EVALPSN Stable Model Computation2005
- Author(s)
  Kazumi Nakamatsu et al.
- Journal Title
  
  Lecture Notes in Artificial Intelligence 3641
  
  Pages: 671-681
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] Intelligent Safety Verification for Pipeline Based on EVALPSN2005
- Author(s)
  Kazumi Nakamatsu et al.
- Journal Title
  
  Frontiers in Artificial Intelligent and Applications 132
  
  Pages: 63-70
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] Autoepistemic Theory and Paraconsistent Logic Program2005
- Author(s)
  Kazumi Nakamatsu, Atsuyuki Suzuki
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications 132
  
  Pages: 177-184
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] Annotated Semantics for Non-monotonic Reasonings in Artificial Intelligence I2005
- Author(s)
  Kazumi Nakamatsu, Atsuyuki Suzuki
- Journal Title
  
  Frontiers in Artificial Intelligence and Applications 132
  
  Pages: 185-191
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] An Intelligent Safety Verification Based on a Paraconsistent Logic Program2005
- Author(s)
  Kazumi Nakamatsu et al.
- Journal Title
  
  Lecture Notes in Artificial Intelligence 3682
  
  Pages: 708-715
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16560468
[Journal Article] Advances Logic Based Intelligent Systems
- Author(s)
  Kazumi Nakamatsu, Jair Minoro Abe (Eds.)
- Journal Title
  
  Frontiers in Artificial Intelligent and Applications 132
  
  Pages: 289-289
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16560468
[Presentation] Application of Paraconsistent Annotated Logic Program EVALPSN to Intelligent Control/Safety Verification2014
- Author(s)
  Kazumi Nakamatsu
- Organizer
  1st NAFOSTED Conference on Information and Computer Science
- Place of Presentation
  Military Technical Academy, Hanoi, Vietnam
- Invited
- Data Source
  KAKENHI-PROJECT-23500098
[Presentation] Application of Paraconsistent Annotated Logic Program EVALPSN to Intelligent Control/Safety Verification2014
- Author(s)
  Kazumi Nakamatsu
- Organizer
  1st NAFOSTED Conference on Information and Computer Science
- Place of Presentation
  Military Technical Academy, Hanoi, VietnamMilitary Technical Academy, Hanoi, Vietnam
- Year and Date
  2014-03-13
- Invited
- Data Source
  KAKENHI-PROJECT-23500098
[Presentation] Application of Paraconsistent Annotated Logic Program EVALPSN to Intelligent Control2013
- Author(s)
  Kazumi Nakamatsu
- Organizer
  ICEST2013
- Place of Presentation
  University "St. Kliment Ohridski", Bitola, Macedonia
- Year and Date
  2013-06-26
- Invited
- Data Source
  KAKENHI-PROJECT-23500098
[Presentation] A Proposal for an Agricultural Irrigation Control System Based on Support Vector Machine2013
- Author(s)
  Yuya Suzuki(発表者), Kazumi Nakamatsu, Hiroshi Mineno
- Organizer
  2nd IIAI International Conference on Advanced Applied Informatics
- Place of Presentation
  くにびきメッセ(島根県松江市)
- Year and Date
  2013-08-31
- Data Source
  KAKENHI-PROJECT-23500098
[Presentation] A Proposal for an Agricultural Irrigation Control System Based on Support Vector Machine2013
- Author(s)
  Yuya Suzuki, Kazumi Nakamatsu, Hiroshi Mineno
- Organizer
  2nd IIAI International Conference on Advanced Applied Informatics
- Place of Presentation
  くにびきメッセ（島根県松江市）
- Data Source
  KAKENHI-PROJECT-23500098
[Presentation] Intelligent Safety Verification for Pipeline Process Order Control Based on EVALPSN2012
- Author(s)
  Kazumi Nakamatsu(発表者), Jair M. Abe, Seiki Akama
- Organizer
  The Seventh International Conference on Systems
- Place of Presentation
  Saint-Gilles Les Bains, Reunion, France
- Year and Date
  2012-03-04
- Data Source
  KAKENHI-PROJECT-23500098
[Presentation] Intelligent Safety Verification for Pipeline Process Order Control Based on EVALPSN2012
- Author(s)
  Kazumi Nakamatsu, Jair M. Abe, Seiki Akama
- Organizer
  The Seventh International Conference on Systems
- Place of Presentation
  サンジルレバン（フランス領レユニオン島）
- Data Source
  KAKENHI-PROJECT-23500098
[Presentation] 施設園芸環境向け農業支援システムの提案2012
- Author(s)
  鈴木雄也(発表者), 小林悠一, 中松和己, 峰野博史
- Organizer
  情報学ワークショップ 2012(WiNF2012)
- Place of Presentation
  豊橋技科大(愛知県)
- Year and Date
  2012-12-08
- Data Source
  KAKENHI-PROJECT-23500098
[Presentation] 施設園芸環境向け農業支援システムの提案2012
- Author(s)
  鈴木雄也, 小林悠一, 中松和己, 峰野博史
- Organizer
  情報学ワークショップ2012（WiNF2012)
- Place of Presentation
  豊橋技科大（愛知県）
- Data Source
  KAKENHI-PROJECT-23500098
[Presentation] Applications of Paraconsistent Artificial Neural Networks in EEG2011
- Author(s)
  Jair M. Abe(発表者), Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama
- Organizer
  The Third International Conference on Computational Collective Intelligence Technologies
- Place of Presentation
  Gdynia, Poland
- Year and Date
  2011-09-22
- Data Source
  KAKENHI-PROJECT-23500098
[Presentation] Applications of Paraconsistent Artificial Neural Networks in EEG2011
- Author(s)
  Jair M. Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama
- Organizer
  The Third International Conference on Computational Collective Intelligence Technologies
- Place of Presentation
  グジニア市（ポーランド）
- Data Source
  KAKENHI-PROJECT-23500098
[Presentation] Introduction to Ad-hoc Network Routing based on Paraconsistent Annotated Logic Program EVALPSN2010
- Author(s)
  Kazumi Nakamatsu
- Organizer
  International Conference on Web and Information Technologies 2010
- Place of Presentation
  Marrakech, Morocco
- Year and Date
  2010-06-15
- Data Source
  KAKENHI-PROJECT-20500074
[Presentation] Introduction to Ad-hoc Network Routing Based on Paraconsistent Annotated Logic Program EVALPSN2010
- Author(s)
  Kazumi Nakamatsu
- Organizer
  International Conference on Web and Information Technologies 2010
- Place of Presentation
  Marrakech, Morocco
- Year and Date
  2010-06-18
- Data Source
  KAKENHI-PROJECT-20500074
[Presentation] Real-time Process Order Control Based on Paraconsistent Annotated Logic Program EVALPSN2008
- Author(s)
  中松和已
- Organizer
  The fifth Int'l Conf. Systems, Signals and Devices (IEEE SSD08)
- Place of Presentation
  Amman, Jordan
- Year and Date
  2008-07-20
- Data Source
  KAKENHI-PROJECT-20500074

1. WATANABE Takashi (90201201)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
2. MINENO Hiroshi (40359740)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
3. SUZUKI Atsuyuki (70022184)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results

NAKAMATSU Kazumi 中松 和己

中松 和巳 ナカマツ カズミ

Research Projects

Research Products

Co-Researchers

Studies on United Reasoning of Sensor Network Information and Human's Empirical Knowledge in the Cultivation of Agricultural ProducePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Studies on Route Construction Based on Paraconsistent Logic ProgramPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of Traffic Signal Control and its Simulator Based on Paraconsistent Logic ProgramPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] The Handbook on Reasoning-Based Intelligent Systems2013

Author(s)

Total Pages

Publisher

Data Source

[Book] The Handbook on Reasoning-Based Intelligent Systems2013

Author(s)

Total Pages

Publisher

Data Source

[Book] Advances in Reasoning-based Image Processing Intelligent Systems:Conventional and Intelligent Paradigms2012

Author(s)

Total Pages

Publisher

Data Source

[Book] Advances in Reasoning-Based Image Processing Intelligent Systems2012

Author(s)

Total Pages

Publisher

Data Source

[Book] Handbook on Reasoning-based Intelligent Systems2011

Author(s)

Total Pages

Publisher

Data Source

[Book] The Handbook on Reasoning-based Intelligent Systems2011

Author(s)

Total Pages

Publisher

Data Source

[Book] Advances in Intelligent Decision Technologies2010

Author(s)

Total Pages

Publisher

Data Source

[Book] New Advances in Intelligent Decision Technologies Studies in Computational Intelligence Vol. 1992009

Author(s)

Total Pages

Publisher

Data Source

[Book] New Advances in Intelligent decision Technologies2009

Author(s)

Total Pages

Publisher

Data Source

[Book] Advances in Logic Based Intelligent Systems2005

Author(s)

Total Pages

Publisher

Description

Data Source

[Journal Article] The Paraconsistent Process Order Control Method2014

Author(s)

Journal Title

Data Source

[Journal Article] The paraconsistent process order control method2014

Author(s)

NAKAMATSU Kazumi 中松和己

中松和巳ナカマツカズミ