default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKazumi Nakamatsu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j12]Djamal Benslimane, Stéphane Jean, Ladjel Bellatreche, Kazumi Nakamatsu:
Guest editorial: Papers selected from 8th International Conference on Model and Data Engineering (MEDI 2018). Comput. Sci. Inf. Syst. 17(1): 0 (2020)
2010 – 2019
- 2019
- [c64]Jair Minoro Abe, Kazumi Nakamatsu, João Inácio da Silva Filho:
Three decades of paraconsistent annotated logics: a review paper on some applications. KES 2019: 1175-1181 - 2018
- [c63]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, Alireza Ahrary:
Handling Paraconsistency and Paracompleteness in Robotics. INISTA 2018: 1-7 - [c62]Ari Aharari
, Masayoshi Inada, Jair Minoru Abe, Kazumi Nakamatsu:
Develop an Embedded IoT System and It's Applications. INISTA 2018: 1-5 - [c61]Fábio Vieira do Amaral, Lauro Henrique de Castro Tomiatti, Jair Minoro Abe, Kazumi Nakamatsu, Henry Costa Ungaro:
Paraconsistent Extractor of Mammographic Images Applied in the Process of Diagnosis of Breast Cancer Assisted by Computer. INISTA 2018: 1-6 - [c60]Caique Zaneti Kirilo, Jair Minoro Abe, Marcelo Nogueira, Kazumi Nakamatsu, Luiz Carlos Machi Lozano, Luiz Antônio de Lima:
Evaluation Of Adherence To The Model Six Sigma Using Paraconsistent Logic. INISTA 2018: 1-7 - [c59]Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu, João Inácio da Silva Filho:
Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics. KES 2018: 1253-1260 - [e4]El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez:
New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Communications in Computer and Information Science 929, Springer 2018, ISBN 978-3-030-02851-0 [contents] - 2017
- [c58]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho:
The Importance of Paraconsistency and Paracompleteness in Intelligent Systems. KES-IDT (2) 2017: 196-205 - 2016
- [j11]Debanjan Konar, Siddhartha Bhattacharyya, Bijaya Ketan Panigrahi, Kazumi Nakamatsu:
A quantum bi-directional self-organizing neural network (QBDSONN) architecture for binary object extraction from a noisy perspective. Appl. Soft Comput. 46: 731-752 (2016) - [p12]Kazumi Nakamatsu, Seiki Akama:
Programming with Annotated Logics. Towards Paraconsistent Engineering 2016: 103-164 - [p11]Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu:
Annotated Logics and Intelligent Control. New Approaches in Intelligent Control 2016: 301-335 - [p10]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control. New Approaches in Intelligent Control 2016: 337-401 - [e3]Kazumi Nakamatsu, Roumen Kountchev:
New Approaches in Intelligent Control - Techniques, Methodologies and Applications. Intelligent Systems Reference Library 107, Springer 2016, ISBN 978-3-319-32166-0 [contents] - [e2]Roumen Kountchev, Kazumi Nakamatsu:
New Approaches in Intelligent Image Analysis - Techniques, Methodologies and Applications. Intelligent Systems Reference Library 108, Springer 2016, ISBN 978-3-319-32190-5 [contents] - 2015
- [b1]Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu:
Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning. Intelligent Systems Reference Library 88, Springer 2015, ISBN 978-3-319-17911-7, pp. 1-177 - [c57]Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu:
Evidential Reasoning in Annotated Logics. IIAI-AAI 2015: 28-33 - [c56]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho:
Propositional Algebra P1. KES-IDT 2015: 1-10 - [p9]Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu:
Constructive Discursive Logic: Paraconsistency in Constructivism. Paraconsistent Intelligent-Based Systems 2015: 23-38 - [p8]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
Paraconsistent Annotated Logic Program EVALPSN and Its Applications. Paraconsistent Intelligent-Based Systems 2015: 39-85 - 2014
- [j10]Roumen Kountchev, Kazumi Nakamatsu:
Adaptive multi-level 2D Karhunen-Loeve-based transform for still images. Int. J. Reason. based Intell. Syst. 6(1/2): 49-58 (2014) - [j9]Kazumi Nakamatsu, Jair Minoro Abe:
The paraconsistent process order control method. Vietnam. J. Comput. Sci. 1(1): 29-37 (2014) - [j8]Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu:
Paraconsistent neurocomputing and brain signal analysis. Vietnam. J. Comput. Sci. 1(4): 219-230 (2014) - [c55]Aapo Alasuutari, Kazumi Nakamatsu, Jair Minoro Abe:
A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN. IDT/IIMSS/STET 2014: 248-257 - [c54]Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu:
Contingent Information: A Four-Valued Approach. KSE 2014: 209-217 - [p7]Kazumi Nakamatsu:
Paraconsisten Logic-Based Reasoning for Intelligent Systems. Computing Handbook, 3rd ed. (1) 2014: 34: 1-21 - [p6]Kazumi Nakamatsu, Jair Minoro Abe:
Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems. Innovations in Intelligent Machines (4) 2014: 279-315 - 2013
- [j7]Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu:
Paraconsistent artificial neural networks and EEG. Int. J. Knowl. Based Intell. Eng. Syst. 17(2): 99-111 (2013) - [c53]Yuya Suzuki, Kazumi Nakamatsu, Hiroshi Mineno:
A Proposal for an Agricultural Irrigation Control System Based on Support Vector Machine. IIAI-AAI 2013: 104-107 - [c52]Sheila Souza, Jair Minoro Abe, Kazumi Nakamatsu:
MICR Automated Recognition based on Paraconsistent Artificial Neural Networks. KES 2013: 1083-1091 - 2012
- [c51]Jair Minoro Abe, Helder Frederico da Silva Lopes, Kazumi Nakamatsu:
Paraconsistent Artificial Neural Networks and AD Analysis - Improvements. ICCCI (1) 2012: 259-267 - [c50]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 - [c49]Roumen Kountchev, Kazumi Nakamatsu:
One Approach for Grayscale Image Decorrelation with Adaptive Multi-level 2D KLT. KES 2012: 1303-1312 - [c48]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama:
Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces. KES 2012: 1342-1349 - [c47]Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu:
An Overview of Paraconsistent Artificial Neural Networks and Applications. KES 2012: 1350-1359 - 2011
- [j6]Jair Minoro Abe, Kazumi Nakamatsu:
Curry systems for algebraisation of some non-classical logics. Int. J. Reason. based Intell. Syst. 3(1): 59-69 (2011) - [j5]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. Int. J. Knowl. Based Intell. Eng. Syst. 15(3): 145-163 (2011) - [c46]Kazumi Nakamatsu, Toshiaki Imai, Haruhiko Nishimura:
Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN. ACIIDS (1) 2011: 496-505 - [c45]Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama:
Applications of Paraconsistent Artificial Neural Networks in EEG. ICCCI (1) 2011: 82-92 - 2010
- [c44]Nashwa El-Bendary, Hossam M. Zawbaa, Mahmoud S. Daoud, Aboul Ella Hassanien, Kazumi Nakamatsu:
ArSLAT: Arabic Sign Language Alphabets Translator. CISIM 2010: 590-595 - [c43]Kazumi Nakamatsu, Jair Minoro Abe, Takashi Watanabe:
Introduction to Intelligent Network Routing Based on EVALPSN. KES (3) 2010: 123-132 - [c42]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev:
Introduction to Intelligent Elevator Control Based on EVALPSN. KES (3) 2010: 133-142 - [c41]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama:
Monadic Curry System N1. KES (3) 2010: 143-153 - [c40]Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama:
Paraconsistent Artificial Neural Networks and EEG Analysis. KES (3) 2010: 164-173 - [c39]Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe:
Constructive Discursive Reasoning. KES (3) 2010: 200-206 - [c38]Roumen Kountchev, Kazumi Nakamatsu:
Compression of Multispectral Images with Inverse Pyramid Decomposition. KES (3) 2010: 215-224
2000 – 2009
- 2009
- [j4]Jair Minoro Abe, Kazumi Nakamatsu:
A survey of paraconsistent annotated logics and applications. Int. J. Reason. based Intell. Syst. 1(1/2): 31-42 (2009) - [j3]Kazumi Nakamatsu, Jair Minoro Abe:
The development of paraconsistent annotated logic programs. Int. J. Reason. based Intell. Syst. 1(1/2): 92-112 (2009) - [c37]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN. KES (2) 2009: 380-387 - [c36]Jair Minoro Abe, Kazumi Nakamatsu, Fábio Romeu de Carvalho:
A Note on Monadic Curry System P1. KES (2) 2009: 388-394 - [c35]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. RSFDGrC 2009: 135-143 - [p5]Kazumi Nakamatsu:
Paraconsistent Annotated Logic Program Before-after EVALPSN and Its Application. Foundations of Computational Intelligence (2) 2009: 75-108 - 2008
- [c34]Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu:
Improving EEG Analysis by Using Paraconsistent Artificial Neural Networks. KES (2) 2008: 466-473 - [c33]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. KES (2) 2008: 474-482 - [p4]Kazumi Nakamatsu:
The Paraconsistent Annotated Logic Program EVALPSN and its Application. Computational Intelligence: A Compendium 2008: 233-306 - [p3]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama:
Two Applications of Paraconsistent Logical Controller. New Directions in Intelligent Interactive Multimedia 2008: 249-254 - [p2]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
Paraconsistent Before-After Relation Reasoning Based on EVALPSN. New Directions in Intelligent Interactive Multimedia 2008: 265-274 - [p1]Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe:
Constructive Logic and the Sorites Paradox. New Directions in Intelligent Interactive Multimedia 2008: 285-292 - 2007
- [j2]Kazumi Nakamatsu, Yoshio Mita, Tadashi Shibata:
An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation. Intell. Autom. Soft Comput. 13(3): 289-304 (2007) - [c32]Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe:
A Natural Deduction System for Annotated Predicate Logic. KES (2) 2007: 861-868 - [c31]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. KES (2) 2007: 869-876 - [c30]Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu:
Monadic Curry Algebras Q tau. KES (2) 2007: 893-900 - [c29]Jair Minoro Abe, Kazumi Nakamatsu:
Manipulating Paraconsistent Knowledge in Multi-agent Systems. KES-AMSTA 2007: 159-168 - [c28]Kazumi Nakamatsu:
Intelligent process order control based on a paraconsistent logic program : An introduction. SMC 2007: 2278-2283 - 2006
- [j1]Kazumi Nakamatsu:
Pipeline Valve Control Based on EVALPSN Safety Verification. J. Adv. Comput. Intell. Intell. Informatics 10(5): 647-656 (2006) - [c27]Kazumi Nakamatsu:
A Defeasible Deontic Model for Intelligent Simulation. Computer Supported Acitivity Coordination 2006: 35-44 - [c26]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 - [c25]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 - [c24]Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe:
EVALPSN Based Intelligent Drivers' Model. KES (2) 2006: 858-865 - [c23]Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe:
Logic Determined by Boolean Algebras with Conjugate. KES (2) 2006: 871-878 - 2005
- [c22]Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe:
An Intelligent Safety Verification Based on a Paraconsistent Logic Program. KES (2) 2005: 708-715 - [c21]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama:
Non-alethic Reasoning in Distributed Systems. KES (2) 2005: 724-731 - [c20]Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki:
Intelligent Safety Verification for Pipeline Based on EVALPSN. LAPTEC 2005: 63-70 - [c19]Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki:
A Discrete Event Control Based on EVALPSN Stable Model. LAPTEC 2005: 71-78 - [c18]Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki:
An EVALP Based Traffic Simulation System. LAPTEC 2005: 79-86 - [c17]Alexandre Scalzitti, Kazumi Nakamatsu, Jair Minoro Abe:
Digital Images: Weighted Automata Theoretical Aspects. LAPTEC 2005: 113-119 - [c16]Kazumi Nakamatsu, Atsuyuki Suzuki:
Autoepistemic Theory and Paraconsistent Logic Program. LAPTEC 2005: 177-184 - [c15]Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I. LAPTEC 2005: 185-191 - [c14]Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II. LAPTEC 2005: 192-198 - [c13]Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III. LAPTEC 2005: 199-206 - [c12]Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV. LAPTEC 2005: 207-215 - [c11]Jair Minoro Abe, Kazumi Nakamatsu:
A Note on Non-Alethic Temporal Logics. LAPTEC 2005: 216-219 - [c10]Kazumi Nakamatsu, Jair Minoro Abe:
Railway Signal and Paraconsistency. LAPTEC 2005: 220-225 - [c9]Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki:
A Discrete Event Control Based on EVALPSN Stable Model Computation. RSFDGrC (1) 2005: 671-681 - [e1]Kazumi Nakamatsu, Jair Minoro Abe:
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 [contents] - 2004
- [c8]Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki:
A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. KES 2004: 954-960 - [c7]Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki:
EVALPSN Based Railway Interlocking Simulator. KES 2004: 961-967 - [c6]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 - 2003
- [c5]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 - 2002
- [c4]Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki:
A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. HIS 2002: 775-784 - 2001
- [c3]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 - 2000
- [c2]Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki:
Annotated Semantics for Defeasible Deontic Reasoning. Rough Sets and Current Trends in Computing 2000: 470-478
1990 – 1999
- 1997
- [c1]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
Coauthor Index
Jair Minoro Abe
aka: Jair Minoru Abe
aka: Jair Minoru Abe
[c64] [c63] [c62] [c61] [c60] [c59] [c58] [p11] [p10] [b1] [c57] [c56] [p9] [p8] [j9] [j8] [c55] [c54] [p6] [j7] [c52] [c51] [c48] [c47] [j6] [j5] [c45] [c43] [c42] [c41] [c40] [c39] [j4] [j3] [c37] [c36] [c35] [c34] [c33] [p3] [p2] [p1] [c32] [c31] [c30] [c29] [c26] [c25] [c24] [c23] [c22] [c21] [c17] [c11] [c10] [e1] [c5] [c4] [c3] [c2]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
