| 2008 |
|---|
| 40 | EE | Jair Minoro Abe,
Helder F. S. Lopes,
Kazumi Nakamatsu:
Improving EEG Analysis by Using Paraconsistent Artificial Neural Networks.
KES (2) 2008: 466-473 |
| 39 | EE | Kazumi Nakamatsu,
Jair Minoro Abe,
Seiki Akama:
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.
KES (2) 2008: 474-482 |
| 38 | EE | Kazumi Nakamatsu:
The Paraconsistent Annotated Logic Program EVALPSN and its Application.
Computational Intelligence: A Compendium 2008: 233-306 |
| 37 | EE | Jair Minoro Abe,
Kazumi Nakamatsu,
Seiki Akama:
Two Applications of Paraconsistent Logical Controller.
New Directions in Intelligent Interactive Multimedia 2008: 249-254 |
| 36 | EE | Kazumi Nakamatsu,
Jair Minoro Abe,
Seiki Akama:
Paraconsistent Before-After Relation Reasoning Based on EVALPSN.
New Directions in Intelligent Interactive Multimedia 2008: 265-274 |
| 35 | EE | Seiki Akama,
Kazumi Nakamatsu,
Jair Minoro Abe:
Constructive Logic and the Sorites Paradox.
New Directions in Intelligent Interactive Multimedia 2008: 285-292 |
| 2007 |
|---|
| 34 | EE | Seiki Akama,
Kazumi Nakamatsu,
Jair Minoro Abe:
A Natural Deduction System for Annotated Predicate Logic.
KES (2) 2007: 861-868 |
| 33 | EE | Kazumi Nakamatsu,
Jair Minoro Abe,
Seiki Akama:
An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.
KES (2) 2007: 869-876 |
| 32 | EE | Jair Minoro Abe,
Seiki Akama,
Kazumi Nakamatsu:
Monadic Curry Algebras Q tau.
KES (2) 2007: 893-900 |
| 31 | EE | Jair Minoro Abe,
Kazumi Nakamatsu:
Manipulating Paraconsistent Knowledge in Multi-agent Systems.
KES-AMSTA 2007: 159-168 |
| 30 | EE | Kazumi Nakamatsu:
Intelligent process order control based on a paraconsistent logic program : An introduction.
SMC 2007: 2278-2283 |
| 2006 |
|---|
| 29 | | Kazumi Nakamatsu:
A Defeasible Deontic Model for Intelligent Simulation.
Computer Supported Acitivity Coordination 2006: 35-44 |
| 28 | EE | 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 |
| 27 | EE | 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 |
| 26 | EE | Kazumi Nakamatsu,
Michiro Kondo,
Jair Minoro Abe:
EVALPSN Based Intelligent Drivers' Model.
KES (2) 2006: 858-865 |
| 25 | EE | Michiro Kondo,
Kazumi Nakamatsu,
Jair Minoro Abe:
Logic Determined by Boolean Algebras with Conjugate.
KES (2) 2006: 871-878 |
| 24 | EE | Kazumi Nakamatsu:
Pipeline Valve Control Based on EVALPSN Safety Verification.
JACIII 10(5): 647-656 (2006) |
| 2005 |
|---|
| 23 | | Kazumi Nakamatsu,
Jair Minoro Abe:
Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005
IOS Press 2005 |
| 22 | EE | Kazumi Nakamatsu,
Seiki Akama,
Jair Minoro Abe:
An Intelligent Safety Verification Based on a Paraconsistent Logic Program.
KES (2) 2005: 708-715 |
| 21 | EE | Jair Minoro Abe,
Kazumi Nakamatsu,
Seiki Akama:
Non-alethic Reasoning in Distributed Systems.
KES (2) 2005: 724-731 |
| 20 | | Alexandre Scalzitti,
Kazumi Nakamatsu,
Jair Minoro Abe:
Digital Images: Weighted Automata Theoretical Aspects.
LAPTEC 2005: 113-119 |
| 19 | | Kazumi Nakamatsu,
Atsuyuki Suzuki:
Autoepistemic Theory and Paraconsistent Logic Program.
LAPTEC 2005: 177-184 |
| 18 | | Kazumi Nakamatsu,
Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I.
LAPTEC 2005: 185-191 |
| 17 | | Kazumi Nakamatsu,
Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II.
LAPTEC 2005: 192-198 |
| 16 | | Kazumi Nakamatsu,
Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III.
LAPTEC 2005: 199-206 |
| 15 | | Kazumi Nakamatsu,
Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV.
LAPTEC 2005: 207-215 |
| 14 | | Jair Minoro Abe,
Kazumi Nakamatsu:
A Note on Non-Alethic Temporal Logics.
LAPTEC 2005: 216-219 |
| 13 | | Kazumi Nakamatsu,
Jair Minoro Abe:
Railway Signal and Paraconsistency.
LAPTEC 2005: 220-225 |
| 12 | | Kazumi Nakamatsu,
Kenji Kawasumi,
Atsuyuki Suzuki:
Intelligent Safety Verification for Pipeline Based on EVALPSN.
LAPTEC 2005: 63-70 |
| 11 | | Kazumi Nakamatsu,
Hayato Komaba,
Atsuyuki Suzuki:
A Discrete Event Control Based on EVALPSN Stable Model.
LAPTEC 2005: 71-78 |
| 10 | | Kazumi Nakamatsu,
Ryuji Ishikawa,
Atsuyuki Suzuki:
An EVALP Based Traffic Simulation System.
LAPTEC 2005: 79-86 |
| 9 | EE | Kazumi Nakamatsu,
Sheng-Luen Chung,
Hayato Komaba,
Atsuyuki Suzuki:
A Discrete Event Control Based on EVALPSN Stable Model Computation.
RSFDGrC (1) 2005: 671-681 |
| 2004 |
|---|
| 8 | EE | Kazumi Nakamatsu,
Ryuji Ishikawa,
Atsuyuki Suzuki:
A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.
KES 2004: 954-960 |
| 7 | EE | Kazumi Nakamatsu,
Yosuke Kiuchi,
Atsuyuki Suzuki:
EVALPSN Based Railway Interlocking Simulator.
KES 2004: 961-967 |
| 6 | EE | 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 |
|---|
| 5 | EE | 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 |
|---|
| 4 | | Kazumi Nakamatsu,
Jair Minoro Abe,
Atsuyuki Suzuki:
A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming.
HIS 2002: 775-784 |
| 2001 |
|---|
| 3 | | 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 |
|---|
| 2 | EE | Kazumi Nakamatsu,
Jair Minoro Abe,
Atsuyuki Suzuki:
Annotated Semantics for Defeasible Deontic Reasoning.
Rough Sets and Current Trends in Computing 2000: 470-478 |
| 1997 |
|---|
| 1 | EE | 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 |
