Kazumi Nakamatsu

94 papers B 9C 7Journal 13Unranked 48
YearRankTypeTitle / Venue / Authors
2020 J jnl
Guest editorial: Papers selected from 8th International Conference on Model and Data Engineering (MEDI 2018).
Comput. Sci. Inf. Syst.
Djamal Benslimane, Stéphane Jean, Ladjel Bellatreche, Kazumi Nakamatsu
2019 B conf
Three decades of paraconsistent annotated logics: a review paper on some applications.
KES
Jair Minoro Abe, Kazumi Nakamatsu, João Inácio da Silva Filho
2018 C conf
Develop an Embedded IoT System and It's Applications.
INISTA
Ari Aharari, Masayoshi Inada, Jair Minoru Abe, Kazumi Nakamatsu
2018 C conf
Evaluation Of Adherence To The Model Six Sigma Using Paraconsistent Logic.
INISTA
Caique Zaneti Kirilo, Jair Minoro Abe, Marcelo Nogueira, Kazumi Nakamatsu, Luiz Carlos Machi Lozano, Luiz Antônio de Lima
2018 C conf
Handling Paraconsistency and Paracompleteness in Robotics.
INISTA
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, Alireza Ahrary
2018 — ed.
New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings
MEDI Workshops
El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez
2018 C conf
Paraconsistent Extractor of Mammographic Images Applied in the Process of Diagnosis of Breast Cancer Assisted by Computer.
INISTA
Fábio Vieira do Amaral, Lauro Henrique de Castro Tomiatti, Jair Minoro Abe, Kazumi Nakamatsu, Henry Costa Ungaro
2018 B conf
Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics.
KES
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu, João Inácio da Silva Filho
2017 — conf
The Importance of Paraconsistency and Paracompleteness in Intelligent Systems.
KES-IDT (2)
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho
2016 J jnl
A quantum bi-directional self-organizing neural network (QBDSONN) architecture for binary object extraction from a noisy perspective.
Appl. Soft Comput.
Debanjan Konar, Siddhartha Bhattacharyya, Bijaya Ketan Panigrahi, Kazumi Nakamatsu
2016 — ch.
Annotated Logics and Intelligent Control.
New Approaches in Intelligent Control
Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu
2016 — book
New Approaches in Intelligent Control - Techniques, Methodologies and Applications
New Approaches in Intelligent Control
Kazumi Nakamatsu, Roumen Kountchev
2016 — book
New Approaches in Intelligent Image Analysis - Techniques, Methodologies and Applications
Roumen Kountchev, Kazumi Nakamatsu
2016 — ch.
Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control.
New Approaches in Intelligent Control
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
2016 — ch.
Programming with Annotated Logics.
Towards Paraconsistent Engineering
Kazumi Nakamatsu, Seiki Akama
2015 — ch.
Constructive Discursive Logic: Paraconsistency in Constructivism.
Paraconsistent Intelligent-Based Systems
Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu
2015 — conf
Evidential Reasoning in Annotated Logics.
IIAI-AAI
Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu
2015 — book
Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
2015 — ch.
Paraconsistent Annotated Logic Program EVALPSN and Its Applications.
Paraconsistent Intelligent-Based Systems
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
2015 — conf
Propositional Algebra P
KES-IDT
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho
2014 — conf
A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN.
IDT/IIMSS/STET
Aapo Alasuutari, Kazumi Nakamatsu, Jair Minoro Abe
2014 J jnl
Adaptive multi-level 2D Karhunen-Loeve-based transform for still images.
Int. J. Reason. based Intell. Syst.
Roumen Kountchev, Kazumi Nakamatsu
2014 — conf
Contingent Information: A Four-Valued Approach.
KSE
Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu
2014 — ch.
Paraconsisten Logic-Based Reasoning for Intelligent Systems.
Computing Handbook, 3rd ed. (1)
Kazumi Nakamatsu
2014 — ch.
Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems.
Innovations in Intelligent Machines (4)
Kazumi Nakamatsu, Jair Minoro Abe
2014 J jnl
Paraconsistent neurocomputing and brain signal analysis.
Vietnam. J. Comput. Sci.
Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu
2014 J jnl
The paraconsistent process order control method.
Vietnam. J. Comput. Sci.
Kazumi Nakamatsu, Jair Minoro Abe
2013 — conf
A Proposal for an Agricultural Irrigation Control System Based on Support Vector Machine.
IIAI-AAI
Yuya Suzuki, Kazumi Nakamatsu, Hiroshi Mineno
2013 B conf
MICR Automated Recognition based on Paraconsistent Artificial Neural Networks.
KES
Sheila Souza, Jair Minoro Abe, Kazumi Nakamatsu
2013 J jnl
Paraconsistent artificial neural networks and EEG.
Int. J. Knowl. Based Intell. Eng. Syst.
Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu
2012 B conf
An Overview of Paraconsistent Artificial Neural Networks and Applications.
KES
Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu
2012 B conf
Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces.
KES
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama
2012 C conf
Evaluating the effects of K-means clustering approach on medical images.
ISDA
Hossam M. Moftah, Walaa H. Elmasry, Nashwa El-Bendary, Aboul Ella Hassanien, Kazumi Nakamatsu
2012 B conf
One Approach for Grayscale Image Decorrelation with Adaptive Multi-level 2D KLT.
KES
Roumen Kountchev, Kazumi Nakamatsu
2012 — conf
Paraconsistent Artificial Neural Networks and AD Analysis - Improvements.
ICCCI (1)
Jair Minoro Abe, Helder Frederico da Silva Lopes, Kazumi Nakamatsu
2011 J jnl
A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN.
Int. J. Knowl. Based Intell. Eng. Syst.
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
2011 — conf
Applications of Paraconsistent Artificial Neural Networks in EEG.
ICCCI (1)
Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama
2011 J jnl
Curry systems for algebraisation of some non-classical logics.
Int. J. Reason. based Intell. Syst.
Jair Minoro Abe, Kazumi Nakamatsu
2011 — conf
Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN.
ACIIDS (1)
Kazumi Nakamatsu, Toshiaki Imai, Haruhiko Nishimura
2010 — conf
ArSLAT: Arabic Sign Language Alphabets Translator.
CISIM
Nashwa El-Bendary, Hossam M. Zawbaa, Mahmoud S. Daoud, Aboul Ella Hassanien, Kazumi Nakamatsu
2010 — conf
Compression of Multispectral Images with Inverse Pyramid Decomposition.
KES (3)
Roumen Kountchev, Kazumi Nakamatsu
2010 — conf
Constructive Discursive Reasoning.
KES (3)
Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe
2010 — conf
Introduction to Intelligent Elevator Control Based on EVALPSN.
KES (3)
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev
2010 — conf
Introduction to Intelligent Network Routing Based on EVALPSN.
KES (3)
Kazumi Nakamatsu, Jair Minoro Abe, Takashi Watanabe
2010 — conf
Monadic Curry System N
KES (3)
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama
2010 — conf
Paraconsistent Artificial Neural Networks and EEG Analysis.
KES (3)
Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama
2009 — conf
A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN.
KES (2)
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
2009 — conf
A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN.
RSFDGrC
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
2009 — conf
A Note on Monadic Curry System P
KES (2)
Jair Minoro Abe, Kazumi Nakamatsu, Fábio Romeu de Carvalho
2009 J jnl
A survey of paraconsistent annotated logics and applications.
Int. J. Reason. based Intell. Syst.
Jair Minoro Abe, Kazumi Nakamatsu
2009 — ch.
Paraconsistent Annotated Logic Program Before-after EVALPSN and Its Application.
Foundations of Computational Intelligence (2)
Kazumi Nakamatsu
2009 J jnl
The development of paraconsistent annotated logic programs.
Int. J. Reason. based Intell. Syst.
Kazumi Nakamatsu, Jair Minoro Abe
2008 — ch.
Constructive Logic and the Sorites Paradox.
New Directions in Intelligent Interactive Multimedia
Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe
2008 — conf
Improving EEG Analysis by Using Paraconsistent Artificial Neural Networks.
KES (2)
Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu
2008 — ch.
Paraconsistent Before-After Relation Reasoning Based on EVALPSN.
New Directions in Intelligent Interactive Multimedia
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
2008 — ch.
The Paraconsistent Annotated Logic Program EVALPSN and its Application.
Computational Intelligence: A Compendium
Kazumi Nakamatsu
2008 — conf
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.
KES (2)
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
2008 — ch.
Two Applications of Paraconsistent Logical Controller.
New Directions in Intelligent Interactive Multimedia
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama
2007 — conf
A Natural Deduction System for Annotated Predicate Logic.
KES (2)
Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe
2007 J jnl
An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation.
Intell. Autom. Soft Comput.
Kazumi Nakamatsu, Yoshio Mita, Tadashi Shibata
2007 — conf
An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.
KES (2)
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
2007 B conf
Intelligent process order control based on a paraconsistent logic program : An introduction.
SMC
Kazumi Nakamatsu
2007 — conf
Manipulating Paraconsistent Knowledge in Multi-agent Systems.
KES-AMSTA
Jair Minoro Abe, Kazumi Nakamatsu
2007 — conf
Monadic Curry Algebras Q
KES (2)
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
2006 — conf
A Defeasible Deontic Model for Intelligent Simulation.
Computer Supported Acitivity Coordination
Kazumi Nakamatsu
2006 — conf
EVALPSN Based Intelligent Drivers' Model.
KES (2)
Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe
2006 — conf
Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II.
KES (2)
Jair Minoro Abe, Cláudio Rodrigo Torres, Germano Lambert-Torres, Kazumi Nakamatsu, Michiro Kondo
2006 — conf
Logic Determined by Boolean Algebras with Conjugate.
KES (2)
Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe
2006 — conf
Paraconsistent Artificial Neural Network: Applicability in Computer Analysis of Speech Productions.
KES (2)
Jair Minoro Abe, João Carlos Almeida Prado, Kazumi Nakamatsu
2006 J jnl
Pipeline Valve Control Based on EVALPSN Safety Verification.
J. Adv. Comput. Intell. Intell. Informatics
Kazumi Nakamatsu
2005 — conf
A Discrete Event Control Based on EVALPSN Stable Model Computation.
RSFDGrC (1)
Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki
2005 — conf
A Discrete Event Control Based on EVALPSN Stable Model.
LAPTEC
Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki
2005 — conf
A Note on Non-Alethic Temporal Logics.
LAPTEC
Jair Minoro Abe, Kazumi Nakamatsu
2005 — ed.
Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005
LAPTEC
Kazumi Nakamatsu, Jair Minoro Abe
2005 — conf
An EVALP Based Traffic Simulation System.
LAPTEC
Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki
2005 — conf
An Intelligent Safety Verification Based on a Paraconsistent Logic Program.
KES (2)
Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe
2005 J jnl
An Intelligent Traffic Signal Control Based on EVALPSN.
Res. Comput. Sci.
Jair Minoro Abe, Kazumi Nakamatsu
2005 — conf
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I.
LAPTEC
Kazumi Nakamatsu, Atsuyuki Suzuki
2005 — conf
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II.
LAPTEC
Kazumi Nakamatsu, Atsuyuki Suzuki
2005 — conf
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III.
LAPTEC
Kazumi Nakamatsu, Atsuyuki Suzuki
2005 — conf
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV.
LAPTEC
Kazumi Nakamatsu, Atsuyuki Suzuki
2005 — conf
Autoepistemic Theory and Paraconsistent Logic Program.
LAPTEC
Kazumi Nakamatsu, Atsuyuki Suzuki
2005 — conf
Digital Images: Weighted Automata Theoretical Aspects.
LAPTEC
Alexandre Scalzitti, Kazumi Nakamatsu, Jair Minoro Abe
2005 — conf
Intelligent Safety Verification for Pipeline Based on EVALPSN.
LAPTEC
Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki
2005 — conf
Non-alethic Reasoning in Distributed Systems.
KES (2)
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama
2005 — conf
Railway Signal and Paraconsistency.
LAPTEC
Kazumi Nakamatsu, Jair Minoro Abe
2004 B conf
A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.
KES
Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki
2004 — conf
Defeasible Deontic Control for Discrete Events Based on EVALPSN.
Rough Sets and Current Trends in Computing
Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung
2004 B conf
EVALPSN Based Railway Interlocking Simulator.
KES
Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki
2003 — conf
Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN.
RSFDGrC
Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki
2002 C conf
A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming.
HIS
Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
2001 C conf
Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification.
HIS
Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
2000 — conf
Annotated Semantics for Defeasible Deontic Reasoning.
Rough Sets and Current Trends in Computing
Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
1997 — conf
A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation.
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Kazumi Nakamatsu, Atsuyuki Suzuki