| 2008 |
|---|
| 22 | EE | Jair Minoro Abe,
Helder F. S. Lopes,
Kazumi Nakamatsu:
Improving EEG Analysis by Using Paraconsistent Artificial Neural Networks.
KES (2) 2008: 466-473 |
| 21 | EE | Kazumi Nakamatsu,
Jair Minoro Abe,
Seiki Akama:
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.
KES (2) 2008: 474-482 |
| 2007 |
|---|
| 20 | EE | Seiki Akama,
Kazumi Nakamatsu,
Jair Minoro Abe:
A Natural Deduction System for Annotated Predicate Logic.
KES (2) 2007: 861-868 |
| 19 | EE | Kazumi Nakamatsu,
Jair Minoro Abe,
Seiki Akama:
An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.
KES (2) 2007: 869-876 |
| 18 | EE | Jair Minoro Abe,
Seiki Akama,
Kazumi Nakamatsu:
Monadic Curry Algebras Q tau.
KES (2) 2007: 893-900 |
| 17 | EE | Jair Minoro Abe,
Kazumi Nakamatsu:
Manipulating Paraconsistent Knowledge in Multi-agent Systems.
KES-AMSTA 2007: 159-168 |
| 2006 |
|---|
| 16 | 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 |
| 15 | EE | Jair Minoro Abe,
Cláudio R. Torres,
Germano L. Torres,
Kazumi Nakamatsu,
Michiro Kondo:
Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II.
KES (2) 2006: 851-857 |
| 14 | EE | Kazumi Nakamatsu,
Michiro Kondo,
Jair Minoro Abe:
EVALPSN Based Intelligent Drivers' Model.
KES (2) 2006: 858-865 |
| 13 | EE | Michiro Kondo,
Kazumi Nakamatsu,
Jair Minoro Abe:
Logic Determined by Boolean Algebras with Conjugate.
KES (2) 2006: 871-878 |
| 2005 |
|---|
| 12 | EE | Kazumi Nakamatsu,
Seiki Akama,
Jair Minoro Abe:
An Intelligent Safety Verification Based on a Paraconsistent Logic Program.
KES (2) 2005: 708-715 |
| 11 | EE | Jair Minoro Abe,
Neli Regina Siqueira Ortega,
Maurício C. Mário,
Marinho Del Santo:
Paraconsistent Artificial Neural Network: An Application in Cephalometric Analysis.
KES (2) 2005: 716-723 |
| 10 | EE | Jair Minoro Abe,
Kazumi Nakamatsu,
Seiki Akama:
Non-alethic Reasoning in Distributed Systems.
KES (2) 2005: 724-731 |
| 2004 |
|---|
| 9 | EE | Jair Minoro Abe:
Para-Fuzzy Logic Controller.
KES 2004: 935-941 |
| 8 | EE | Jair Minoro Abe:
Paraconsistent Artificial Neural Networks: An Introduction.
KES 2004: 942-948 |
| 2003 |
|---|
| 7 | 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 |
|---|
| 6 | | Kazumi Nakamatsu,
Jair Minoro Abe,
Atsuyuki Suzuki:
A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming.
HIS 2002: 775-784 |
| 2001 |
|---|
| 5 | | 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 |
|---|
| 4 | EE | Jair Minoro Abe,
Seiki Akama:
Annotated Temporal Logics Delta*tau.
IBERAMIA-SBIA 2000: 217-226 |
| 3 | EE | Kazumi Nakamatsu,
Jair Minoro Abe,
Atsuyuki Suzuki:
Annotated Semantics for Defeasible Deontic Reasoning.
Rough Sets and Current Trends in Computing 2000: 470-478 |
| 1998 |
|---|
| 2 | EE | Seiki Akama,
Jair Minoro Abe:
Many-Valued and Annotated Modal Logics.
ISMVL 1998: 114- |
| 1997 |
|---|
| 1 | EE | Bráulio Coelho Ávila,
Jair Minoro Abe,
José Pacheco de Almeida Prado:
ParaLog_e: A Paraconsistent Evidential Logic Programming Language.
SCCC 1997: 2-8 |
