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

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

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

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

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

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

EVALPSN Based Railway Interlocking Simulator. - Kazumi Nakamatsu; Yosuke Kiuchi; Atsuyuki Suzuki (KES, 2004)

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

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

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

A Note on Non-Alethic Temporal Logics. - Jair Minoro Abe; Kazumi Nakamatsu (LAPTEC, 2005)

Railway Signal and Paraconsistency. - Kazumi Nakamatsu; Jair Minoro Abe (LAPTEC, 2005)

An EVALP Based Traffic Simulation System. - Kazumi Nakamatsu; Ryuji Ishikawa; Atsuyuki Suzuki (LAPTEC, 2005)

Intelligent Safety Verification for Pipeline Based on EVALPSN. - Kazumi Nakamatsu; Kenji Kawasumi; Atsuyuki Suzuki (LAPTEC, 2005)

A Discrete Event Control Based on EVALPSN Stable Model. - Kazumi Nakamatsu; Hayato Komaba; Atsuyuki Suzuki (LAPTEC, 2005)

Autoepistemic Theory and Paraconsistent Logic Program. - Kazumi Nakamatsu; Atsuyuki Suzuki (LAPTEC, 2005)

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I. - Kazumi Nakamatsu; Atsuyuki Suzuki (LAPTEC, 2005)

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II. - Kazumi Nakamatsu; Atsuyuki Suzuki (LAPTEC, 2005)

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III. - Kazumi Nakamatsu; Atsuyuki Suzuki (LAPTEC, 2005)

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV. - Kazumi Nakamatsu; Atsuyuki Suzuki (LAPTEC, 2005)

Digital Images: Weighted Automata Theoretical Aspects. - Alexandre Scalzitti; Kazumi Nakamatsu; Jair Minoro Abe (LAPTEC, 2005)

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

A Defeasible Deontic Model for Intelligent Simulation. - Kazumi Nakamatsu (Computer Supported Acitivity Coordination, 2006)

Paraconsistent Artificial Neural Network: Applicability in Computer Analysis of Speech Productions. - Jair Minoro Abe; João Carlos Almeida Prado; Kazumi Nakamatsu (KES (2), 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 (KES (2), 2006)

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

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

Pipeline Valve Control Based on EVALPSN Safety Verification. - Kazumi Nakamatsu (J. Adv. Comput. Intell. Intell. Informatics, 2006)

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

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

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

Manipulating Paraconsistent Knowledge in Multi-agent Systems. - Jair Minoro Abe; Kazumi Nakamatsu (KES-AMSTA, 2007)

Intelligent process order control based on a paraconsistent logic program : An introduction. - Kazumi Nakamatsu (SMC, 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)

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

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

Two Applications of Paraconsistent Logical Controller. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama (New Directions in Intelligent Interactive Multimedia, 2008)

Constructive Logic and the Sorites Paradox. - Seiki Akama; Kazumi Nakamatsu; Jair Minoro Abe (New Directions in Intelligent Interactive Multimedia, 2008)

The Paraconsistent Annotated Logic Program EVALPSN and its Application. - Kazumi Nakamatsu (Computational Intelligence: A Compendium, 2008)

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

A Note on Monadic Curry System P1. - Jair Minoro Abe; Kazumi Nakamatsu; Fábio Romeu de Carvalho (KES (2), 2009)

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

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

A survey of paraconsistent annotated logics and applications. - Jair Minoro Abe; Kazumi Nakamatsu (Int. J. Reason. based Intell. Syst., 2009)

The development of paraconsistent annotated logic programs. - Kazumi Nakamatsu; Jair Minoro Abe (Int. J. Reason. based Intell. Syst., 2009)

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

ArSLAT: Arabic Sign Language Alphabets Translator. - Nashwa El-Bendary; Hossam M. Zawbaa; Mahmoud S. Daoud; Aboul Ella Hassanien; Kazumi Nakamatsu (CISIM, 2010)

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

Monadic Curry System N1. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama (KES (3), 2010)

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

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

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

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

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

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

Curry systems for algebraisation of some non-classical logics. - Jair Minoro Abe; Kazumi Nakamatsu (Int. J. Reason. based Intell. Syst., 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)

Paraconsistent Artificial Neural Networks and AD Analysis - Improvements. - Jair Minoro Abe; Helder Frederico da Silva Lopes; Kazumi Nakamatsu (ICCCI (1), 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 (ISDA, 2012)

An Overview of Paraconsistent Artificial Neural Networks and Applications. - Jair Minoro Abe; Helder F. S. Lopes; Kazumi Nakamatsu (KES, 2012)

Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama (KES, 2012)

One Approach for Grayscale Image Decorrelation with Adaptive Multi-level 2D KLT. - Roumen Kountchev; Kazumi Nakamatsu (KES, 2012)

A Proposal for an Agricultural Irrigation Control System Based on Support Vector Machine. - Yuya Suzuki; Kazumi Nakamatsu; Hiroshi Mineno (IIAI-AAI, 2013)

MICR Automated Recognition based on Paraconsistent Artificial Neural Networks. - Sheila Souza; Jair Minoro Abe; Kazumi Nakamatsu (KES, 2013)

Paraconsistent artificial neural networks and EEG. - Jair Minoro Abe; Helder F. S. Lopes; Kazumi Nakamatsu (Int. J. Knowl. Based Intell. Eng. Syst., 2013)

Paraconsisten Logic-Based Reasoning for Intelligent Systems. - Kazumi Nakamatsu (Computing Handbook, 3rd ed. (1), 2014)

A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN. - Aapo Alasuutari; Kazumi Nakamatsu; Jair Minoro Abe (IDT/IIMSS/STET, 2014)

Contingent Information: A Four-Valued Approach. - Seiki Akama; Jair Minoro Abe; Kazumi Nakamatsu (KSE, 2014)

Adaptive multi-level 2D Karhunen-Loeve-based transform for still images. - Roumen Kountchev; Kazumi Nakamatsu (Int. J. Reason. based Intell. Syst., 2014)

Paraconsistent neurocomputing and brain signal analysis. - Jair Minoro Abe; Helder F. S. Lopes; Kazumi Nakamatsu (Vietnam. J. Comput. Sci., 2014)

The paraconsistent process order control method. - Kazumi Nakamatsu; Jair Minoro Abe (Vietnam. J. Comput. Sci., 2014)

Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems. - Kazumi Nakamatsu; Jair Minoro Abe (Innovations in Intelligent Machines (4), 2014)

Evidential Reasoning in Annotated Logics. - Seiki Akama; Jair Minoro Abe; Kazumi Nakamatsu (IIAI-AAI, 2015)

Propositional Algebra P1. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama; João Inácio da Silva Filho (KES-IDT, 2015)

Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning - Jair Minoro Abe; Seiki Akama; Kazumi Nakamatsu (Springer, 2015)

Constructive Discursive Logic: Paraconsistency in Constructivism. - Seiki Akama; Jair Minoro Abe; Kazumi Nakamatsu (Paraconsistent Intelligent-Based Systems, 2015)

Paraconsistent Annotated Logic Program EVALPSN and Its Applications. - Kazumi Nakamatsu; Jair Minoro Abe; Seiki Akama (Paraconsistent Intelligent-Based Systems, 2015)

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)

Annotated Logics and Intelligent Control. - Seiki Akama; Jair Minoro Abe; Kazumi Nakamatsu (New Approaches in Intelligent Control, 2016)

Programming with Annotated Logics. - Kazumi Nakamatsu; Seiki Akama (Towards Paraconsistent Engineering, 2016)

Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control. - Kazumi Nakamatsu; Jair Minoro Abe; Seiki Akama (New Approaches in Intelligent Control, 2016)

The Importance of Paraconsistency and Paracompleteness in Intelligent Systems. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama; João Inácio da Silva Filho (KES-IDT (2), 2017)

Handling Paraconsistency and Paracompleteness in Robotics. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama; Alireza Ahrary (INISTA, 2018)

Develop an Embedded IoT System and It's Applications. - Ari Aharari; Masayoshi Inada; Jair Minoru Abe; Kazumi Nakamatsu (INISTA, 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 (INISTA, 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 (INISTA, 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 (KES, 2018)

Three decades of paraconsistent annotated logics: a review paper on some applications. - Jair Minoro Abe; Kazumi Nakamatsu; João Inácio da Silva Filho (KES, 2019)

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)