Kazumi Nakamatsu

According to our database, Kazumi Nakamatsu authored at least 89 papers between 1997 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Guest editorial: Papers selected from 8th International Conference on Model and Data Engineering (MEDI 2018).

Djamal Benslimane, Stéphane Jean, Ladjel Bellatreche, Kazumi Nakamatsu

Comput. Sci. Inf. Syst., 2020

2019

Three decades of paraconsistent annotated logics: a review paper on some applications.

Jair Minoro Abe, Kazumi Nakamatsu, João Inácio da Silva Filho

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

2018

Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics.

Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu, João Inácio da Silva Filho

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Evaluation Of Adherence To The Model Six Sigma Using Paraconsistent Logic.

Caique Zaneti Kirilo, Jair Minoro Abe, Marcelo Nogueira, Kazumi Nakamatsu, Luiz Carlos Machi Lozano, Luiz Antônio de Lima

Proceedings of the 2018 Innovations in Intelligent Systems and Applications, 2018

Paraconsistent Extractor of Mammographic Images Applied in the Process of Diagnosis of Breast Cancer Assisted by Computer.

Fábio Vieira do Amaral, Lauro Henrique de Castro Tomiatti, Jair Minoro Abe, Kazumi Nakamatsu, Henry Costa Ungaro

Proceedings of the 2018 Innovations in Intelligent Systems and Applications, 2018

Develop an Embedded IoT System and It's Applications.

Ari Aharari, Masayoshi Inada, Jair Minoru Abe, Kazumi Nakamatsu

Proceedings of the 2018 Innovations in Intelligent Systems and Applications, 2018

Handling Paraconsistency and Paracompleteness in Robotics.

Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, Alireza Ahrary

Proceedings of the 2018 Innovations in Intelligent Systems and Applications, 2018

2017

The Importance of Paraconsistency and Paracompleteness in Intelligent Systems.

Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho

Proceedings of the Intelligent Decision Technologies 2017 - Proceedings of the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT 2017), 2017

2016

Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control.

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama

Proceedings of the New Approaches in Intelligent Control, 2016

Programming with Annotated Logics.

Kazumi Nakamatsu, Seiki Akama

Proceedings of the Towards Paraconsistent Engineering, 2016

Annotated Logics and Intelligent Control.

Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu

Proceedings of the New Approaches in Intelligent Control, 2016

A quantum bi-directional self-organizing neural network (QBDSONN) architecture for binary object extraction from a noisy perspective.

Debanjan Konar, Siddhartha Bhattacharyya, Bijaya Ketan Panigrahi, Kazumi Nakamatsu

Appl. Soft Comput., 2016

2015

Paraconsistent Annotated Logic Program EVALPSN and Its Applications.

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama

Proceedings of the Paraconsistent Intelligent-Based Systems, 2015

Constructive Discursive Logic: Paraconsistency in Constructivism.

Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu

Proceedings of the Paraconsistent Intelligent-Based Systems, 2015

Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning

Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu

Intelligent Systems Reference Library 88, Springer, ISBN: 978-3-319-17912-4, 2015

Propositional Algebra P₁.

Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho

Proceedings of the Intelligent Decision Technologies, 2015

Evidential Reasoning in Annotated Logics.

Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu

Proceedings of the IIAI 4th International Congress on Advanced Applied Informatics, 2015

2014

Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems.

Kazumi Nakamatsu, Jair Minoro Abe

Proceedings of the Innovations in Intelligent Machines-4, 2014

The paraconsistent process order control method.

Kazumi Nakamatsu, Jair Minoro Abe

Vietnam. J. Comput. Sci., 2014

Paraconsistent neurocomputing and brain signal analysis.

Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu

Vietnam. J. Comput. Sci., 2014

Adaptive multi-level 2D Karhunen-Loeve-based transform for still images.

Roumen Kountchev, Kazumi Nakamatsu

Int. J. Reason. based Intell. Syst., 2014

Contingent Information: A Four-Valued Approach.

Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu

Proceedings of the Knowledge and Systems Engineering, 2014

A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN.

Aapo Alasuutari, Kazumi Nakamatsu, Jair Minoro Abe

Proceedings of the Smart Digital Futures 2014, 2014

Paraconsisten Logic-Based Reasoning for Intelligent Systems.

Kazumi Nakamatsu

Proceedings of the Computing Handbook, 2014

2013

Paraconsistent artificial neural networks and EEG.

Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu

Int. J. Knowl. Based Intell. Eng. Syst., 2013

MICR Automated Recognition based on Paraconsistent Artificial Neural Networks.

Sheila Souza, Jair Minoro Abe, Kazumi Nakamatsu

Proceedings of the 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2013

A Proposal for an Agricultural Irrigation Control System Based on Support Vector Machine.

Yuya Suzuki, Kazumi Nakamatsu, Hiroshi Mineno

Proceedings of the 2013 Second IIAI International Conference on Advanced Applied Informatics, 2013

2012

One Approach for Grayscale Image Decorrelation with Adaptive Multi-level 2D KLT.

Roumen Kountchev, Kazumi Nakamatsu

Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces.

Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama

Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

An Overview of Paraconsistent Artificial Neural Networks and Applications.

Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu

Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

Evaluating the effects of K-means clustering approach on medical images.

Hossam M. Moftah, Walaa H. Elmasry, Nashwa El-Bendary, Aboul Ella Hassanien, Kazumi Nakamatsu

Proceedings of the 12th International Conference on Intelligent Systems Design and Applications, 2012

Paraconsistent Artificial Neural Networks and AD Analysis - Improvements.

Jair Minoro Abe, Helder Frederico da Silva Lopes, Kazumi Nakamatsu

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

2011

A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN.

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama

Int. J. Knowl. Based Intell. Eng. Syst., 2011

Curry systems for algebraisation of some non-classical logics.

Jair Minoro Abe, Kazumi Nakamatsu

Int. J. Reason. based Intell. Syst., 2011

Applications of Paraconsistent Artificial Neural Networks in EEG.

Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2011

Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN.

Kazumi Nakamatsu, Toshiaki Imai, Haruhiko Nishimura

Proceedings of the Intelligent Information and Database Systems, 2011

2010

Introduction to Intelligent Network Routing Based on EVALPSN.

Kazumi Nakamatsu, Jair Minoro Abe, Takashi Watanabe

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Introduction to Intelligent Elevator Control Based on EVALPSN.

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Compression of Multispectral Images with Inverse Pyramid Decomposition.

Roumen Kountchev, Kazumi Nakamatsu

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Constructive Discursive Reasoning.

Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Monadic Curry System N₁.

Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Paraconsistent Artificial Neural Networks and EEG Analysis.

Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

ArSLAT: Arabic Sign Language Alphabets Translator.

Nashwa El-Bendary, Hossam M. Zawbaa, Mahmoud S. Daoud, Aboul Ella Hassanien, Kazumi Nakamatsu

Proceedings of the 2010 International Conference on Computer Information Systems and Industrial Management Applications, 2010

2009

Paraconsistent Annotated Logic Program Before-after EVALPSN and Its Application.

Kazumi Nakamatsu

Proceedings of the Foundations of Computational Intelligence, 2009

The development of paraconsistent annotated logic programs.

Kazumi Nakamatsu, Jair Minoro Abe

Int. J. Reason. based Intell. Syst., 2009

A survey of paraconsistent annotated logics and applications.

Jair Minoro Abe, Kazumi Nakamatsu

Int. J. Reason. based Intell. Syst., 2009

A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN.

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama

Proceedings of the Rough Sets, 2009

A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN.

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2009

A Note on Monadic Curry System P₁.

Jair Minoro Abe, Kazumi Nakamatsu, Fábio Romeu de Carvalho

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2009

2008

Paraconsistent Before-After Relation Reasoning Based on EVALPSN.

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama

Proceedings of the New Directions in Intelligent Interactive Multimedia, 2008

The Paraconsistent Annotated Logic Program EVALPSN and its Application.

Kazumi Nakamatsu

Proceedings of the Computational Intelligence: A Compendium, 2008

Constructive Logic and the Sorites Paradox.

Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe

Proceedings of the New Directions in Intelligent Interactive Multimedia, 2008

Two Applications of Paraconsistent Logical Controller.

Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama

Proceedings of the New Directions in Intelligent Interactive Multimedia, 2008

Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

Improving EEG Analysis by Using Paraconsistent Artificial Neural Networks.

Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

2007

An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation.

Kazumi Nakamatsu, Yoshio Mita, Tadashi Shibata

Intell. Autom. Soft Comput., 2007

Intelligent process order control based on a paraconsistent logic program : An introduction.

Kazumi Nakamatsu

Proceedings of the IEEE International Conference on Systems, 2007

Manipulating Paraconsistent Knowledge in Multi-agent Systems.

Jair Minoro Abe, Kazumi Nakamatsu

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2007

An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.

Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

A Natural Deduction System for Annotated Predicate Logic.

Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

Monadic Curry Algebras Q <i>tau</i>.

Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

2006

Pipeline Valve Control Based on EVALPSN Safety Verification.

Kazumi Nakamatsu

J. Adv. Comput. Intell. Intell. Informatics, 2006

EVALPSN Based Intelligent Drivers' Model.

Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

Logic Determined by Boolean Algebras with Conjugate.

Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II.

Jair Minoro Abe, Cláudio Rodrigo Torres, Germano Lambert-Torres, Kazumi Nakamatsu, Michiro Kondo

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

Paraconsistent Artificial Neural Network: Applicability in Computer Analysis of Speech Productions.

Jair Minoro Abe, João Carlos Almeida Prado, Kazumi Nakamatsu

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

A Defeasible Deontic Model for Intelligent Simulation.

Kazumi Nakamatsu

Proceedings of the Computer Supported Activity Coordination, 2006

2005

A Discrete Event Control Based on EVALPSN Stable Model Computation.

Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki

Proceedings of the Rough Sets, 2005

Digital Images: Weighted Automata Theoretical Aspects.

Alexandre Scalzitti, Kazumi Nakamatsu, Jair Minoro Abe

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Autoepistemic Theory and Paraconsistent Logic Program.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

A Discrete Event Control Based on EVALPSN Stable Model.

Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Intelligent Safety Verification for Pipeline Based on EVALPSN.

Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

An EVALP Based Traffic Simulation System.

Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Railway Signal and Paraconsistency.

Kazumi Nakamatsu, Jair Minoro Abe

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

A Note on Non-Alethic Temporal Logics.

Jair Minoro Abe, Kazumi Nakamatsu

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

An Intelligent Safety Verification Based on a Paraconsistent Logic Program.

Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

Non-alethic Reasoning in Distributed Systems.

Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

2004

Defeasible Deontic Control for Discrete Events Based on EVALPSN.

Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung

Proceedings of the Rough Sets and Current Trends in Computing, 2004

EVALPSN Based Railway Interlocking Simulator.

Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.

Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

2003

Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN.

Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki

Proceedings of the Rough Sets, 2003

2002

A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming.

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki

Proceedings of the Soft Computing Systems - Design, Management and Applications, 2002

2001

Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification.

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki

Proceedings of the Hybrid Information Systems, 2001

2000

Annotated Semantics for Defeasible Deontic Reasoning.

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki

Proceedings of the Rough Sets and Current Trends in Computing, 2000

1997

A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997