The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jair Minoro Abe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
    Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification. [Citation Graph (0, 0)][DBLP]
    HIS, 2001, pp:665-679 [Conf]
  2. Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
    A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. [Citation Graph (0, 0)][DBLP]
    HIS, 2002, pp:775-784 [Conf]
  3. Seiki Akama, Jair Minoro Abe
    Many-Valued and Annotated Modal Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1998, pp:114-0 [Conf]
  4. Jair Minoro Abe
    Para-Fuzzy Logic Controller. [Citation Graph (0, 0)][DBLP]
    KES, 2004, pp:935-941 [Conf]
  5. Jair Minoro Abe
    Paraconsistent Artificial Neural Networks: An Introduction. [Citation Graph (0, 0)][DBLP]
    KES, 2004, pp:942-948 [Conf]
  6. Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama
    Non-alethic Reasoning in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    KES (2), 2005, pp:724-731 [Conf]
  7. Jair Minoro Abe, Neli Regina Siqueira Ortega, Maurício C. Mário, Marinho Del Santo
    Paraconsistent Artificial Neural Network: An Application in Cephalometric Analysis. [Citation Graph (0, 0)][DBLP]
    KES (2), 2005, pp:716-723 [Conf]
  8. Jair Minoro Abe, João Carlos Almeida Prado, Kazumi Nakamatsu
    Paraconsistent Artificial Neural Network: Applicability in Computer Analysis of Speech Productions. [Citation Graph (0, 0)][DBLP]
    KES (2), 2006, pp:844-850 [Conf]
  9. Jair Minoro Abe, Cláudio R. Torres, Germano L. Torres, Kazumi Nakamatsu, Michiro Kondo
    Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II. [Citation Graph (0, 0)][DBLP]
    KES (2), 2006, pp:851-857 [Conf]
  10. Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe
    Logic Determined by Boolean Algebras with Conjugate. [Citation Graph (0, 0)][DBLP]
    KES (2), 2006, pp:871-878 [Conf]
  11. Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe
    An Intelligent Safety Verification Based on a Paraconsistent Logic Program. [Citation Graph (0, 0)][DBLP]
    KES (2), 2005, pp:708-715 [Conf]
  12. Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe
    EVALPSN Based Intelligent Drivers' Model. [Citation Graph (0, 0)][DBLP]
    KES (2), 2006, pp:858-865 [Conf]
  13. Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
    Annotated Semantics for Defeasible Deontic Reasoning. [Citation Graph (0, 0)][DBLP]
    Rough Sets and Current Trends in Computing, 2000, pp:470-478 [Conf]
  14. Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki
    Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. [Citation Graph (0, 0)][DBLP]
    RSFDGrC, 2003, pp:719-723 [Conf]
  15. Jair Minoro Abe, Seiki Akama
    Annotated Temporal Logics Delta*tau. [Citation Graph (0, 0)][DBLP]
    IBERAMIA-SBIA, 2000, pp:217-226 [Conf]
  16. Bráulio Coelho Ávila, Jair Minoro Abe, José Pacheco de Almeida Prado
    ParaLog_e: A Paraconsistent Evidential Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    SCCC, 1997, pp:2-8 [Conf]
  17. Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe
    A Natural Deduction System for Annotated Predicate Logic. [Citation Graph (0, 0)][DBLP]
    KES (2), 2007, pp:861-868 [Conf]
  18. Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
    Monadic Curry Algebras Q tau. [Citation Graph (0, 0)][DBLP]
    KES (2), 2007, pp:893-900 [Conf]
  19. Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
    An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. [Citation Graph (0, 0)][DBLP]
    KES (2), 2007, pp:869-876 [Conf]
  20. Jair Minoro Abe, Kazumi Nakamatsu
    Manipulating Paraconsistent Knowledge in Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    KES-AMSTA, 2007, pp:159-168 [Conf]

  21. Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. [Citation Graph (, )][DBLP]


  22. Improving EEG Analysis by Using Paraconsistent Artificial Neural Networks. [Citation Graph (, )][DBLP]


  23. A Note on Monadic Curry System P1. [Citation Graph (, )][DBLP]


  24. A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN. [Citation Graph (, )][DBLP]


  25. A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. [Citation Graph (, )][DBLP]


  26. Paraconsistent Autonomous Mobile Robot Emmy III. [Citation Graph (, )][DBLP]


  27. Para-analyzer and Its Applications. [Citation Graph (, )][DBLP]


  28. Paraconsistency and Paracompleteness in Chellas's Conditional Logics. [Citation Graph (, )][DBLP]


  29. Railway Signal and Paraconsistency. [Citation Graph (, )][DBLP]


  30. Modeling the Behavior of Paraconsistent Robots. [Citation Graph (, )][DBLP]


  31. A Note on Non-Alethic Temporal Logics. [Citation Graph (, )][DBLP]


  32. Decision Making based on Paraconsistent Annotated Logic. [Citation Graph (, )][DBLP]


  33. Digital Images: Weighted Automata Theoretical Aspects. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002