Kazumi Nakamatsu

Jair Minoro Abe, Helder Frederico da Silva Lopes, Kazumi Nakamatsu: Paraconsistent Artificial Neural Networks and AD Analysis - Improvements. ICCCI (1) 2012: 259-267

Hossam M. Moftah, Walaa H. Elmasry, Nashwa El-Bendary, Aboul Ella Hassanien, Kazumi Nakamatsu: Evaluating the effects of K-means clustering approach on medical images. ISDA 2012: 455-459

Roumen Kountchev, Kazumi Nakamatsu: One Approach for Grayscale Image Decorrelation with Adaptive Multi-level 2D KLT. KES 2012: 1303-1312

Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama: Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces. KES 2012: 1342-1349

Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu: An Overview of Paraconsistent Artificial Neural Networks and Applications. KES 2012: 1350-1359

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN. KES Journal 15(3): 145-163 (2011)

Kazumi Nakamatsu, Toshiaki Imai, Haruhiko Nishimura: Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN. ACIIDS (1) 2011: 496-505

Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama: Applications of Paraconsistent Artificial Neural Networks in EEG. ICCCI (1) 2011: 82-92

Kazumi Nakamatsu, Jair Minoro Abe, Takashi Watanabe: Introduction to Intelligent Network Routing Based on EVALPSN. KES (3) 2010: 123-132

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev: Introduction to Intelligent Elevator Control Based on EVALPSN. KES (3) 2010: 133-142

Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama: Monadic Curry System N₁. KES (3) 2010: 143-153

Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama: Paraconsistent Artificial Neural Networks and EEG Analysis. KES (3) 2010: 164-173

Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe: Constructive Discursive Reasoning. KES (3) 2010: 200-206

Roumen Kountchev, Kazumi Nakamatsu: Compression of Multispectral Images with Inverse Pyramid Decomposition. KES (3) 2010: 215-224

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN. KES (2) 2009: 380-387

Jair Minoro Abe, Kazumi Nakamatsu, Fábio Romeu de Carvalho: A Note on Monadic Curry System P₁. KES (2) 2009: 388-394

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. RSFDGrC 2009: 135-143

Kazumi Nakamatsu: Paraconsistent Annotated Logic Program Before-after EVALPSN and Its Application. Foundations of Computational Intelligence (2) 2009: 75-108

Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu: Improving EEG Analysis by Using Paraconsistent Artificial Neural Networks. KES (2) 2008: 466-473

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. KES (2) 2008: 474-482

Kazumi Nakamatsu: The Paraconsistent Annotated Logic Program EVALPSN and its Application. Computational Intelligence: A Compendium 2008: 233-306

Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama: Two Applications of Paraconsistent Logical Controller. New Directions in Intelligent Interactive Multimedia 2008: 249-254

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: Paraconsistent Before-After Relation Reasoning Based on EVALPSN. New Directions in Intelligent Interactive Multimedia 2008: 265-274

Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe: Constructive Logic and the Sorites Paradox. New Directions in Intelligent Interactive Multimedia 2008: 285-292

Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe: A Natural Deduction System for Annotated Predicate Logic. KES (2) 2007: 861-868

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. KES (2) 2007: 869-876

Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu: Monadic Curry Algebras Q tau. KES (2) 2007: 893-900

Jair Minoro Abe, Kazumi Nakamatsu: Manipulating Paraconsistent Knowledge in Multi-agent Systems. KES-AMSTA 2007: 159-168

Kazumi Nakamatsu: Intelligent process order control based on a paraconsistent logic program : An introduction. SMC 2007: 2278-2283

Kazumi Nakamatsu: Pipeline Valve Control Based on EVALPSN Safety Verification. JACIII 10(5): 647-656 (2006)

Kazumi Nakamatsu: A Defeasible Deontic Model for Intelligent Simulation. Computer Supported Acitivity Coordination 2006: 35-44

Jair Minoro Abe, João Carlos Almeida Prado, Kazumi Nakamatsu: Paraconsistent Artificial Neural Network: Applicability in Computer Analysis of Speech Productions. KES (2) 2006: 844-850

Jair Minoro Abe, Cláudio Rodrigo Torres, Germano Lambert-Torres, Kazumi Nakamatsu, Michiro Kondo: Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II. KES (2) 2006: 851-857

Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe: EVALPSN Based Intelligent Drivers' Model. KES (2) 2006: 858-865

Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe: Logic Determined by Boolean Algebras with Conjugate. KES (2) 2006: 871-878

Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe: An Intelligent Safety Verification Based on a Paraconsistent Logic Program. KES (2) 2005: 708-715

Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama: Non-alethic Reasoning in Distributed Systems. KES (2) 2005: 724-731

Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki: Intelligent Safety Verification for Pipeline Based on EVALPSN. LAPTEC 2005: 63-70

Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki: A Discrete Event Control Based on EVALPSN Stable Model. LAPTEC 2005: 71-78

Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki: An EVALP Based Traffic Simulation System. LAPTEC 2005: 79-86

Alexandre Scalzitti, Kazumi Nakamatsu, Jair Minoro Abe: Digital Images: Weighted Automata Theoretical Aspects. LAPTEC 2005: 113-119

Kazumi Nakamatsu, Atsuyuki Suzuki: Autoepistemic Theory and Paraconsistent Logic Program. LAPTEC 2005: 177-184

Kazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I. LAPTEC 2005: 185-191

Kazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II. LAPTEC 2005: 192-198

Kazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III. LAPTEC 2005: 199-206

Kazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV. LAPTEC 2005: 207-215

Jair Minoro Abe, Kazumi Nakamatsu: A Note on Non-Alethic Temporal Logics. LAPTEC 2005: 216-219

Kazumi Nakamatsu, Jair Minoro Abe: Railway Signal and Paraconsistency. LAPTEC 2005: 220-225

Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki: A Discrete Event Control Based on EVALPSN Stable Model Computation. RSFDGrC (1) 2005: 671-681

Kazumi Nakamatsu, Jair Minoro Abe (Eds.): Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005. Frontiers in Artificial Intelligence and Applications 132, IOS Press 2005, isbn 978-1-58603-568-6

Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki: A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. KES 2004: 954-960

Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki: EVALPSN Based Railway Interlocking Simulator. KES 2004: 961-967

Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung: Defeasible Deontic Control for Discrete Events Based on EVALPSN. Rough Sets and Current Trends in Computing 2004: 310-315

Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki: Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. RSFDGrC 2003: 719-723

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki: A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. HIS 2002: 775-784

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki: Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification. HIS 2001: 665-679

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki: Annotated Semantics for Defeasible Deontic Reasoning. Rough Sets and Current Trends in Computing 2000: 470-478

Kazumi Nakamatsu, Atsuyuki Suzuki: A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 79-93